к
Тайпчекинг будет, а вот лямбд не будет
все будет, просто лямбды тоже будут на edsl
Size: a a a
2020 December 01
VD
и не надо думаю
Ладно 🤔
к
и могут сразу в топлевел функции генерироваться даже
к
а могут и не генерироваться
к
Там тайпчекинга и тд нормального не будет
data Expr t where
IntVal :: Int -> Expr Int
Plus :: Expr Int -> Expr Int -> Expr Int
IntVal :: Int -> Expr Int
Plus :: Expr Int -> Expr Int -> Expr Int
к
вот и тайпчекинг
KV
Гадтство
Одни проблемы от него
Одни проблемы от него
VD
data Expr t where
IntVal :: Int -> Expr Int
Plus :: Expr Int -> Expr Int -> Expr Int
IntVal :: Int -> Expr Int
Plus :: Expr Int -> Expr Int -> Expr Int
Интересно как будет выглядит вот это вот для какого-нибудь destructuring assignment
VD
Да вложенное, да с переименованиями.
к
ужасно будет выглядеть, но сделать более чем реально
к
сделать монаду чисто для паттернов
VD
Но все равно имхо звучит как тролейбус из буханки, если можно просто заставить конпелятор нагенерить жса из хаскела
к
ну написать edsl может плюс минус каждый, а заставить компилятор что-то генерировать это нужно в ghc разбираться
VD
Но edsl спасёт только для всякой относительно простой штуки. Да и имхо будет проще написать это сразу в виде жсного скрипта с поддержкой родного тулинга жса, чем мучиться с прикручиванием тайпчека к своиму дслю
AA
Но все равно имхо звучит как тролейбус из буханки, если можно просто заставить конпелятор нагенерить жса из хаскела
жса дофига получится, такое не все любят
к
Но edsl спасёт только для всякой относительно простой штуки. Да и имхо будет проще написать это сразу в виде жсного скрипта с поддержкой родного тулинга жса, чем мучиться с прикручиванием тайпчека к своиму дслю
так и не нужно же напрямую на edsl писать
к
можно сделать свой реакт-edsl поверх этого edsl
к
и будет даже почти незаметно
VD
можно сделать свой реакт-edsl поверх этого edsl
Гм, "любую проблему можно решить еще одним слоем абстракции"? 🤔