Оно верно по построению. У тебя IO в хаскеле сделано так, что оно ссылочно прозрачно.

Ты можешь выстрелить себе в ногу через unsafePerformIO, но на то оно и unsafe

Ну функция это ж указатель :D

Так это лейзи евалуейшен с хачкеля)

ссылки: просто, ты такую функцию можешь заменить на таблицу и убрать ее нахрен, используя кеширование

Вот мне взрывают мозг все эти усные термины

не совсем понял, как оно связано

let a = foo b c

Вместо foo b c можем написать а

И нам не важно это вызов фи или ее результат

Ну, типо ленивое вычисление завязано на ссылочной прозрачности

да

Без него это бы не сработало, как я понимаю

T-34 так тебе приходилось гуй писать десктопный?
Неужто было удобно и комфортно?
Ну если надо сделать коасиво, а не просто накидать формочку со 100500 текстбоксов

В смалтолке тоже вроди выражение это first-class житель

Но мне нравится как в шарпе и расте — есть четкая граница между значением и ф-ей/замыканием

и сейчас пишу. Если честно, из всего, что пробовал, больше всего Qt Widgets зашёл. Возможно, мне бы больше понравился qml/xaml, если бы верстать приходилось не мне

Хмммм ну респект. Это сурово

но это если смотреть снизу, с уровня моря))

если смотреть сверху, с уровня облаков, то профит пьюр функций в ином: ты можешь использовать их прозрачность для кешрования, например у тебя есть стандартный пайплайн для пользователя, который делает в его контектсте func(a)->func(b)->func(c). Представь что вдруг поведения пользователей стало одинаковым (ну там, все вдруг начали читать за короновирус) и в таком случае у тебя вызов функций конвейера в 90% будет одинаков для разных пользователей. Так вот если функция прозрачна и у нее ссылочная прозрачность, то можно изи держать для каждой функции кэш из топ 10 значений и тут ты просто выдаешь этот кэш на выход и все, не делаешь рассчеты внутри функций

Я кт совсем мало пробовал, остальное пробовал, не шибко понравилось.

Вечно какие-то грабли

Нет, это когда ты можешь заменить вызов функции на возвращаемое ей значение без изменения поведения программы