я на улице, если будет афтепати - я за

тут есть место неподалеку, паб

Спускаемся

Спасибо Biocad-у за предоставленную аудиторию!)

спасибо биокаду!

Зря качество похуже сделал:) если блюрей мой фотик снимает неограниченное время, то мп4 останавливает через 23 минуты :) ладно. К середине второго доклада фотик стал мигать диодом, мол батарея села. Я стал снимать на телефон, а там через несколько минут память кончилась :)

Ссылка на видос: https://www.youtube.com/watch?v=DK_iLg2Ekwk

Интересная работа. Но, на мой взгляд, имело смысл явно указать, что изложение ведется в контексте статической типизации. Сопоставление с образцом в динамических языках — совсем другая, обширная тема.

Можете накидать ссылок?

Тут нужен бы еще один доклад. Начиная со Snobol, Refal и Prolog и заканчивая Mathematica, Stratego, Erlang, Pure, PLT Redex(Racket) и прочими. Мне кажется, особенно Вас могут заинтересовать работы по переносу мощных динамических систем переписывания в тот же Haskell. За последние годы было несколько подобных попыток перенести Stratego в Haskell, не слишком удачных. Но вот совсем свежая работа, на мой взгляд, очень любопытная, поскольку они абстрагируют само понятие терма: https://svenkeidel.de/papers/program-trans-analysis.pdf

Спасибо биокаду, докладчикам и @heyley !

Что-то это плохо читается, если Stratego,  Rascal  and  Maude в глаза не видел. Слова по отдельности понятны, но вместе звучат странно

Stratego это примерно то, куда двигался автор работы First Class Patterns. То есть шаблоны первого класса, комбинаторы. А еще программируемые стратегии, локальный откат и так далее. Вот еще взгляд на Stratego из другого лагеря: https://userpages.uni-koblenz.de/~laemmel/isabelle2/paper.pdf

как-то так получилось
https://youtu.be/HqnhqNMLPus

а в прошлый раз фоткал чот https://vk.com/album52629142_267931871

О, про никс послушаю!

Спасибо!

А там сеанса вопросов не было или они не попали в видео?