он уже не ML

почему не ML-то?

ну ты ж знаешь, у нас все на нем писать отказались, потому что язык фундаментально сломан

Ну у нас хаскелисты а не фронтендеры

почему не ML-то?

"называется без ML"

так то - всё ещё ML :)

пока опыт таков, что бэкенд написанный хаскеллистами заказчикам ок, а фронтенд, написанный "фронтендерами" - "бандиты уже выехали"

Вот @astynax любит эльм

он же Reason ML

или уже просто reason?

и вот это всё мне подтверждали самые разные люди на девконфе, не хаскеллисты ни разу

Вот @astynax любит эльм

Я готов его терпеть за экосистему. В некоторых ситуациях.

почему ты не предпочитаешь ему purs ?

Elm - всё ещё самый лучший вариант для "по быстрому запилить минималистичный GUI, да чтобы не обмазываться JS-тулингом".

как ты живешь с его сломанным дизайном?

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

он и так к конторе прицеплен

Если проект подразумевается большой и есть смысл потратить время на настройку процесса, то можно и purs

как ты живешь с его сломанным дизайном?

Пока ещё не всё сломали - для GUI-строения хватает (не совсем, но можно терпеть - если логику не писать, а только тонкий View для серверных данных)

так оно там изначально сломано

или они продолжают?

Что изначально сломано?

Есть design choices. Это правда

Они - своеобразные, да. Но многим позволяют делать дело.

Они продолжают ломать :)

Вот это как раз печалит

"своеобразные", запомним это слово. буду употреблять как эвфемизм, для случаев повышенной трепетности собеседника

в Котлине вроде поднимают движуху за фп, есть arrow https://github.com/arrow-kt/arrow и вроде создатели продвигают тайпклассы https://github.com/Kotlin/KEEP/pull/87 в компилятор

Они продолжают ломать :)

Как именно?

Есть слухи, что запретят кортежи длинной больше трёх, например

Но это только слухи пока

@astynax ну у нас народ смотрел purs и пришел к выводу, что по затратам на сетап сделать проект на пурс и на elm примерно одинаково. интероп с жс-ом у пурса чуть-ли не лучше

не уверен, что получится лучше чем в скале, но хотя бы +1 мейнстримчик в стан фп

@astynax ахахаха!!!

это серьезно?

Я настраивал webpack, babel, bowr, gulp - вот это всё. Больше не хочу. В идеале - никогда

это серьезно?

Про кортежи? Пока только слух. Но м.б. и сподобятся

Впрочем, с анонимными row-полиморфными рекордами можно отлично обойтись без кортежей.

но какой смысл их запрещать, тем более, что это одно и то же?

и они уже есть

в Котлине вроде поднимают движуху за фп, есть arrow https://github.com/arrow-kt/arrow и вроде создатели продвигают тайпклассы https://github.com/Kotlin/KEEP/pull/87 в компилятор

Елизаров просто зашёл в чат kategory и такой вау, классный движ. го сделаем нормальные тайпклассы. ну написали там пропозал и дальше я перестал следить но делаю ставку на то что их не запилят

а было какое-то обсуждение? Никто там не написал что если запретить большие кортежи, то просто будут писать (1,(2,(3,4))) ?

или тогда вложенные кортежи запретят?

ага, запретят

их же ещё придётся в джс и нетив таргет запилить

это было бы логично.

а было какое-то обсуждение? Никто там не написал что если запретить большие кортежи, то просто будут писать (1,(2,(3,4))) ?

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

Считается, что если ты делаешь кортеж длиннее трёх элементов, то тебе уже нужен record

И нельзя сказать, что я строго не согласен...

а не считается, что это не дело авторов языка решать, что тебе нужно, а что нет?

А кому ещё решать то? :)

разработчикам

У Elm есть Эван. "Ему - виднее"

очередной Гвидо?

Гвидо прогрессивнее

Elm - не язык общего назначения и не язык полной свободы. И никогда не был. Это фреймворк с элементами языка

их же ещё придётся в джс и нетив таргет запилить

так это просто будет передача объектов в функции через параметер, зачем в бекенде-то для этого поддержка?

это прям как с эрлангом

привет. может кто-нибудь посоветовать обширный туториал по применению ленивого мап, ленивого редьюс, и всего такого с примерами для человека, который знает, как в целом знает, как работает ленивый мэп? (это же "стримы" вроде называется?) (оффтопик-вопрос - если это не похож на пайпы в юниксе, то можете ли посоветовать самый внятный туториал по пайпам в юниксе?)

в общем, это работает, только если предментная область известна, ограничена и формализована

про фронт этого никак не скажешь

поэтому пустое. это язык общего назначения, чего бы они там не говорили

так это просто будет передача объектов в функции через параметер, зачем в бекенде-то для этого поддержка?

не думал над этим туда даже бреслав зашёл. сказал найс стараетесь ребят, если когда-нибудь вникнем в пропозал то перепишем ваш прототип

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

Елизаров просто зашёл в чат kategory и такой вау, классный движ. го сделаем нормальные тайпклассы. ну написали там пропозал и дальше я перестал следить но делаю ставку на то что их не запилят

12 дней назад апдейтнули слегка топик, сказали что активно работают над Proof-of-concept для джитбрайнс, на что Елизаров сказал, что заебись ребята, тут еще си-шарписты подтягиваются с пропозалом #164 https://github.com/dotnet/csharplang/issues/164

но ни одного языка с тайпклассами, естественно, нет

но ни одного языка с тайпклассами, естественно, нет

лол

хотя какие-то планы есть (но поддержка, существующая с 2005 года не была использована ни одни дизайнером языков, включая самые маргинальные)

блин даже как-то интересно стало.

хотя какие-то планы есть (но поддержка, существующая с 2005 года не была использована ни одни дизайнером языков, включая самые маргинальные)

к F# уже и reference implementation сделали. ещё не вмержили, естественно.

уже и этому пейперу по которому сделали года два или три

да

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

конфликтуют

тайпклассы это всего лишь некие захаренные рекорды с особой зависимостью

там ООП изрядно так ада привносит

хотя в хаскеле и так оно вроде запрещается. нельзя имплементить для [a] и [Int] одновременно, примерно то же самое

хотя фшарп умеет всё, что умеет сишарп, плюс функциональщину

хотя в хаскеле и так оно вроде запрещается. нельзя имплементить для [a] и [Int] одновременно, примерно то же самое

емнип в F#-ном пропозале никак не собираются бороться за когерентность, т.е. это будут скалистые имплициты со всеми вытекающими

хотя в хаскеле и так оно вроде запрещается. нельзя имплементить для [a] и [Int] одновременно, примерно то же самое

overlappable + overlapping вроде как могут такое позволить (но это не точно)

ну я помню хотел сделать инстансы для a и Show a => a и что-то не осилил

ну я помню хотел сделать инстансы для a и Show a => a и что-то не осилил

это другое

одно дело оверлап по голове инстанса (справа от =>) - это работает, а оверлапа по контексту (слева от =>) нет