Dv
Там же
'a -> ('b -> unit)Size: a a a
2020 August 01
NM
Взрыв мозга немного
NM
Ну идею твою я примерно понял да
н
я добавил что там более честные определения. а не ваниль для имперетивщиков.
вот я например могу утверждать, что функции из ванильных императивных языков проще положить на любой ассемблер, чем каррирование из фп-языков, для которых требуются тонны сил на оптимизацию
NM
Ну императивный подход же и появился в результате развития ассемблера, а ФП подход это типа: О, хочу шоб как в математике
н
в функциональном языке программирования "Скала" функции тоже не таплы принимают
P
а в чем заключается ваниль?
это как детям в школе. им говорят площадь круга пи*R*R. дети счастливы - они все поняли (почему это так, какой там мат аппарат это выводит - это им лучше не рассказывать). тоже самое с императивциками. их главное не напугать тем что лежит внутри, вот и появляются книжки освой С за 24 часа
н
ну это конечно объективный аргумент
н
а матаппарат функционального программирования подразумевает, что он будет исполняться на процессоре архитектуры _вставьте нужную_, в которой нет ни таплов, ни функций, одни только стекфреймы?
вот когда делали императивный язык сишку/c++/вставьте нужное, подразумевали
вот когда делали императивный язык сишку/c++/вставьте нужное, подразумевали
н
или это все нематематично и в книге не написано?
н
советую мегафон
КП
Бесит этим, да.
Dv
Новости из основного чата: я таки сделал это работать
P
Новости из основного чата: я таки сделал это работать
так вроде тоже собирается
type T = T with
static member inline ($) (T, func: ^a -> ^b): ^a -> ^b =
fun (_: 'a) -> T $ Unchecked.defaultof<'b>
static member inline ($) (T, arg: unit) = ()
static member inline ($) (T, arg: int) = 0
Dv
так вроде тоже собирается
type T = T with
static member inline ($) (T, func: ^a -> ^b): ^a -> ^b =
fun (_: 'a) -> T $ Unchecked.defaultof<'b>
static member inline ($) (T, arg: unit) = ()
static member inline ($) (T, arg: int) = 0
опа
Dv
так вроде тоже собирается
type T = T with
static member inline ($) (T, func: ^a -> ^b): ^a -> ^b =
fun (_: 'a) -> T $ Unchecked.defaultof<'b>
static member inline ($) (T, arg: unit) = ()
static member inline ($) (T, arg: int) = 0
Да, ты прав! Можно сильно упростить и убрать
zombifyDv
Ключ действительно в том, чтобы было больше одного терминального кейса
P
а матаппарат функционального программирования подразумевает, что он будет исполняться на процессоре архитектуры _вставьте нужную_, в которой нет ни таплов, ни функций, одни только стекфреймы?
вот когда делали императивный язык сишку/c++/вставьте нужное, подразумевали
вот когда делали императивный язык сишку/c++/вставьте нужное, подразумевали
я твой вопрос вообще не понял. во первых почему матаппарат должен подразумевать какието конкретные реализации. а во вторых ты сам сказал что на ассемблере нет ни функций, ни туплов. но почемуто фп в него транслируется и работает
AD
это как детям в школе. им говорят площадь круга пи*R*R. дети счастливы - они все поняли (почему это так, какой там мат аппарат это выводит - это им лучше не рассказывать). тоже самое с императивциками. их главное не напугать тем что лежит внутри, вот и появляются книжки освой С за 24 часа
О, кстати, помню метод подсчета числа pi через приближение правильных многоугольников давали в учебниках 8 класса, кажется. В теме про длину окружности. Учебник не помню. Про площадь было в 11 классе в теме про интегралы