Телеграмм чат группы compilerdev страница 2089

И/или посмотреть статьи про Koka из MSR.

Точняк, хорошая идея, спасибо

11:49пожаловаться #1

Там чё-то недавно релизили какие-то мощные обновления как результат безумной синергии с командой Lean. 😃

11:49пожаловаться #2

Tim Plotnikov

Я почти уверен что должны быть какие-то papers которые может прочитать не-phd 😄

Нет таких — кто и зачем бы их писал???

11:50пожаловаться #3

Но на самом деле не-PhD никто статьи читать не запрещает. 🤷‍♀️

Victor Shamparov in Compiler Development

11:50пожаловаться #4

Но на самом деле не-PhD никто статьи читать не запрещает. 🤷‍♀️

И даже поощряют... чтобы делать уже свою PhD:)

11:51пожаловаться #5

Kakadu in Compiler Development

Ну, в понедельник https://kcsrk.info/papers/drafts/retro-concurrency.pdf будут пересказывать.
Там есть про реализацию

Iaroslav Postovalov in Compiler Development

11:53пожаловаться #6

Но на самом деле не-PhD никто статьи читать не запрещает. 🤷‍♀️

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

https://overreacted.io/algebraic-effects-for-the-rest-of-us/

11:53пожаловаться #7

Pavel in Compiler Development

Tim Plotnikov

Народ, привет!
Кто-нибудь может посоветовать что почитать про Algebraic Effects? Интересно как их делают в самом простейшем случае?

overreacted.io

Algebraic Effects for the Rest of Us

They’re not burritos.

11:54пожаловаться #8

Iaroslav Postovalov

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

Это немного ортогональный вопрос...

https://github.com/nessos/Eff

11:54пожаловаться #9

Pavel in Compiler Development

Tim Plotnikov

GitHub

nessos/Eff

A library design for programming with effects and handlers in C# - nessos/Eff

https://github.com/nessos/Eff

11:54пожаловаться #10

Tim Plotnikov in Compiler Development

Pavel

GitHub

nessos/Eff

A library design for programming with effects and handlers in C# - nessos/Eff

Спасибо

11:55пожаловаться #11

https://github.com/nessos/Eff

Pavel

GitHub

nessos/Eff

A library design for programming with effects and handlers in C# - nessos/Eff

One-shot/multi-shot?

Iaroslav Postovalov in Compiler Development

11:55пожаловаться #12

Это немного ортогональный вопрос...

с наличием докторской это коррелирует

Роман Соловьев... in Compiler Development

11:55пожаловаться #13

РС

Объясните, пожалуйста, связь таблицы предиктивного анализа и AST

Лаборатория языковых инструментов JB Research

11:57пожаловаться #14

Kakadu in Compiler Development

Kakadu

Ну, в понедельник https://kcsrk.info/papers/drafts/retro-concurrency.pdf будут пересказывать.
Там есть про реализацию

Если что, анонс будет на неделе тут
https://vk.com/pltlab

Лаборатория языковых инструментов учреждена совместно компанией JetBrains и кафедрой системного программирования математико-механического факультета СПбГУ с целью проведения научных исследований в области языков программирования и языковых процессоров. В ней реализуются тематические проекты, открывающие..

11:59пожаловаться #15

Pavel in Compiler Development

One-shot/multi-shot?

11:59пожаловаться #16

Hirrolot in Compiler Development

Тогда, наверное, логично реализации почитать? Есть несколько на Haskell и как минимум одна на C.

На Си чёрт ногу сломит)

11:59пожаловаться #17

Hirrolot in Compiler Development

Я пробовал читать это..

12:00пожаловаться #18

Pavel

Какой вариант там реализован? One-shot или multi-shot? Или как их называют? Reentrant?

12:00пожаловаться #19

Hirrolot

На Си чёрт ногу сломит)

А когда было по-другому? 😂