Size: a a a

2021 January 02

к

кана in Haskell
то есть в языке выражений есть какие-то биндеры? (лямбды то есть в нашем случае, или интегралы, суммы, ...)
источник

DB

Danil Berestov in Haskell
Да, есть
источник

к

кана in Haskell
блин, тогда пока что слишком не ясно, без конкретного AST ничего не понятно
источник

к

кана in Haskell
a + b

вот это валидное выражение?
источник

DB

Danil Berestov in Haskell
источник

DB

Danil Berestov in Haskell
Вот AST выражения
источник

DB

Danil Berestov in Haskell
источник

DB

Danil Berestov in Haskell
Вот стейтмента
источник

к

кана in Haskell
а лямбд же нет
источник

DB

Danil Berestov in Haskell
DefFun
источник

к

кана in Haskell
это не лямбда, ей нечего замыкать, она видит только другие топлевел значения и аргументы
источник

DB

Danil Berestov in Haskell
ща сек
источник

DB

Danil Berestov in Haskell
огда компилим функию, помечаем те переменные, которые указаны 3м аргументов в DefFun связанными
источник

к

кана in Haskell
да, аргументы, определение функции биндит их
источник

DB

Danil Berestov in Haskell
вот
источник

к

кана in Haskell
значит ты хочешь скомпилировать DefFun, чтобы получилась хаскельная функция, верно я понял?
источник

DB

Danil Berestov in Haskell
да
источник

к

кана in Haskell
в этом случае мне кажется все очень просто
источник

DB

Danil Berestov in Haskell
расскажи
источник

к

кана in Haskell
у тебя есть список имен [a, b, c], список значений [1, 2, 3], проще всего сделать мапку и все
источник