В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

PureScript — русскоговорящее сообщество

130 membersпожаловаться на группу
2021 April 29

AG

Alex Gryzlov in PureScript — русскоговорящее сообщество
ну сам по себе поляризованный поц написать несложно, например https://github.com/sequents/code/blob/master/src/CBPV/NJPV.idr или https://github.com/sequents/code/blob/master/src/LJ/F/Term.idr
GitHub
sequents/code
Proof theory seminar. Contribute to sequents/code development by creating an account on GitHub.
источник
16:12пожаловаться#1

AG

Alex Gryzlov in PureScript — русскоговорящее сообщество
более полноценная реализация была например в https://github.com/lukemaurer/sequent-core
GitHub
lukemaurer/sequent-core
Alternative Core language for GHC plugins. Contribute to lukemaurer/sequent-core development by creating an account on GitHub.
источник
16:13пожаловаться#2

AG

Alex Gryzlov in PureScript — русскоговорящее сообщество
у симмонса еще была репа с экспериментами на эту тему - https://github.com/robsimmons/levy
GitHub
robsimmons/levy
A fork of Levy, originally by Bauer and Pretnar. The 'master' branch has some minor code fixes, more examples, and a top-level 'do' notation, the 'modprec&am...
источник
16:15пожаловаться#3

AG

Alex Gryzlov in PureScript — русскоговорящее сообщество
там интересные штуки у него были, например патмат по функциям - http://requestforlogic.blogspot.com/2011/08/holey-data-part-23-case-analysis-on.html
Blogspot
Holey Data, Part 2/3: Case Analysis on Linear Functions
The previous installment  was titled "(Almost) Difference Lists" because there was one operation that we could (technically) do on a Prolog ...
источник
16:16пожаловаться#4

ЗП

Зигохистоморфный Пре... in PureScript — русскоговорящее сообщество
патмат по функциям, это какой-то Черч элиминатор)
источник
16:18пожаловаться#5
2021 May 09

SO

Sash Osh in PureScript — русскоговорящее сообщество
Кто-то пользуется для декодинга этими кодеками https://github.com/garyb/purescript-codec-argonaut ?
GitHub
garyb/purescript-codec-argonaut
Bi-directional JSON codecs for argonaut. Contribute to garyb/purescript-codec-argonaut development by creating an account on GitHub.
источник
17:04пожаловаться#6

ЗП

Зигохистоморфный Пре... in PureScript — русскоговорящее сообщество
прочитай это для начала
http://code.slipthrough.net/2018/03/13/thoughts-on-typeclass-codecs/
code.slipthrough.net
Some thoughts on typeclass-based codecs
There has recently been a bit of discussion on the PureScript slack channel about whether using typeclass-based codecs is a good idea or not. I used to be qu...
источник
17:05пожаловаться#7

SO

Sash Osh in PureScript — русскоговорящее сообщество
это я читал
источник
17:05пожаловаться#8

SO

Sash Osh in PureScript — русскоговорящее сообщество
интересно мнение
источник
17:05пожаловаться#9

SO

Sash Osh in PureScript — русскоговорящее сообщество
эргономика для работы с сумм-типами так себе через варианты, конечно
источник
17:06пожаловаться#10

ЗП

Зигохистоморфный Пре... in PureScript — русскоговорящее сообщество
https://github.com/thomashoneyman/purescript-halogen-realworld/pull/72
GitHub
Use codec-argonaut instead of argonaut-codecs by thomashoneyman · Pull Request #72 · thomashoneyman/purescript-halogen-realworld
This PR migrates Real World Halogen to use codec-argonaut (https://github.com/garyb/purescript-codec-argonaut) instead of the typeclass-based argonaut-codecs. Gary has written about the issues with...
источник
17:07пожаловаться#11

SO

Sash Osh in PureScript — русскоговорящее сообщество
да интересно, спс
источник
17:08пожаловаться#12

SO

Sash Osh in PureScript — русскоговорящее сообщество
понятно, что это лучше чем тайпклассы, все лучше чем тайпклассы 😀
источник
17:10пожаловаться#13

SG

Serge S. Gulin in PureScript — русскоговорящее сообщество
Я юзаю только совместно с генерацией пурскрипт кода из Хаскелла
источник
17:33пожаловаться#14

SG

Serge S. Gulin in PureScript — русскоговорящее сообщество
https://hackage.haskell.org/package/purescript-bridge вот это генерит, потому и юзаю
Hackage
purescript-bridge: Generate PureScript data types from Haskell data types
Install via `cabal install purescript-bridge`.       
[rating:1.25/3(n=1)]
источник
17:33пожаловаться#15

ЗП

Зигохистоморфный Пре... in PureScript — русскоговорящее сообщество
интересно, чего тут нет ps?)
https://github.com/quicktype/quicktype
GitHub
quicktype/quicktype
Generate types and converters from JSON, Schema, and GraphQL - quicktype/quicktype
источник
17:58пожаловаться#16

SO

Sash Osh in PureScript — русскоговорящее сообщество
еще не слышали
источник
18:02пожаловаться#17

SO

Sash Osh in PureScript — русскоговорящее сообщество
но там есть место
источник
18:02пожаловаться#18

SO

Sash Osh in PureScript — русскоговорящее сообщество
источник
18:02пожаловаться#19

ЗП

Зигохистоморфный Пре... in PureScript — русскоговорящее сообщество
так вроде квиктайп был изначально на пс написан
источник
18:11пожаловаться#20