о, мне кстати похоже чуть-чуть на окамле пописать придётся

и возможно ещё некоторых смешных языках

зачем?

но ведь ЗАКОРЮЧКИ

@voidlizard у нас в проекте поддержка разных языков есть

а.

кто-то хочет ядро для окамля

вообще какой официальный статус окамла - они там живы еще

хз

в америкосовых бизнесах видимо кто-то юзает

ну смотря что считать жизнью

coq жив

ну тогда и окамл

SMP пилят?

lwt починили?

а вообще почему его в JanesStreetML не переименуют?

пилят, конечно, это там периодическое развлечение

в третий раз вроде пилят

перестали у интов бит воровать?

нет конечно

Вон даже на FPConf будет окамлотолк

бит тырить это точно лучше, чем карты памяти использовать?

да нет

т.е точно настолько лучше, чем карты регистров (пардон) использвать?

что стоит всю арифметику сделать криповой?

lwt починили?

а что не так с lwt?

да надо понимать же, что чисто исторически камл лайт начинался как игрушечный интерпретатор типа хагса, который на всяких недокомпьютерах должен работать чтоб детей учить к нему потом компилятор сделали через пару лет, но рантайм он унаследовал со всеми радостями

вообще все 90 прошли под знаком деланья имплементаций не по Аппелю, который завещал в конце 80-х чтоб не валяли дурака а делать как надо, памяти больше станет, и все наладится.

так и вышло, но лет через 10

бит тырить это точно лучше, чем карты памяти использовать?

что такое карты памяти?

@nightblues регистров, пардон

карты памяти не нужны

нене, где почитать?)

из того, что я знаю - у Аппеля

он по моему все типы gc разбирает

ну, точнее карты регистров точно

есть еще параллельные регистры

и параллельные стеки

про ГЦ там всего ничего, но он дает нормальные ссылки для углубленного чтения по ГЦ

в общем, карта регистров - это карта регистров и текущего фрейма стека

которые регулярно переиздаются

https://ru.wikipedia.org/wiki/%D0%90%D0%BF%D0%BF%D0%B5%D0%BB%D1%8C

Appel, modern compiler in ML

https://www.cs.princeton.edu/~appel/modern/ml/

спасибо

про карты там есть, но я уже не помню, что откуда пришло - т.е есть у него там про подрезание бита как в окамле. или нет

TL;DR - консервативно (как boehm), спереть бит (ocaml, какие-то лиспы), всё boxed - erlang (?), карты регистров + карты стека или параллельные стеки - (? хаскель, может быть?)

вообще какой официальный статус окамла - они там живы еще

Живее чем некоторые: во всяком случае, разработка ведётся на гитхабе (посмотрите там динамику), а не на этом дурацком фабрикаторе

Отслушал курс Аппеля кстати в этом году, своеобразный дядька.

м?

книги хорошие пишет, во всяком случае

обе две

это же не только ради стека, но и чтоб сэкономить на описание пейлоада объекта кучи и на переходах к нему

Курс тоже неплохой был по верификации алгоритмов.

Живее чем некоторые: во всяком случае, разработка ведётся на гитхабе (посмотрите там динамику), а не на этом дурацком фабрикаторе

интересная характеристика для живости

нуу что-то в этом есть, отчасти

млтон тоже на гитхабе разрабатывают

а также элис, млворкс и прочие "живые"

> Excluding merges, 11 authors have pushed 42 commits to trunk and 63 commits to all branches. On trunk, 53 files have changed and there have been 701 additions and 291 deletions. vs > Excluding merges, 21 authors have pushed 46 commits to master and 66 commits to all branches. On master, 150 files have changed and there have been 3,581 additions and 1,487 deletions.

Живее чем некоторые: во всяком случае, разработка ведётся на гитхабе (посмотрите там динамику), а не на этом дурацком фабрикаторе

если верить гитхабу разработка ведется активнее чем в 96ом

но вторые используют фабрикатор, а значит не живые

ох, ну еще бы она велась как в 96

ой, ребят, а можно холиварный вопрос?) зачем вы учите устройство языков, компиляторов - ведь в жизни это пригождается крайне редко?

ну ок, просто wtf фабрикатор и он точно нужен?

@nightblues регулярно сука пригождается

когда не ждешь

ну т.е я не знаю, что значит "учите"

@nightblues регулярно сука пригождается

ну когда ты последний раз писал свой труъ язык программирования?)

но компиляторы трансляторы парсеры приходится регулярно

2009 - 2012

генерация кода, оптимизация кода

ну и не зная устройства языков писать оптимальный код на них не очевидно

ну ок, просто wtf фабрикатор и он точно нужен?

Кое-кто считает, что нет http://www.tweag.io/posts/2017-10-19-ghc-devops-group.html

большинство людей пишут веб-приложеньки для бизнеса. в какой сфере нужно работать чтобы было нужно уметь в компиляторы хорошо?

я не говорю про "хорошо"

я говорю что бывает надо написать

в принципе, если бы в 2009-ом умел в компиляторы, все бы сложилось гораздо более лучше тогда

есть почему-то мнение что гитхаб понижает сложность входа

про это загадочное "большинство" я не готов спекулировать, на самом деле

но я если честно не вижу почему это так если это не PR по документации, очепятках и т.п.