JS
эта диаграмма коммутирует
Size: a a a
2021 March 20
KV
Ну писать парсеры значит составлять их из примитивов. Тут примитивы призмовые
ЗП
G
Кто-то знает, как сделать, чтобы в godbolt вывод main печатался?
G
Для остальных яп работает
D
Кто-то знает, как сделать, чтобы в godbolt вывод main печатался?
main = putStrLn “hello world”
не печатает?
не печатает?
G
main = putStrLn “hello world”
не печатает?
не печатает?
Нет, только exit code компилятора
G
"Run the compiled output" отмечено
AP
Там два видео назад он делал интро:
https://hackage.haskell.org/package/ghc-vis
Оно три года не развивалось, так что не уверен что большая польза может быть. По первому видео были смешанные чувства: для обучения, возможно, а для того, чтобы реально чего-то улучшать — сомнительно. Рад ошибиться.
https://hackage.haskell.org/package/ghc-vis
Оно три года не развивалось, так что не уверен что большая польза может быть. По первому видео были смешанные чувства: для обучения, возможно, а для того, чтобы реально чего-то улучшать — сомнительно. Рад ошибиться.
2021 March 21
OS
как бы вы переписали g4 с использованием -XTypeApplications?
```
f :: forall m s k v. (MArray s v m) => m v
f = undefined
g1 = f :: IO (IOUArray Int Bool)
g2 = f @IO @IOUArray @Int @Bool
g3 = f :: ST s (STUArray s Int Bool) s
g4 = f @(ST s) @(STUArray s) Int @Bool
-- ^ Not in scope: type variable 's'
```
f :: forall m s k v. (MArray s v m) => m v
f = undefined
g1 = f :: IO (IOUArray Int Bool)
g2 = f @IO @IOUArray @Int @Bool
g3 = f :: ST s (STUArray s Int Bool) s
g4 = f @(ST s) @(STUArray s) Int @Bool
-- ^ Not in scope: type variable 's'
```ЗП
g4 = f @(ST _) @(STUArray _) Int @BoolZ(
Кто-то знает, как сделать, чтобы в godbolt вывод main печатался?
Нужно из окна компилятора создать новое окно "запуск программы"
OS
благодарю
JS
но тут по идее и тайпаппликейшен не нужен, просто типы неверные
f это функция, а g4 нет, а ты их пытаешься унифицировать
f это функция, а g4 нет, а ты их пытаешься унифицировать
погоди-ка, f не функция
ЗП
так, стоит вникать в sop?