AP
Дело не в возможности сконструировать значение. Дело в том, что нельзя бесконечно выводить тип
mu t. (a, t) жеSize: a a a
2020 October 06
K
По крайней мере, эльм отличает rigid type vars от просто type vars, а не как в окамле.
AP
И ленивость тут ни при чём
AP
У меня руки чешутся сделать им PR или форк с HKT, но меня останавливает то, что я не спец по soundness и прочему добру. Я только один раз фрилансил HM-inference, там HKT-то и не было.
Форк не будут использовать, а реквест не примут — "сложна слишком!" :)
K
Вот да
K
github.com/elm/compiler как-то грустно по insights выглядит
K
Кто-то в форке делает компиляцию в C++, забавно
2020 October 07
AK
Кто-то в форке делает компиляцию в C++, забавно
Это проект связанный с WASM на сколько я помню
DK
Они же там хотели напилить элм под айос насколько я слышал?
AP
Да никто ничего не сделает. Вероятность того, что один форк нишевого языка достигнет хотя бы какой-то популярности, крайне мала.
AP
github.com/elm/compiler как-то грустно по insights выглядит
Еван вполне может и в приватной репе экспериментировать. Но больше похоже на то, что язык одного человека потерял интерес этого самого человека.
AP
При этом я вовсе не уверен, что Эван сможет, как Гвидо Ван Россум, передать бразды правления спокойно. Да и кому? Компилятор написан на эвановском диалекте хаскеля. Если позвать хаскелистов, то они просто всё выкинут и напишут заново. Кто-то другой тоже перепишет, но на другом уже языке. В любом случае будет регресс в течении приличного отрезка времени.
AP
Пока язык и экосистема находятся в sweet spot. Основным крупным потребителям хватает.
AP
В NoRedInk сначала были какие-то подвижки в сторону Хаскеля, "использовали, нравилось". А сейчас Фельдман уже вещает про то, что Rust им больше нравится. Мол, простой и вот это вот.
AP
ИЧСХ, в Rust нет HKT
MB
ждём Elm на Rust? Там же 90% кода поменять подход придётся
AK
Они (Фельдман и Ко.) же свой язык пилят
AP
ждём Elm на Rust? Там же 90% кода поменять подход придётся
Я в это не верю опять же
AP
Andrey Koppel
Они (Фельдман и Ко.) же свой язык пилят
И в это не верю (в успех)
AK
Типа Элм для бекенда