Size: a a a

2020 November 29

NI

Nick Ivanych in haskell_blah
Нуу, видимо, мои сведения про Idris устарели.
Да и Idris2 я не особо и трогал, он тогда ещё совсем сырой был.
Ежели щас уже пользоваться можно, надо будет обязательно попробовать.
А какое качество кодогенерации под джавоскрипт?
Сравнимо с purescript'ом?
источник

RR

Ryner ライナ Reinhardt ... in haskell_blah
Местного стака не хватает
источник

NI

Nick Ivanych in haskell_blah
Ryner ライナ Reinhardt ラインハルト
Вот бы ещё кто-то ещё запилил пакетный менеджер нормальный
Надо cabal портировать. И backpack!!
источник

RR

Ryner ライナ Reinhardt ... in haskell_blah
Nick Ivanych
Нуу, видимо, мои сведения про Idris устарели.
Да и Idris2 я не особо и трогал, он тогда ещё совсем сырой был.
Ежели щас уже пользоваться можно, надо будет обязательно попробовать.
А какое качество кодогенерации под джавоскрипт?
Сравнимо с purescript'ом?
В плане читаемости, не очень
источник

RR

Ryner ライナ Reinhardt ... in haskell_blah
Но генерит бандл по размеру как тайпскрипт
источник

RR

Ryner ライナ Reinhardt ... in haskell_blah
По крайней мере из того что у меня сейчас написано
источник

NI

Nick Ivanych in haskell_blah
А бенчмарки какие кто пробовал?
Видимо, тоже сравнимо по скорости?
источник

RR

Ryner ライナ Reinhardt ... in haskell_blah
Не видел юайных, но на ноде что-то видел
источник

RR

Ryner ライナ Reinhardt ... in haskell_blah
Должен быть побыстрее уж пурсы
источник

RR

Ryner ライナ Reinhardt ... in haskell_blah
Даже GHCJS то быстрее пурсы
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Ryner ライナ Reinhardt ラインハルト
Должен быть побыстрее уж пурсы
Так это про конпелятор
источник

RR

Ryner ライナ Reinhardt ... in haskell_blah
Ну, это да
источник

RR

Ryner ライナ Reinhardt ... in haskell_blah
Я ищу нодовые
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Что он сделал ровно те оптимизации, которые скала выпилила
источник

RR

Ryner ライナ Reinhardt ... in haskell_blah
Oleg ℕizhnik
Что он сделал ровно те оптимизации, которые скала выпилила
Why?
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Мутабельный контекст
источник

Oℕ

Oleg ℕizhnik in haskell_blah
Потому что в скале мутабельные деревья, это ппц, а ещё макросы, которые на вход эти деревья принимают и домутируют их, это ад, израиль, нуллы, нб, котлин
источник

RR

Ryner ライナ Reinhardt ... in haskell_blah
Обида
источник

RR

Ryner ライナ Reinhardt ... in haskell_blah
Короче, не нашёл бенчмарков
источник

in haskell_blah
источник