DM
всем спасибо!
Size: a a a
2021 June 07
к
зато стрелки можно комбинировать, а :- вроде как нет, типа
a Dict Dict = Dict
b :: (Dict A, Dict B) -> Dict C
b (Dict, Dict) = Dict
c :: Dict (A, B) -> Dict C
c Dict = Dict
d :: (A, B) => Dict C
d = Dict
e :: A => B => Dict C
e = Dict
class A; class B; class C
instance (A, B) => C
a :: Dict A -> Dict B -> Dict Ca Dict Dict = Dict
b :: (Dict A, Dict B) -> Dict C
b (Dict, Dict) = Dict
c :: Dict (A, B) -> Dict C
c Dict = Dict
d :: (A, B) => Dict C
d = Dict
e :: A => B => Dict C
e = Dict
JS
доверяй только компилятору
ГК
у кого-нибудь есть рабочий докер файл для сборки/запуска haskell проектов через стек, чтобы зависимости от всяких *.so файлов корректно указывались?
DM
в который раз в этом убеждаюсь)
JS
у самих авторов stack есть https://hub.docker.com/r/fpco/stack-build/
ГК
да, я его и использую https://github.com/GregoryGhost/haskell-ci/blob/master/Dockerfile, но при docker-compose up, жалуется, что нету нужных *.so файлов
ГК
что я делаю не так?
[
Делал quicksort в монаде ST, можете оценить код? Я постарался сделать его читабельным, но есть мнение, что читаемость ничего не спасёт :(
https://pastebin.com/wEFsKnTh
https://pastebin.com/wEFsKnTh
[
просто без операторов начинает расползаться сильно
[
к тому же while почти дублируется, а если начинать обобщать, то сильно страдает читаемость
[
это я уже проходил :(
JS
зависит от того, каких именно .so не хватает
ГК
изначально нехватало libgmp.so, теперь пишет вот такое(
ГК
куда копать?
JS
это при сборке или запуске? как я понял, версия glibc в alpine урезанная, в ней нет таких специфических функций
ГК
это при запуске