NL
даже немного более приземлённо
Марковская цепь, натренированная на Ветхом Завете, Введении в теорию алгоритмов Кормена и учебнике по UNIX.
Марковская цепь, натренированная на Ветхом Завете, Введении в теорию алгоритмов Кормена и учебнике по UNIX.
Size: a a a
2019 December 26
NL
но я пока читал, над некоторыми перлами очень смеялся.
λ
PM - это отдельная, довольно изолированная задача. Он сейчас именно типы пилит, ему это интересно проверить.
уже проверяли, оказалось, что так себе
А⚙
Думаю, тут просто кто-то не читает наши чаты, кто-то предатель
>_>
<_<
<_<
NL
уже проверяли, оказалось, что так себе
есть пейпер? или даже язык?
λ
есть пейпер? или даже язык?
ну вот тайпскрипт например
NL
ну вот тайпскрипт например
это не то, это ты намекаешь на gradual typing, который действительно исследовался и в scheme, и ts. Matthias Felleisen много исследовал ограничения этого подхода.
λ
это не то, это ты намекаешь на gradual typing, который действительно исследовался и в scheme, и ts. Matthias Felleisen много исследовал ограничения этого подхода.
Из этого примера сложно понять, что то. рассудить можно только о наличии адхок сумм.
NL
Из этого примера сложно понять, что то. рассудить можно только о наличии адхок сумм.
В сущности это обычная generic функция, но выводится неявный тип-параметр и ограничения на него.
А⚙
😀 даже мне которому было положить на типы теперь стало интересно
*Класть, бля
NL
ибо нет человека, который не является выполняемым файлом
А⚙
ну вот на столько, там очень много полуправды, точнее наверняка почти в каждой статье так плюс всякий трешак как в утро.ру
То есть из статьи про Нибиру только заголовок прочитал
А⚙
ибо нет человека, который не является выполняемым файлом
И в тесноте своей он не должен выходить за пределы выделенной области памяти.NL
И в тесноте своей он не должен выходить за пределы выделенной области памяти.Помяни меня за это снижением скорости вычислений.
V
>_>
<_<
<_<
Фига ты некромант
V
Откопал же сообщение
Ct
Фига ты некромант
Он - Антон, перечитыватель джерка. Это отдельный, уникальный класс.