a
смит ты шиз бляд
Size: a a a
2020 April 11
D
nether lvl up! (4 lvl)
a
я такого вообще не говорил
a
я сказал что я сделаю может быть,потому что это должно быть удобно
a
хиро сказал что тоже задумывался об этом
a
где-то тут что-то кому-то слабо
G
В "Type-Driven Development in Idris" увидел такой интересный шаблон проектирования, заключающийся в программировании не в самом Idris, а в множестве eDSL. Таким образом недопустимые операции (например, удаление файла при работе с REPL) нельзя выполнить + повышается самодокументируемость, ну все преимущества типизации.
M
В "Type-Driven Development in Idris" увидел такой интересный шаблон проектирования, заключающийся в программировании не в самом Idris, а в множестве eDSL. Таким образом недопустимые операции (например, удаление файла при работе с REPL) нельзя выполнить + повышается самодокументируемость, ну все преимущества типизации.
Тайп драйвен девелопмент еше имеет такую хуету как типы состояния
D
такую метку. хотя, 1 10. и ухожу из кокаина и дело, то района, старый хипстер?
M
Там еще есть хуета что если тебе нужен производный тип от базового типа но использующийся в определнном контексте ты должен создать новый тип
M
Типа если у тебя есть секунды а ты юзаешь дабл ты должен создать новый тип
M
type Sec = Double;
M
Есть еше вычислимые типы
M
Это когда ты производишь вычисления на типах
M
Там еше может быть полиморфизм в зависимости от следуюшего вычисленного типа
M
В HCT там еще интерсней
M
Типа можно сконструировать тип от операции
M
sec/metrs = sec_meters
M
Типа делишь секунды на метры получаешь тип метр секунда