at
Size: a a a
2018 October 25
ЕИ
ФП без типов порождает вопросы «а как комментировать»... Фи блин.
2018 October 26
Вл
с типами тоже
Вл
в хаскеле могут возникнуть вопросы как комментировать законы
ЕИ
в хаскеле могут возникнуть вопросы как комментировать законы
Комментировать законы — не описывать типовую сигнатуру функции.
Вл
ну да, ну да
такое в типах не описать
такое в типах не описать
Вл
ну или с другой стороны: типы это не законы
к
ну да, ну да
такое в типах не описать
такое в типах не описать
вполне себе описать же
к
зависимые
Вл
нууу я хотел чтобы он сам провел границу между типами и законами
ЕИ
Не в этом суть.
Суть в том что имея типы не нужно описывать на хасскеле комментариями что это за функция.
Суть в том что имея типы не нужно описывать на хасскеле комментариями что это за функция.
Вл
Int -> Int -> Int
at
Int -> Int -> Int
Название
at
Не комментарий
Вл
чтож ладно
Вл
drop :: Int -> [a] -> [a]
Вл
нуждается в комментариях?
at
В нормальном названии
Вл
drop :: Int -> [a] -> [a]
хотя эту хуйню описывать было бы лень
a
нуждается в комментариях?
как насчет?