KR
Ну да, тебя по слэнгу легко вычислить)
Size: a a a
2021 May 27
ID
А что почитать по этому всему (теория типов, лямбда-вычисление и т. д.)? Тут вот как раз лето, каникулы...
ID
По какому? 😳
KR
type driven development in idris
little typer
type theory and formal proof
little typer
type theory and formal proof
KR
движок
ID
Ух. Как думаете, подойдёт как тема для работы в Малую академию наук?)))
а
Ты знаешь функциональное программирование типа хаскеля или что-то?
ID
И все?
а
lisp наверное не очень функциональный яп
ID
OCaml чуть чуть
ID
Вполне функциональный
KR
Если ты по результатам прочтения что-то запилишь аля Хиро - да
ID
Зависит от стиля программирования и задач впринципе
а
Да
а
Советую попробовать хаскель (по нему больше всего документации), пока с ним разбираться будешь как раз освоишь фп)
а
фп и типы тоже
ID
Хм. Typed Racket + macros + language driven development = 💥
SP
малая запарта
ИЛ
Кто ещё будет следить за пыхом кроме самих пыхеров?
ID
Я же не Хиро, чтоб над бедным Си извращаться