Size: a a a

Compiler Development

2020 May 24

PS

Peter Sovietov in Compiler Development
У меня же схожий взгляд на ML и на Prolog. Для меня оба эти ЯП — полезные в разработке компилятора DSL. Желательно, конечно, чтобы это были eDSL :)
источник

EM

Evgenii Moiseenko in Compiler Development
Peter Sovietov
В сфере разработки компиляторов, насколько мне известно, Ocaml более популярен. Сужу как по проектам компиляторов, так и по учебным курсам.
OCaml популярен у компиляторщиков и академиков с этим не спорю, но он все равно слишком малоизвестен при этом (незаслуженно)
источник

E

Eugene in Compiler Development
Жаль, что SML так и замёрз на версии 97, но, хотя бы есть языки, развивающие его, например CakeML
источник

E

Eugene in Compiler Development
Evgenii Moiseenko
OCaml популярен у компиляторщиков и академиков с этим не спорю, но он все равно слишком малоизвестен при этом (незаслуженно)
F# (порт окамля на дотнет) даже в ввижуал студию вошёл
источник

EM

Evgenii Moiseenko in Compiler Development
Eugene
F# (порт окамля на дотнет) даже в ввижуал студию вошёл
Хз, F# не знаю от слова совсем, но встречал мнение что он хоть и вдохновлен окамлем, очень далёк от него при этом
источник

M

MaxGraey in Compiler Development
Eugene
F# (порт окамля на дотнет) даже в ввижуал студию вошёл
Опять же больше академический полигон для C#, хотя некоторые на нем в продакшен пишут
источник

EM

Evgenii Moiseenko in Compiler Development
Eugene
Жаль, что SML так и замёрз на версии 97, но, хотя бы есть языки, развивающие его, например CakeML
Что, кстати, интересного есть в   CakeML, помимо того что компилятор на coq верифицирован
источник

PS

Peter Sovietov in Compiler Development
Kakadu
Не обращай внимания. Здесь много нелюбителей функциональщины
Неужели такой вывод можно было сделать из моего исходного сообщения? :)
источник

K

Kakadu in Compiler Development
Peter Sovietov
Неужели такой вывод можно было сделать из моего исходного сообщения? :)
Это не в Вашу сторону шпилька была
источник

PS

Peter Sovietov in Compiler Development
Kakadu
Это не в Вашу сторону шпилька была
OK!
источник

K

Kakadu in Compiler Development
Народ, а как major heap правильно на русский переводить? А то мне только нумерованные попадаются...
источник

а

а это кто in Compiler Development
Kakadu
Народ, а как major heap правильно на русский переводить? А то мне только нумерованные попадаются...
большая куча…
источник

PS

Peter Sovietov in Compiler Development
Kakadu
Народ, а как major heap правильно на русский переводить? А то мне только нумерованные попадаются...
major/minor — старшее/младшее поколение. Это соответствует смыслу: в одной области объекты умирают молодыми, а в другой — успевают постареть :)
источник

АГ

Алексей Герасимов... in Compiler Development
Peter Sovietov
major/minor — старшее/младшее поколение. Это соответствует смыслу: в одной области объекты умирают молодыми, а в другой — успевают постареть :)
Живи быстро, умри молодым!
источник

PS

Peter Sovietov in Compiler Development
Алексей Герасимов
Живи быстро, умри молодым!
Ну, не зря же есть известная статья 'Infant Mortality' and Generational Garbage Collection :)
источник

VS

Vasily Shapenko in Compiler Development
MaxGraey
Опять же больше академический полигон для C#, хотя некоторые на нем в продакшен пишут
Мнение несколько далеко от истины, учитывая то, в каком виде в тот же c# заносят новые фичи. И да,я пишу на f# в продакшне
источник

BD

Berkus Decker in Compiler Development
Kakadu
Народ, а как major heap правильно на русский переводить? А то мне только нумерованные попадаются...
куча мажоров
источник

PS

Peter Sovietov in Compiler Development
В принципе, достаточно очевидно, что без GC компилятор писать радости мало.
источник

PS

Peter Sovietov in Compiler Development
Интересное сравнение Rust и Haskell на поле написания компиляторов для функциональных языков, с ссылками на бенчмарки:

https://old.reddit.com/r/haskell/comments/gok70o/simple_haskell_is_best_haskell/frj9hty/

#fp
источник

AG

Alex Gryzlov in Compiler Development
ну да, но мне показались полезными некоторые ссылки и выводы
источник