AZ
сама программа - нет
ну похер, нам главное чтобы main был чистым
Size: a a a
2020 June 21
AZ
в нашем случае main_impl
t
сама программа - нет
сам мир нечистый
p
ну в компайл тайме чистая функция
p
в рантайме конечно нет
A
в рантайме конечно нет
а в рантайме и функции никакой может не быть
AZ
в рантайме конечно нет
вроде того. Но на рантайм нам пофиг. Чистота нас интересует с точки зрения компайл тайм проверок
t
в рантайме компилятор все посворачивает в пару mov и один call
AZ
короче нужно понимать что в сишке или расте мы пишем программу которая исполняется
А в хаскелле мы пишем программу которая конструирует программу которая реально выполнится
А в хаскелле мы пишем программу которая конструирует программу которая реально выполнится
SP
а в рантайме и функции никакой может не быть
но они есть
AZ
то есть ИО конструирует ИО, которое можно выполнить
AZ
первая часть - чистая, вторая конечно нет
t
но они есть
неа. функции - это социальный конструкт
AZ
и вот вторую часть нельзя сделать чистой (why safe when life unsafe), но можно хотя бы разделить их
A
но они есть
С чего это?
AZ
короч, стоит пописать в таком стиле чтобы понять выгоду
AZ
впрочем я на хабре писал
t
call eax можно сделать по любому адресуAZ
в шарпе я поменял две строчки и у меня прод развалился
t
независимо от того, есть ли там преамбула