ICFP 2020 — двадцать пятая конференция под эгидой ACM SIGPLAN. В этом году конференция будет проводиться онлайн, и все события, проходящие в её рамках, будут онлайн.

Соревнование ICFP по программированию будет проводиться с 17 июля по 20 июля 2020 года (то есть, уже через два дня).

Сама конференция будет проходить с 24 по 26 августа 2020, и укладываться в два тайм-слота. Первый слот будет проходить с 9:00 до 17:30 по времени Нью-Йорка, и будет включать как технические, так и социальные мероприятия. Второй тайм-слот будет проходить с 9:00 до 17:30 по Пекинскому времени, на следующий день, и будет с незначительными вариациями повторять содержимое предыдущего дня, включая технические и социальные мероприятия.

Немного теории

yell file line = fail ($(printf "Error in file %s line %d") file line)

yell file line = fail ((\x1 x2 -> "Error in file "++x1++" line "++show x2) file line)

data T = A Int String | B Integer | C
$(deriveShow ''T)

data T = A Int String | B Integer | C
instance Show T
    show (A x1 x2) = "A "++show x1++" "++show x2
    show (B x1)    = "B "++show x1
    show C         = "C"

1. Как Haskell-код представляется в шаблонах (TH-функциях)
2. Как монада цитирования используется для унификации имён
3. Как сгенерированный TH-код вставляется в программу

• Часть 1. Необходимый минимум
• Часть 3. Прочие аспекты TH

Монада цитирования

Цитирующие скобки

• Часть 1. Необходимый минимум
• Часть 2. Инструменты цитирования кода

Материализация

$(optimize [d| fib = … |])

fib = $(optimize [| … |])

Облегчённое цитирование имён

f ∷ Exp → Exp
f (App (Var m) e) |  m == 'map  =  …

• 'Foo означает “конструктор данных Foo в контексте выражения”
• 'foo означает “имя foo в контексте выражения”
• ''Foo означает “конструктор типа Foo в контексте типов”
• ''foo означает “переменная типа foo в контексте типов”

• Принцип «Разделяй и властвуй»
• Работа с бесконеными потоками