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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

fprog_spb

415 membersпожаловаться на группу
2020 October 30

AT

Alexander Tchitchigi... in fprog_spb
Я тоже могу сказать "Мне нужно написать простенький компилятор. Что значит я должен выучить автоматы и EBNF только для разбора текста программ??? В смысле, CFG, SSA и Dataflow analysis?! Какая ещё аллокация регистров методом раскраски графов?!! Вы все с ума посходили, что ли??!" 😂
источник
11:16пожаловаться#1

AP

Alex Peresmeshnik in fprog_spb
Yuuri
Количество строк в альтернативном решении!
На лиспе можно в одну строку
источник
11:16пожаловаться#2

AT

Alexander Tchitchigi... in fprog_spb
Yuuri
Количество строк в альтернативном решении!
Определяется количеством синтаксического сахара в языке для поддержки конкретного механизма. 🤷‍♀️

Если очень хочется, можно нафигачить себе сахарку самостоятельно на макросах. Как в OCaml, так и в Haskell.
источник
11:17пожаловаться#3

AT

Alexander Tchitchigi... in fprog_spb
Alex Peresmeshnik
На лиспе можно в одну строку
Ага, не считая ручной реализации системы статической проверки типов. 😉
источник
11:18пожаловаться#4

AP

Alex Peresmeshnik in fprog_spb
Alexander Tchitchigin
Ага, не считая ручной реализации системы статической проверки типов. 😉
Будто есть варианты компактнее +)
источник
11:21пожаловаться#5

JS

Jerzy Syrowiecki in fprog_spb
Alex Peresmeshnik
Будто есть варианты компактнее +)
один тип на всё. ничего не надо проверять
источник
11:23пожаловаться#6

AP

Alex Peresmeshnik in fprog_spb
Jerzy Syrowiecki
один тип на всё. ничего не надо проверять
источник
11:30пожаловаться#7

JS

Jerzy Syrowiecki in fprog_spb
Yuuri
— Как решить такую-то маленькую задачку?
— Вот тебе много умных слов, иди разбирайся.
Спросить на Reddit, что ли…
https://gist.github.com/cblp/3e8e1af031e6f6449c9c2fbf8736e8b2
Gist
Final Tagless Tree
Final Tagless Tree. GitHub Gist: instantly share code, notes, and snippets.
источник
11:40пожаловаться#8

Y

Yuuri in fprog_spb
Спасибо, но это не та задачка. Та была – «как организовать ADT для инструкций (statements) императивного языка – «объявление переменной», «присваивание», «вызов выражения», «цикл for» и т. д. – чтобы в первом «слоте» заголовка for можно было только объявление или присвоение, во втором – присвоение или выражение, в третьем – только выражение».
источник
13:01пожаловаться#9

Y

Yuuri in fprog_spb
https://docs.google.com/presentation/d/1F93fzFeMXrVn4R0BTyBpmRHhMKgGMuf36P7x3-CcUTM/edit?usp=sharing тут 20 слайд
Google Docs
OCaml для хаскелиста #1
OCaml для хаскелиста ... часть 1
источник
13:02пожаловаться#10

Г

Гриша in fprog_spb
Yuuri
https://docs.google.com/presentation/d/1F93fzFeMXrVn4R0BTyBpmRHhMKgGMuf36P7x3-CcUTM/edit?usp=sharing тут 20 слайд
Google Docs
OCaml для хаскелиста #1
OCaml для хаскелиста ... часть 1
А записи случайно нет, очень бы хотелось посмотреть?
источник
13:18пожаловаться#11

Y

Yuuri in fprog_spb
Запись @heyley выложит, когда облако прочухается
источник
13:19пожаловаться#12

Г

Гриша in fprog_spb
Супер, спасибо)
источник
13:20пожаловаться#13

JS

Jerzy Syrowiecki in fprog_spb
Yuuri
https://docs.google.com/presentation/d/1F93fzFeMXrVn4R0BTyBpmRHhMKgGMuf36P7x3-CcUTM/edit?usp=sharing тут 20 слайд
Google Docs
OCaml для хаскелиста #1
OCaml для хаскелиста ... часть 1
но это же на Хаскель один-в-один переписывается, если пожертвовать открытостью, которая непонятно к чему
источник
13:29пожаловаться#14

JS

Jerzy Syrowiecki in fprog_spb
Yuuri
Спасибо, но это не та задачка. Та была – «как организовать ADT для инструкций (statements) императивного языка – «объявление переменной», «присваивание», «вызов выражения», «цикл for» и т. д. – чтобы в первом «слоте» заголовка for можно было только объявление или присвоение, во втором – присвоение или выражение, в третьем – только выражение».
а про AST на FT не вы спрашивали?
источник
13:30пожаловаться#15

Y

Yuuri in fprog_spb
Ну мне те, кто смотрел презентацию, стали предлагать FT, я – ок, тогда как это на FT сделать?
источник
13:31пожаловаться#16

MK

Maxim Koltsov in fprog_spb
В статьях Олега есть глубокий ПМ на фт, но это упорото
источник
13:31пожаловаться#17

Y

Yuuri in fprog_spb
> если пожертвовать открытостью, которая непонятно к чему
Ради плоской структуры, переиспользования и упрощения паттерн-матчинга
источник
13:31пожаловаться#18

AT

Anton Trunov in fprog_spb
Вся дискуссия потенциально может быть переведена в серию иллюстрирующих докладов, кстати
источник
13:33пожаловаться#19

JS

Jerzy Syrowiecki in fprog_spb
Yuuri
> если пожертвовать открытостью, которая непонятно к чему
Ради плоской структуры, переиспользования и упрощения паттерн-матчинга
не вижу, как это что-то упростит. чуть-чуть упрощает отладку может быть, но не принципиально. здесь же не используется открытость для пользователя, а только для себя, а наружу типы всё равно закрытые. или я неправильно понял?
источник
13:34пожаловаться#20