ᛏᚺᛖ ᛚᛖᛋᛒᛁᚨᚾ ᛗᚨᚾ ᚷᛁᚱᛚ 🐝 σουροσικιν (ゼロ)

Добрый вечер. У меня возник чисто теоретический вопрос. Если я не ошибаюсь, то использование только чистых функций позволяет делать параллелизм без особых проблем для програ...

а пока оффтоп про немного хаскель вот если я допустим хочу познать линзы, то какой хороший способ проникнуться их прям пониманием, кроме как не подглядывая переписать полбибл...

Сейчас будет очень плохо сформулированные вопросы :с 1) Существует ли возможность в идрисе создать биекцию между значениями и типами т.е. 42 :: Num 42, например? 2) Существу...

шутки шутками, а что математики интересного и вкусного сделали именно на хаскеле?

а что с ними не так, кроме того, что символика другая? или это как раз и есть символы никсоса?

а зачем политологу знать активно теоркат, кроме как для собственного развития?

почему тогда весь мир не пишет на асме, си, плюсах, расте?

wasd разве не потому что стрелки и мышка справа и это неудобно?

а из него можно выбраться, если попал или это как мафия?

почему бы всегда не использовать консолидированные формы?..

не ты ли делал доклад в августе про конкарент хаскель?

митап в екб чтобы обсуждать разные штуки?

человек не на виме пишет?

токсично, конечно же?

почему быдло?

это математическое?