Что такое лямбда-исчисление? Душкин объяснит

Как представить комбинаторную логику в виде формальной системы? Душкин объяснитSee more

Что такое комбинатор неподвижной точки? Душкин объяснитSee more

Как провести систематическое конструирование комбинаторов? Душкин объяснитSee more

Как представить комбинаторами числа и что такое нумералы Чёрча? Душкин объяснитSee more

Двойственность в математике. Душкин объяснитSee more

Что такое рекурсивные функции? Душкин объяснитSee more

И всё же, как определить декремент на комбинаторах? Душкин объяснитSee more

Что такое ленивые (отложенные) вычисления? Душкин объяснитSee more

Зоопарк вычислительных моделей. Душкин объяснитSee more

Как устроен вывод типов Хиндли-Милнера? Душкин объяснитSee more

Как определить экземпляры изоморфных типов? Душкин объяснитSee more

Как устроены замыкания в языке Haskell? Душкин объяснитSee more

Что такое комбинаторная логика? Душкин объяснитSee more

Автоматическое построение экземпляров АТД в Haskell. Душкин объяснитSee more

Что такое экземпляры классов в Haskell? Душкин объяснитSee more