Je rencontre peu de succès avec la plomberie de base des types impliqués dans le package ad. Par exemple, les éléments suivants fonctionne parfaitement: import Numeric.AD
ex :: Num a => [a] -> a
ex
Je peux écrire ce qui suit: {-# LANGUAGE RankNTypes #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE ConstraintKinds #-}
f :: Integral a => (forall b. Num
Je travaille sur un foncteur applicatif qui contient un monoïde pour "visualiser" l'exécution. Cependant, parfois je ne me soucie pas du tout de cette partie, donc le choix du monoïde n'est pas pertin
J'ai cherché Hackage et je n'ai pas pu trouver quelque chose comme ce qui suit, mais il semble être assez simple et utile. Y a-t-il une bibliothèque qui contient une sorte de type de données? data HLi