AS
reasoned schemer это больше про логическое программирование? тогда уж little typer 🙂
Size: a a a
2020 July 29
AS
всем привет)
EL
я сам не видел, но по описанию вроде да, little typer туда же, еще little prover :)
AS
там пишут свой язык на ракетке, с зависимыми типами.. но книга получается не про схему
DG
я сам не видел, но по описанию вроде да, little typer туда же, еще little prover :)
А там и до software foundations недалеко
F
Можно с CodeWars задачки решать, можно откуда угодно ещё.
Спасибо, но я искал что-то похожее на то что мне выслал Юрий (еще спасибо)
F
Три голоса. С динамикой вообще не надо связываться
Почему?
F
есть еще reasoned schemer, seasoned schemer, может там что подходящее найдется
О, спасибо! Посмотрю
АГ
Почему?
Сначала нужно научиться всем аспектам программирования, чтобы уже потом можно было от чего-то отказываться
AT
Спасибо, но я искал что-то похожее на то что мне выслал Юрий (еще спасибо)
Ну тогда нате ещё вдогонку https://gist.github.com/gabriel-fallen/5337067 😂
EL
чуть более хардкорно в догонку 😄https://sharpc.livejournal.com/67583.html
F
Спасибо всем трем, перечитаю познеё
DG
чуть более хардкорно в догонку 😄https://sharpc.livejournal.com/67583.html
Вот же бред-то 😂
DG
Точне, очень плохие формулировки
DG
Кажется, что это всё — необходимый минимум)
EL
ну наверное автор имел ввиду для большинства почитать определение и знать чо такое
EL
в целом конечно бредово выглядит согласен)
DG
Кажется, что это всё — необходимый минимум)
Перечитал ещё раз, может автор так и считает.
Тогда он не очень разумен)
Тогда он не очень разумен)
DK
А вот и необходимый максимум, для тех кто хочет РЕАЛЬНО разобраться и кому не страшно залезть в самые глубины https://github.com/ossu/computer-science
