Je suis INCOLLABLE en HASKELL

Le 06 novembre 2022 à 17:53:00 GolemEsclave a écrit :

Le 06 novembre 2022 à 17:51:37 :

Le 06 novembre 2022 à 17:51:08 GolemEsclave a écrit :

Le 06 novembre 2022 à 17:50:06 :

Le 06 novembre 2022 à 17:49:40 GolemEsclave a écrit :

Le 06 novembre 2022 à 17:48:18 :

Le 06 novembre 2022 à 17:47:40 GolemEsclave a écrit :

Le 06 novembre 2022 à 17:46:35 :

Le 06 novembre 2022 à 17:46:02 GolemEsclave a écrit :
C'est quoi Haskell ?

indiscutablement le meilleur langage (le net plus ultra des langages)

Ok si tu le dis, je m'y connais pas en informatique, un pc pour moi c'est pour me branler et télécharger

ça t'intéresse pas de comprendre par quels mécanismes tu peux te branler?

Est ce que ça améliorerait la sensation pendant la branlette ?

j'en doute un peu

Ba alors non deso clé

sinon moi je peux te branler si tu veux

euh

0 mpieds dans la boite a mpieds en dépit

concrètement le fonctionnel c'est utilisé dans quelle industrie / domaine ?

Ou alors tu es un puriste qui a appris le langage pour son élégance ?

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?

Le 06 novembre 2022 à 17:56:24 Sartre_ma_tuer a écrit :
concrètement le fonctionnel c'est utilisé dans quelle industrie / domaine ?

Ou alors tu es un puriste qui a appris le langage pour son élégance ?

j'ai appris parce que je me faisais chier, je crois pas que ça soit utilisé dans des industries spécialisées, c'est un peu un langage de niche pour mieux faire la même chose que les autres normies

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?

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

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?

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èmes

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

trivial au sens propre (aucun intérêt)

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?

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èmes

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 à 18:14:12 :

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

trivial au sens propre (aucun intérêt)

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 ?

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?

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èmes

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 H

Le 06 novembre 2022 à 18:21:28 CyberSurfeur23 a écrit :

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)

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 ?

tu le fais exprès? c'est sans intérêt parce que c'est exactement les mêmes algos que dans les autres langages. j'ai demandé à être collé sur haskell pas un TP de L1

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)

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: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?

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èmes

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 H

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