I
Спроси на GitHub, это из сэмплов композа
Size: a a a
2021 May 06
VP
Ну там нельзя ветку комментариев отдельно вынести
IP
Сильное заявление.
IP
А IDE как делать?
IP
Так это значит, что он еще больший хипстер
IP
Пьет поди латте на молоке без лактозы
Kd
на альтернативном молоке?
I
А ИДЕ может оставлять пробельные символы, как и комментарии, разумеется.
DP
Вы участвуете в создании нового языка программирования. Участники долбанулись и решили выбрать лишь один путь из двух. Ваш голос решающий. Что вы выберите?
Анонимный опрос
Проголосовало: 24РФ
[x] бесконечное исполнение только через event loop, как в жс
AN
А чего долбанулись. В хаскеле нет циклов.
I
Вообще и то и то фигня
1) циклы императивны
2) рекурсия ломает вывод типов
ну и оба могут вызвать зацикливание
1) циклы императивны
2) рекурсия ломает вывод типов
ну и оба могут вызвать зацикливание
DP
интересно, не знал
АХ
С каких пор рекурсия ломает вывод типов?
DP
зацикливание можно починить идеей типа gas
каждый проход цикла или вызов рекурсии уменьшать заданную заранее переменную gas, и не давать ее увеличивать из цикла или рекурсии
если исполнение распределенное, то каждая ветвь рекурсии в случае удвоения рекурсии получает 1\2 от gas родителя, чтобы не было нужды синхронизировать потоки
как рекурсия ломает типы?
каждый проход цикла или вызов рекурсии уменьшать заданную заранее переменную gas, и не давать ее увеличивать из цикла или рекурсии
если исполнение распределенное, то каждая ветвь рекурсии в случае удвоения рекурсии получает 1\2 от gas родителя, чтобы не было нужды синхронизировать потоки
как рекурсия ломает типы?
I
Как минимум с изоретения котлина / f# и др неленивых языков
I
> как рекурсия ломает типы?
Не все компиляторы справляются с вывод типа результата, надо его явно указывать
Не все компиляторы справляются с вывод типа результата, надо его явно указывать
АХ
У ml’ей никаких проблем с этим не было
АХ
Там, небось, что-то еще гадит