DF
Ну в идрисе есть примитивы для лени
Size: a a a
2020 March 06
AL
Dollar Føølish
Так Идрис тот же хаскель только не ленивый
дык это, в нем же самые завтипистые завтипы
DF
Да
DF
Но в остальном это хаскель без либ
G
А в Хаскелль чому никто зав. типы не добавляет? Слишком сложно?
EG
я не очень понял переход от идриса к зз
Через смутную ассоциацию с формальной верификацией.
Сколь-нибудь продовых языков с завтипами, кажется, нет.
Сколь-нибудь продовых языков с завтипами, кажется, нет.
λ
Dollar Føølish
Так Идрис тот же хаскель только не ленивый
Во первых не просто не ленивый, а вообще без какой-либо лени. Во вторых у идриса нет оптимизируещего компилятора. В третьих у хаскеля один из лучших рантаймов, а у идриса стек вышибает от нехвостовой рекурсии. В четверых у хаскеля огромное количество фич направленных на практическое применение, а у идриса только завтипы.
DF
Есть стрим какой то для лени
DF
В идрисе
λ
Dollar Føølish
Есть стрим какой то для лени
Он не ленивый
λ
Он call-by-name
AZ
Тип это круто?
не самый стандартный таргет
DF
Хех
AZ
У меня перестал воспроизводиться баг с Edge, кстати
AZ
чтд
AZ
винда сама себя чинит
p
ля, подскажите как реализовать option для мини-языка
генерики это пиздец как сложно
null/none делать ой как не хочется
есть еще варианты?
генерики это пиздец как сложно
null/none делать ой как не хочется
есть еще варианты?
AZ
Но он никогда не дойдёт до какой-либо распространённости.
никогда слишком сильное слово
AZ
ля, подскажите как реализовать option для мини-языка
генерики это пиздец как сложно
null/none делать ой как не хочется
есть еще варианты?
генерики это пиздец как сложно
null/none делать ой как не хочется
есть еще варианты?
сделай возможность возвращать несколько типов
AZ
описывай опшн как T | null