SP
это то что я помню
Size: a a a
2020 June 10
p
бля лучше бы на секьюэле писал чистом
p
блин, как не забывать ставить где нужно try и проверку на null?
SP
надо быть не тупым. статика отупляет
SP
вот писал бы ты изначально на динамике - не страдал бы
p
я изначально на питоне писал
p
а, или ты про проетк?
SP
ну вот. помнишь себя питониста?
p
ну вот. помнишь себя питониста?
угу
SP
а я себя не помню. помню только что был тупым и стыдно
p
e
я не могу сделать db.Delete(chat => chat.id == chatId)
в слике в скале такое можно сделать
G
@DogeShibu, я хочу свою коллекцию в Idris написать, чтобы потом из неё генерировать сишные макросы. Какой самый простой путь это сделать? Может реализовать какие-то 2-3 интерфейса и всё волшебным образом само сделается?
G
Чтобы я писал
foldl myCollection $ ..., а потом generate myCollection и хобаDS
@DogeShibu, я хочу свою коллекцию в Idris написать, чтобы потом из неё генерировать сишные макросы. Какой самый простой путь это сделать? Может реализовать какие-то 2-3 интерфейса и всё волшебным образом само сделается?
Ты хочешь верифицированный кодген?
Таким вроде в coq и agda больше любят заниматься
Таким вроде в coq и agda больше любят заниматься
DS
Но я сам не пробовал
G
Ты хочешь верифицированный кодген?
Таким вроде в coq и agda больше любят заниматься
Таким вроде в coq и agda больше любят заниматься
Да-да, что-то такое
G
Надо посмотреть потом
e
зачем тут switch? if else не в моде?
e
и вообще, на уровне репозитория это делается
а не снаружи
а не снаружи