В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

771 membersпожаловаться на группу
2019 December 29

AV

Alexey Veselovsky in Compiler Development
Kir
Всё что угодно, включая компиляторы
компиляторы в первую очередь. хотя, иногда, когда у тебя нет парсера у компилятора, ибо язык без грамматики, то хочется какой-нибудь грязи и мутабельности для реализации всяких смешных оптимизационных алгоритмов. а для этого в хаскелле придется вывернуться из собственной тени.
источник
23:19пожаловаться#1

BD

Berkus Decker in Compiler Development
Kir
Прототипировать проще на хаскелле, я гарантирую это
Да, в прод тоже. Хотя бы один компилятор С++ на хаскеле подскажете?
источник
23:20пожаловаться#2

PS

Peter Sovietov in Compiler Development
... Поэтому Ocaml "идеальнее" Haskell для написания компиляторов. К тому же, есть отличный учебник и несколько действительно выдающихся компиляторов.
источник
23:20пожаловаться#3

M

MaxGraey in Compiler Development
Kir
Благо обычно преобразование одного AST в другое можно выразить как катаморфизм.
Для начала нужно разобраться что такое катаморфизм, а в совокупности еще и хоть что то про теорию категорий. Пару лет попрограмировать на хаскеле в режиме «исследователь» хотя бы ну и потом можно и что то практичное начать писать)
источник
23:21пожаловаться#4

MM

Mikhail Maltsev in Compiler Development
Kir
Благо обычно преобразование одного AST в другое можно выразить как катаморфизм.
Компиляторы удобно прототипировать на чём угодно с pattern matching. Rust, например, изначально был написан на ocaml
источник
23:21пожаловаться#5

MM

Mikhail Maltsev in Compiler Development
Всякие около-языковые тулзы типа frama c тоже
источник
23:22пожаловаться#6

PS

Peter Sovietov in Compiler Development
Некоторое заблуждение состоит в том, что pattern matching из Haskell/Ocaml _достаточен_ для нужд продвинутого оптимизирующего компилятора. Это далеко не так.
источник
23:22пожаловаться#7

M

MaxGraey in Compiler Development
Mikhail Maltsev
Компиляторы удобно прототипировать на чём угодно с pattern matching. Rust, например, изначально был написан на ocaml
Это да, вообще очень много чего было на Ocaml написано, тот же flow и ReasonML
источник
23:22пожаловаться#8

PS

Peter Sovietov in Compiler Development
Haxe.
источник
23:23пожаловаться#9

I

Ilmir in Compiler Development
Berkus Decker
выглядит интересно, я давно за перловселенной не следил
Я сам практически случайно наткнулся.
источник
23:23пожаловаться#10

M

MaxGraey in Compiler Development
MaxGraey
Для начала нужно разобраться что такое катаморфизм, а в совокупности еще и хоть что то про теорию категорий. Пару лет попрограмировать на хаскеле в режиме «исследователь» хотя бы ну и потом можно и что то практичное начать писать)
А на python или julia ты можешь начинать писать что то полезное уже сейчас, достаточно быть знакомым с Си, паскалем или бейсиком
источник
23:25пожаловаться#11

MM

Mikhail Maltsev in Compiler Development
Peter Sovietov
Некоторое заблуждение состоит в том, что pattern matching из Haskell/Ocaml _достаточен_ для нужд продвинутого оптимизирующего компилятора. Это далеко не так.
Во фронтэнде сильно помогает, в peephole оптимизациях тоже. Для остального нужен "просто" хороший general purpose language
источник
23:25пожаловаться#12

PS

Peter Sovietov in Compiler Development
Mikhail Maltsev
Во фронтэнде сильно помогает, в peephole оптимизациях тоже. Для остального нужен "просто" хороший general purpose language
Это только для самых простых трансляторов. Анализ потоков данных таким образом не сделаешь. Это не какая-то примитивная статическая проверка типов, которая делается одним обходом AST. А анализ потоков данных нужен, хотя бы, для распределения регистров. На уровне AST серьезные оптимизации не делаются.
источник
23:29пожаловаться#13

FO

FORTRAN ONE LOVE in Compiler Development
а на чём стоит писать тулзы для авторефакторинга кода?
источник
23:30пожаловаться#14

AV

Alexey Veselovsky in Compiler Development
зависит от того, для какого яп делаешь
источник
23:32пожаловаться#15

FO

FORTRAN ONE LOVE in Compiler Development
Fortran :D
источник
23:32пожаловаться#16

AV

Alexey Veselovsky in Compiler Development
и есть ли для него готовая инфраструктура
источник
23:32пожаловаться#17

K

Kir in Compiler Development
Для того, чтобы разобраться с катаморфизмом, не нужно теорката. Это просто свёртка дерева.
источник
23:32пожаловаться#18

AV

Alexey Veselovsky in Compiler Development
что там, у flang есть ли доступ к AST и типам для сторонних утилит?
источник
23:32пожаловаться#19

FO

FORTRAN ONE LOVE in Compiler Development
Alexey Veselovsky
что там, у flang есть ли доступ к AST и типам для сторонних утилит?
он не может собрать софт %) слишком плохо все написано
источник
23:33пожаловаться#20