Да, она ужасная, потому я уже третий раз ищу альтернативы

Но у остальных и ужасной доки нет

Краткая сводка про линзы разумеется не катит

У него вся дока в юз кейсах и примерах, к сожалению это чуть важнее теоретической полноты

Короче решил пока ничего не юзать, всё одно

Короче решил пока ничего не юзать, всё одно

Пиши своё

А мы лойсы накидаем и зафорсим во всех чатах ?

У меня есть профункторы-iso, union типы с паттерн матчингом, но хотелось бы и более высокоуровневыми вещами позаниматься(

У меня есть профункторы-iso, union типы с паттерн матчингом, но хотелось бы и более высокоуровневыми вещами позаниматься(

где профункторы?

Кстати, sanctuary же медленный очень, да?

Рантайм да

Рантайм да

Оно вообще того стоит? Ну в целом, с типизацией уровня тс там всяких да флоу можно покрыть большинство кривостей, а дальше уж рамды юзать и просто “правильно” (лол) код писать

тсом не покроешь ничего

Я конечно понимаю что тут рантайм вс на уровне компайла, но все таки

тсом не покроешь ничего

АРЯЯЯЯЯЯ

тсом не покроешь ничего

И что тогда делать и как с этим жить?

никак

А как же ФЛОУ?

Или там не лучше все?

У нас просто был флоу в проекте для базовых вещей, что-то он какой-то мутный кмк

с флоу у меня лагает вскод)

?

по флоу спроси у @ZeroBias

по флоу спроси у @ZeroBias

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

Гораздо хуже, как по мне)

Гораздо хуже, как по мне)

Флоу хуже тс?

Флоу местами — адище тот ещё, но обратно уже не могу, уж больно хорошие преимущества даёт)

Флоу хуже тс?

У тебя вопрос с обратным смыслом был)

У тебя вопрос с обратным смыслом был)

да, действительно, лол

Оно вообще того стоит? Ну в целом, с типизацией уровня тс там всяких да флоу можно покрыть большинство кривостей, а дальше уж рамды юзать и просто “правильно” (лол) код писать

Хз, если честно — я вот вполне могу представить ситуацию когда его рантайм проверка покатит — потому что как ни крути, она узкоспециализированная и поэтому заточена лучше Но лично я все разы когда пробовал sanctuary всегда первым делом её вырубал нафиг, даже гист сделал чтобы далеко не лезть

Не нравится в нём какая-то неестественная монструозность и мутная политика релизов

тсом не покроешь ничего

В смысле? Насчет рантайма это понятно, но насчет статической проверки в чем проблемы видишь?

проблема в типизации каррирования)

и рамда плэйсхолдера

проблема в типизации каррирования)

Все это вполне нормально описывается. Я только не знаю на сколько уровней вглубь конечно, но описать что функция должна вернуть функцию, которая вернет то-то, вполне можно

Может даже глубина не ограничена (не проверял)

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

У рамды вполне нормальные тайпинги. Так что все там решается дженериками разными

У рамнды адище а не тайпинги

Ну просто лично я с проблемами не сталкивался пока )

Мало того, что даже сами авторы не вполне точно их описывают, так там в @types ещё и релизер-наркоман

tycho?

эт исполнитель такой

эт исполнитель такой

кто?

tycho

https://open.spotify.com/artist/5oOhM2DFWab8XhSdQiITry

лол че

я про этого типа https://github.com/tycho01

https://github.com/gcanti/purescript-prettier лол

Опции кстати нормальные: type Options = { printWidth :: Int, tabWidth :: Int, useTabs :: Boolean, semi :: Boolean, singleQuote :: Boolean, trailingComma :: TrailingComma, bracketSpacing :: Boolean, jsxBracketSameLine :: Boolean, rangeStart :: Int, rangeEnd :: Maybe Int, parser :: Parser }

В purescript используют semi?

Или это не про semi-colon.

это биндинг же

а не prettier для purescript)

я сначала тож подумал что prettier для purescript

@ZeroBias можешь напомнить под какие кейсы ты использовал null == undefined? ?

@ZeroBias можешь напомнить под какие кейсы ты использовал null == undefined? ?

undefined = null null null == undefined true :D

так можно?

Это обман зрения, а не юзкейсы. ?

@ZeroBias можешь напомнить под какие кейсы ты использовал null == undefined? ?

Это единая проверка для любых nullable

так можно?

Нет, оно работает иначе!

кстати я вспомнил еще об одном фп потуге на ts https://github.com/funkia/jabz

это от автора flyd

Да, эти челы хорошо угорают

вот их полный https://github.com/funkia

Это единая проверка для любых nullable

Там прям был какой-то пример с реакта я помню. В голову просто ничего не приходит.

блин мб самому написать фп либу

Это от автора union-type для меня в первую очередь) У него всё же с готовностью к продакшну значительно лучше, чем у gcanti

ERROR: S client not available

чтоб выучить

ток для раста

блин мб самому написать фп либу

Вполне нормальная идея

http://science.raphael.poss.name/rust-for-functional-programmers.html

жаль что там нет higher kinded types

http://science.raphael.poss.name/rust-for-functional-programmers.html

да я знаю что он сам предлагает

Там прям был какой-то пример с реакта я помню. В голову просто ничего не приходит.

Хз, я его везде использую, это просто удобно)

Хз, я его везде использую, это просто удобно)

ОК. Возьму на заметку.

undefined = null null null == undefined true :D

Первая строчка тащемта для выполнения равенства не требуется

Ну она и не работает, по крайней мере в global.

Да и в window скорее всего тоже.

Это просто без use strict

ток для раста

https://github.com/KitFreddura/Kinder

ну бля(

ФП большое, не огорчайся.

все что вы пытаетесь придумать существует в пейперах и мат моделях в периоде с 70-00 годов

у меня есть другая идея

есть https://gist.github.com/jdegoes/97459c0045f373f4eaf126998d8f65dc

форкну и перепишу примеры на раст

ну что за бредятина https://medium.com/@bmeurer/surprising-polymorphism-in-react-applications-63015b50abc

все что вы пытаетесь придумать существует в пейперах и мат моделях в периоде с 70-00 годов

В теории групп галуа

ну это большая тема)

оу https://github.com/vmchale/recursion_schemes

https://github.com/fantasyland/fantasy-laws/pull/1

https://habrahabr.ru/post/333362/

там ссылка на оригинал есть

anyway

Народ, а как в сигнатурах Хиндли-Милнера правильно описать список? Вот например рамда везде указывает [a], хотя в одних случаях это ТОЛЬКО массив, а в других это любой список, в том числе и строка. Как в Хиндли-Милнере указать ВООБЩЕ список?

список он и есть список forall a. [a]

То-есть, если нужно указать что это только массив, то надо сделать пояснение в начале?

кстати вот эта штука интересная https://github.com/hyperapp/hyperapp/releases/tag/0.10.0