DM
А идрис в итоге нужен вэлью челикам или нужно иной язык?
Size: a a a
2020 March 27
w
А идрис в итоге нужен вэлью челикам или нужно иной язык?
20/10!
AG
смотря какое вэлью
w
смотря какое вэлью
А туз готов?
AG
я считаю что если допилить экспоненты хоть как, будет довольно неплохой инструмент
AG
не раст конечно, но хоть как-то с перфомансом можно будет работать
Oℕ
а идрис 2 щас уже можно юзать как-то?
AG
я его давно не трогал, но что-то там должно работать :)
AG
брэди недавно начал потиху бутстрапить его
Oℕ
ты с сорцов билдил?
ИО
Oℕ
брэди недавно начал потиху бутстрапить его
видел твит
Oℕ
AG
ты с сорцов билдил?
да
ᛒ
да. давай ближе к делу, высоко-производительную реляционку написанную на izumi в студию.
почему реялционку? - это охуительно сложная задача, сочтеюащие как высокие нагрузщки по ио, так и по различным вычислениям, + сложная предметная область полная различных алгоритмов.
почему реялционку? - это охуительно сложная задача, сочтеюащие как высокие нагрузщки по ио, так и по различным вычислениям, + сложная предметная область полная различных алгоритмов.
AG
да. давай ближе к делу, высоко-производительную реляционку написанную на izumi в студию.
почему реялционку? - это охуительно сложная задача, сочтеюащие как высокие нагрузщки по ио, так и по различным вычислениям, + сложная предметная область полная различных алгоритмов.
почему реялционку? - это охуительно сложная задача, сочтеюащие как высокие нагрузщки по ио, так и по различным вычислениям, + сложная предметная область полная различных алгоритмов.
дай пять
w
дай пять
Эх, сча бы пять