AL
Dollar Føølish
Што?
точнее, задолго до 1.0 выпилиывали тайпстейты: https://en.wikipedia.org/wiki/Rust_(programming_language)#History
Size: a a a
2020 March 14
DF
По моему это не алг эффекты
DF
А просто контракты
СД
И то, ценна не иммутабельность, а ссылочная прозрачность.
а я правильно понимаю, что они (Scala, Haskell и фп парни) пытаются разделить свой код на две составные: явный код с ссылочной прозрачностью (пьюр функции) и код с эффектами?
B
А у нас persistent data structures
Окей
The term was introduced in Driscoll, Sarnak, Sleator, and Tarjans' 1986 article.
The term was introduced in Driscoll, Sarnak, Sleator, and Tarjans' 1986 article.
JC
а я правильно понимаю, что они (Scala, Haskell и фп парни) пытаются разделить свой код на две составные: явный код с ссылочной прозрачностью (пьюр функции) и код с эффектами?
ага
DS
а я правильно понимаю, что они (Scala, Haskell и фп парни) пытаются разделить свой код на две составные: явный код с ссылочной прозрачностью (пьюр функции) и код с эффектами?
Нет. Ты можешь даже код с эффектами написать ссылочно-прозрачным
B
Почему тогда этот Сарнак не засудил оракл за их JPA ? Java persistence API?
JC
Ну Haskell так точно, у них это прям в компиляторе
DS
Нет, суть в том, чтобы и код с эффектами был ссылочно прозрачным
СД
Нет. Ты можешь даже код с эффектами написать ссылочно-прозрачным
ну это когда я в свою пьюр функцию println(random.Int) вставлю
СД
как я понял
JC
Нет. Ты можешь даже код с эффектами написать ссылочно-прозрачным
И компилятор проверит?
B
а я правильно понимаю, что они (Scala, Haskell и фп парни) пытаются разделить свой код на две составные: явный код с ссылочной прозрачностью (пьюр функции) и код с эффектами?
Поясните ктото что такое ссылочная прозрачность, плиз
СД
но на выход оно не повлияет
Т8
Прикольно, у них свой чатик есть
да, чуваки просто подминают под C# весь мир
JC
Поясните ктото что такое ссылочная прозрачность, плиз
Это вроде когда функцию два раза вызываешь, она одно и тоже возвращает
СД
на одних и тех же данных*
B
И при чем тут ссылки? Хз
