Messages de rydgel87

Le 06 novembre 2022 à 18:23:18 :
Explique ce que c'est une monad.

Une monade est juste un monoïde dans la catégorie des endofoncteurs.

Le 06 novembre 2022 à 18:21:35 :

Le 06 novembre 2022 à 18:18:57 rydgel87 a écrit :

Le 06 novembre 2022 à 18:01:27 :

Le 06 novembre 2022 à 17:59:42 rydgel87 a écrit :

Le 06 novembre 2022 à 17:56:59 :

Le 06 novembre 2022 à 17:56:12 rydgel87 a écrit :
Que penses-tu de Idris ?

je connais de nom mais ça s'arrête là, t'en penses quoi toi?https://image.noelshack.com/fichiers/2022/24/6/1655577587-ahi-triangle-clopent.png

Je trouve que le type system est encore plus puissant qu'Haskell, c'est pas mal.

le type system a quoi de plus? après haskell a la lazy evaluation c'est quand même pas mal même si ça a ses quelques problèmeshttps://image.noelshack.com/fichiers/2022/24/6/1655577587-ahi-triangle-clopent.png

Genre les "dependent types", qui permet de coder dans les types directement par exemple :

append : Vect n a -> Vect m a -> Vect (n + m) a

append Nil       ys = ys

append (x :: xs) ys = x :: append xs ys

Le vector de sortie doit impérativement avoir une taille n + m ou sinon error de compilation

je vois, c'est vrai qu'il manque des trucs comme ça, j'irais bien check le langage mais ça doit être encore plus niche que le Hhttps://image.noelshack.com/fichiers/2022/24/6/1655577587-ahi-triangle-clopent.png

C'est clairement très niche, comme agda et coq etc. Mais c'est intéressant.

Le 06 novembre 2022 à 18:21:28 :

Le 06 novembre 2022 à 18:14:12 :

Le 06 novembre 2022 à 18:13:19 CyberSurfeur23 a écrit :
Multiplication matricielle stp.

trivial au sens propre (aucun intérêt)https://image.noelshack.com/fichiers/2022/24/6/1655577587-ahi-triangle-clopent.png

C'est une blague ou Haskell est vraiment incapable de faire l'opération utilisé par toute les simulations en physique, calculs en infographie, encodage/décodage multimédia etc ?

Il est capable de tout, j'ai fait un clone de flappy bird avec

Le 06 novembre 2022 à 18:01:27 :

Le 06 novembre 2022 à 17:59:42 rydgel87 a écrit :

Le 06 novembre 2022 à 17:56:59 :

Le 06 novembre 2022 à 17:56:12 rydgel87 a écrit :
Que penses-tu de Idris ?

je connais de nom mais ça s'arrête là, t'en penses quoi toi?https://image.noelshack.com/fichiers/2022/24/6/1655577587-ahi-triangle-clopent.png

Je trouve que le type system est encore plus puissant qu'Haskell, c'est pas mal.

le type system a quoi de plus? après haskell a la lazy evaluation c'est quand même pas mal même si ça a ses quelques problèmeshttps://image.noelshack.com/fichiers/2022/24/6/1655577587-ahi-triangle-clopent.png

Genre les "dependent types", qui permet de coder dans les types directement par exemple :

append : Vect n a -> Vect m a -> Vect (n + m) a

append Nil       ys = ys

append (x :: xs) ys = x :: append xs ys

Le vector de sortie doit impérativement avoir une taille n + m ou sinon error de compilation

Le 06 novembre 2022 à 17:56:59 :

Le 06 novembre 2022 à 17:56:12 rydgel87 a écrit :
Que penses-tu de Idris ?

je connais de nom mais ça s'arrête là, t'en penses quoi toi?https://image.noelshack.com/fichiers/2022/24/6/1655577587-ahi-triangle-clopent.png

Je trouve que le type system est encore plus puissant qu'Haskell, c'est pas mal.