14
Zacząłem uczyć się o Constraint programming i uważam, że jest to coś, co dobrze by działało z Haskellem (również lubię używać Haskella).Czy ktoś może sugerować dobrą bibliotekę więzów dla Haskella?
Czy istnieją jakieś dojrzałe ramy ograniczające dla Haskell?
Istnieje również [wdrożenie Haskella w zasadach obsługi wiązań] (https://www.comp.nus.edu.sg/~gregory/haskellchr/) i kilku [rozwiązujących SMT] (https://www.google .com/search? q = haskell +% 22smt + solver% 22). –