Мохнатые уроды и моральные пёзды. Войти !bnw Сегодня Клубы

> The big difference between Idris 1 and Idris 2 is that Idris 2 represents the context as an array, with constant time access and update. Yes, it's mutable! We recognise that there's going to be a lot of updates: mainly solving unification problems as type checking proceeds, but also during interface resolution. Ждём разоблачающий пост Зефирова с очередной рекламой HAMT и прочих иммутабельных структур.
#43AO7T/PX4 / @enterprize / 77 дней назад
ipv6 ready BnW для ведрофона BnW на Реформале Викивач Котятки

Цоперайт © 2010-2016 @stiletto.