СГ
говорить об их чистоте само собой не приходится
Size: a a a
2020 April 20
ML
ну блин, fun в классе это не функция)
а в файле? 🌚
СГ
а в файле? 🌚
Если про Котлин речь то тут все сложно. В каком нибудь sml не захватит насколько я помню
ML
Если про Котлин речь то тут все сложно. В каком нибудь sml не захватит насколько я помню
ну камон, в языках с лексическим скоупингом у тебя по сути всегда есть в аргументах этот самый скоуп – те имена, которые есть в твоей зоне видимости
ML
неявно, конечно
СГ
Ну да, я понимаю. Поэтому во всяких Котленах и прочих Свифтах функции это скорее лямбды своего рода
(
Если про Котлин речь то тут все сложно. В каком нибудь sml не захватит насколько я помню
не писал на sml, но в примерах кода выглядит, как будто захватит
(
fun htmlCvt fileName =
let
val is = TextIO.openIn fileName
and os = TextIO.openOut (fileName ^ ".html")
fun cvt _ NONE = ()
| cvt _ (SOME "\n") = cvt true (TextIO.inputLine is)
...
СГ
не писал на sml, но в примерах кода выглядит, как будто захватит
я думаю там примерно так же, как и в окамле, f#, и пр
(
кароче бля
(
функция не ссылочно прозрачная
rt()
a = 4
rt()
в языке с eager семантикой она не будет реф-транспарент, но представь ленивый язык
(
вместо
a там будет возвращаться { a }(
а, ну ладно, она тогда будет чистой
ML
в языке с eager семантикой она не будет реф-транспарент, но представь ленивый язык
и как будет выглядеть ленивое изменение состояния
a?(
и как будет выглядеть ленивое изменение состояния
a?не понял вопрос
ML
не понял вопрос
ну ты такой хоба! ленивая семантика, функции теперь возвращают thunk-и. а как работает оператор присваивания в твоём воображаемом языке, ты не описал =)
(
ну ты такой хоба! ленивая семантика, функции теперь возвращают thunk-и. а как работает оператор присваивания в твоём воображаемом языке, ты не описал =)
а, ты про это
(
как-нибудь работают, разницы-то, деталь реализации за гранью примера
(
просто пример сам плохой, в ленивом языке в любом случае абсолютно все функции будут чистыми