DF
Вх виджетс?
Size: a a a
2020 April 13
G
libui
p
а выводит пустой список
бля я допер
p
сука почему нельзя сделать по-нормальному, почему сделали как в математике
а
сука почему нельзя сделать по-нормальному, почему сделали как в математике
я думаю это надо в цитаты
p
в матемаике пишут
N = {1, 2, ..., n}
а в идрисе сделали
[1,2..n]
N = {1, 2, ..., n}
а в идрисе сделали
[1,2..n]
S
Как же сложно набросать это в коде, да еще и нужное состояние получить из обработчиков событий
G
в матемаике пишут
N = {1, 2, ..., n}
а в идрисе сделали
[1,2..n]
N = {1, 2, ..., n}
а в идрисе сделали
[1,2..n]
Ааа
G
Ебать
p
Переслано от Oleg Andreev
че-то там про монады от лодочника: https://boats.gitlab.io/blog/post/the-problem-of-effects/
S
ох уж этот безлодковый господин
DS
Переслано от Oleg Andreev
че-то там про монады от лодочника: https://boats.gitlab.io/blog/post/the-problem-of-effects/
Что-то вообще неубедительно.
Т.е. единственная рабочая и эффективная система эффектов - это по сути eDSL над эффектами в final tagless, как это сделано в MTL в хаскеле и в куче скаловских либ.
Другие системы эффектов - либо не эффективные, либо не очень рабочие.
Т.е. единственная рабочая и эффективная система эффектов - это по сути eDSL над эффектами в final tagless, как это сделано в MTL в хаскеле и в куче скаловских либ.
Другие системы эффектов - либо не эффективные, либо не очень рабочие.
DS
Причём всё что нужно - это HKT (или GAT) + рабочие хоть как-то тайпклассы.
DS
Ничего другого от языка не нужно
DS
И никаких правок в язык (кроме опять-таки HKT, если его нет) не нужно.
p
ля, идрис оказывается такой медленный. запустил sum [0..500] и он минуту там считал так и не досчитал
p
или это просто REPL такой, хз
DS
ля, идрис оказывается такой медленный. запустил sum [0..500] и он минуту там считал так и не досчитал
Потому что быстрых из коробки и чистых ФП языков немного
DS
Это хаскель. Всё, список закончился.
𝛈µ
ля, идрис оказывается такой медленный. запустил sum [0..500] и он минуту там считал так и не досчитал
Тому що там дефолтные интеджеры на пеано