p
Надоели фанатики статики также как и фанатики динамики
Size: a a a
2020 June 21
AZ
red75prime
В смысле для myIO нужен IO?
один вариант сделать так да.
второй - просто вызвать грязно своё ио
второй - просто вызвать грязно своё ио
t
можно нескромный вопрос? @p0lunin вам же годиков явно сильно меньше 20, я угадал?
AZ
Да, именно так
struct IO<T>(Box<dyn Fn() -> T>)
Смотри, реализовалp
можно нескромный вопрос? @p0lunin вам же годиков явно сильно меньше 20, я угадал?
Зависит от определения слова "сильно"
2020 June 22
r
один вариант сделать так да.
второй - просто вызвать грязно своё ио
второй - просто вызвать грязно своё ио
FFI к рантайму не на хаскелле?
AZ
red75prime
FFI к рантайму не на хаскелле?
ну там есть всякие способы делать грязь, в том числе черезе FFI инструменты, да
t
red75prime
FFI к рантайму не на хаскелле?
к libc 🙂
p
struct IO<T>(Box<dyn Fn() -> T>)
Смотри, реализовалМейн будет все равно грязным
t
поэтому в хаскелле мейн возвращает IO
t
и он чистый
r
к libc 🙂
Для маллоков и прочего всё равно нужен IO
t
red75prime
Для маллоков и прочего всё равно нужен IO
все можно в libc получить, но зачем? *троллейбус.жпг*
t
не вижу никакой практической пользы в том, чтобы чистый язык принудительно делать грязным 🙂
p
В среднем быстрее будет
t
с чего бы это?
r
не вижу никакой практической пользы в том, чтобы чистый язык принудительно делать грязным 🙂
Естественно, поэтому взаимодействие с #World на нём не напишешь.
t
red75prime
Естественно, поэтому взаимодействие с #World на нём не напишешь.
если мне не изменяет склероз, в Clean как раз вместо IO линейные типы и мерджинг в world
r
#World не referentially transparent
r
Точнее любая функция на #World не referential transparent. По причине физической невозможности подставлять произвольные значения #World