These are chat archives for groupoid/exe

20th
Jan 2017
Alexander Nemish
@nau
Jan 20 2017 01:16
забавный ток про future functional programming language https://www.youtube.com/watch?v=buQNgW-voAg
теги: no recursion, church encoded data representation, proves, morte
nponeccop
@nponeccop
Jan 20 2017 01:17
Ого
nominative typing увидел тоже
Это помнится кто-то к эрлангу/L пытался лепить
sub-turing-complete, prove/optimize more это же я )
Слайды можно посмотреть, я не слухач
Alexander Nemish
@nau
Jan 20 2017 01:20
послушать интересно, там народ шарит и по теме коментит
nponeccop
@nponeccop
Jan 20 2017 01:21
1 час для меня явно TL;DR/ADHD :)
Alexander Nemish
@nau
Jan 20 2017 01:21
он не делает язык, просто описывает что хотел бы видеть, а что нет
я нынче перед сном такое смотрю )