Elm это только на поиграться, постепенная миграция на PureScript в планах, но пока не горит.

а что ж с эльмом не так?

выглядит красиво:)

а почему elm поиграться? у purescript как-то уж очень долго не было даж вменяемых биндингов к реакту

да тоже интересно, сейчас смотрю на него

ну точнее было 3 штуки и ни одного рабочего

а Elm.Html считай в стандартной библиотеке и даж после breaking changes в 0.17 как-то приятнее

Фронт на JS, бэкенд на Haskell предоставляет просто JSON API

для рестапи свой велосипед или фреймворки есть?

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

ахахахах, про TCO это весело

как так можно

с этого начинать наверное нужно было

Вот именно.

как так, это цирк

Но чисто с FP побаловаться, я считаю, нормальный язык. Порог входа низкий

ну и кстати, не сталкивался в elm c проблемами из-за tco видимо в задачах гуя глубокий стек получить не так просто )

ну и ручное каррирование функций для FFI в purescript подбешивало

а, понятно почему проблем с tco не было elm нормально оптимизирует ф-ции которые сами себя вызывают (большинство случаев реальных) а вот если есть взаимно рекурсивные, то да, проблемка с оптимизацией

а, понятно почему проблем с tco не было elm нормально оптимизирует ф-ции которые сами себя вызывают (большинство случаев реальных) а вот если есть взаимно рекурсивные, то да, проблемка с оптимизацией

Погоди, есть языки, в реализациях которых имеется вменяемая оптимизация взаимной рекурсии???

Фронт на JS, бэкенд на Haskell предоставляет просто JSON API

servant используете?

@int_index вроде с Денисом работает, скорее всего

Денис так пиарит сервант везде

Да.

Погоди, есть языки, в реализациях которых имеется вменяемая оптимизация взаимной рекурсии???

а хер его знает я вообще что-то давно не сталкивался с проблемой стека и рекурсии

Не знаю что там сейчас у Elm с TCO, но у меня проблемы были с функцией, которая вызывала себя.

Хотя может быть там был не tail call.

Но и не взаимная рекурсия тоже.

https://ro-che.info/articles/2016-08-07-hask-category

Там в комментариях Максим Сохацкий что-то сильно активный

Такое ощущение что он рад

Так это же не elm не умеет tco а движки js, разве нет?

JS-то не умеет, но от ФП-языка ожидаешь каких-то обходных путей, иначе как на нём писать?

А какие обходные пути если это все в js транспилится?

TCO на этапе транспиляции, трамплины всякие

Вон что-то нашёл даже для Elm https://github.com/elm-lang/trampoline

вон в джаве помойму в while это все переводится

ну хвостовая рекурсия

trampoline в elm медленный это как раз для случай взаимной рекурсии которая не оптимизируется

В жвве появится TCO?

в jvm в смысле?

+

нет но можно на уровне языка развернуть в цикл

я где-то читал что компилятор хвостовую рекурсию переводит в while

компилятор, в байткод где уже нет рекурсии

я где-то читал что компилятор хвостовую рекурсию переводит в while

В фшарпе такая оптимизация

Он рекурсивные вызовы циклами заменяет

Да и в си такое

Но в жпве вроде не делалось, хотя может мне врпли, я не проверял

в jvm со стороны рантайма в общем поддержки нет, но компиляторы понятное дело могут что угодно

компилятор жабы не делал, но вот какая-нибудь скала или кложа..

в jvm tco нету

именно поэтому в той же кложе есть специальная конструкция recur

какая идеха на макоси топовая?

leksah?

atom

c плагинами

emacs?

какая идеха на макоси топовая?

BBEdit, VSCode, Emacs, Xcdoe, IDEA

emacs

есть кто на spacemacs?

чо посоветуете для старта?

https://github.com/denisshevchenko/ohaskell.guide

есть кто на spacemacs?

Я

жесть какая

он на базе чего

emacs and vim на базе атом?

ERROR: S client not available

Да нет, это обычный емакс, просто настроенный для людей

emacs and vim на базе атом?

про evil-mode ты, значит, не слышал

на скринах прост не очень похоже на emacs

чем не похоже?

и какие скрины

Я

:3

http://spacemacs.org/img/screenshots/ss1.png

а как по-твоему должен емакс выглядеть?

я подумал что там где статусбар это гуевые табы

https://github.com/denisshevchenko/ohaskell.guide

Уже взял в чтение ) thx!

Ну что, кто завтра на митап?

смузи будет?

и капкейки)

с митболами

Апликативный капкейки?

Just скушать <*> капкейки

[капкейп]

Короче ладно, я думал, может кто-нибудь из этого чатика завтра будлет что-нибудь интересное рассказывать у касперского

скушать <$> [капкейк]

Я бы с удовольствием пошел, но я далеко

жри $ капкейк $ скотина

Короче ладно, я думал, может кто-нибудь из этого чатика завтра будлет что-нибудь интересное рассказывать у касперского

а что завтра?

https://laboratoriya-kasperskogo.timepad.ru/event/356321/ вот это

хаскелл митап в обители байтоёбства, чтоооо

в касперском есть haskell

и вакансии изредка

ну ок)

я в этот раз решил не выступать, времени готовить хороший доклад не было :(

а всякую фигню не интересно

есть кто на spacemacs?

Да я и на виме тоже

Сходил бы на митап но не смогу - вроде запись ,которую посмотреть потом можно будет ,обещали выкинуть в паблик