/a/ – Arbitraire

[Revenir]
Posting mode: Reply
Courriel
Sujet   (reply to 61289)
Message
Fichier
Vidéo   Help
Mot de passe  (pour supprimer le message ou le fichier)
  • Types de fichiers autorisés: GIF, JPG, PNG
  • La taille des images est limitée à 8192 Ko.
  • Les images supérieures à 250x250 pixels seront réduites.
  • 1252 utilisateurs uniques. Voir le catalogue

/a/ - Typage statique ou dynamique ? ...
Fichier 154429436368.jpg - (110.89KB , 500x500 , yumi_fukuzawa_question_mark.jpg )
61289 61289
Typage statique ou dynamique ?
Agrandir toutes les images
>> 61293
Fichier 154430683893.jpg - (25.07KB , 641x530 , glas.jpg )
61293
Graduel: https://docs.racket-lang.org/ts-guide/
>> 61296
Statique, le chameau vaincra.
>> 61297
Vim.
>> 61298
Fichier 154430819239.jpg - (524.35KB , 1280x883 , 099911-kabylie-kabyles.jpg )
61298
>>61296
Franchement, j'aime bien OCaml mais son esthetique est immonde.


>let let let let let let in in in in in in in in in in in in in ARGH

Et les programmeurs OCaml partagent tous cette idiosyncracie étrange: soit leur code est verbeux et pénible à lire, soit il est cryptique et pénible à comprendre.

Exemple: la sage ppx_* -> je ne sais toujours pas ce que "ppx" est supposé dire.

Peut-être que Reason pourra résoudre ce pb...
>> 61299
>>61296
Si seulement les chameaux étaient parallèles.
https://github.com/ocamllabs/ocaml-multicore/...
>> 61308
Bon les chameliers, vous conseillez quoi si je veux apprendre OCaml et que je sais déjà programmer avec des langages fonctionnels typés dynamiquement ?
>> 61311
>>61308
Je te conseille d'aller dans une université, vu que l'OCaml n'existe que ans les universités. Les universités produisent de l'OCaml publié sous license CeCILL. Avent cela, elles produisant du Pascal.
>> 61312
>>61311
Ah oui, Facebook, Airbus, Mozilla et le premier compilateur rust, la fondation Haxe, les banques, et j'en passe, ces fameuses universités.
>> 61316
>>61312
Le langage de programmation le plus puissant est Lisp. Si tu ne connais pas Lisp (ou sa variante, Scheme), tu ne sais pas ce que c'est qu'un langage puissant et élégant. Une fois que tu as appris Lisp, tu vois ce qui manque chez la plupart des autres langages.
Contrairement à la plupart des langages actuels, qui s'attachent à définir des types de données spécialisés, Lisp offre un petit nombre de types qui sont généraux. Plutôt que de définir des types spécifiques, on construit des structures à partir de ces types. Ainsi, au lieu d'offrir une façon de définir un type liste-de-ceci et un type liste-de-cela, Lisp a un type de liste qui peut contenir n'importe quel sorte de données.
Là où d'autres langages permettent de définir une fonction pour chercher une liste-de-ceci, et parfois une façon de définir une fonction générique de recherche de liste que tu peux instancier pour liste-de-ceci, Lisp rend ça facile d'écrire une fonction qui va chercher dans n'importe quelle liste, et fournit un ensemble de telles fonctions.
En plus, les fonctions et expressions en Lisp sont représentées comme des données d'une façon qui rend facile d'opérer dessus.
>> 61318
>>61316
Pour être franc, il faut avoir un très haut QI pour comprendre Lisp. La syntaxe est extrêmement subtile, et sans une bonne compréhension du lambda calcul, la plupart des fonctions passeront au-dessus de la tête du programmeur typique. Il y a aussi l'approche récursive de Lisp, qui est habilement tissée dans sa conception, sa philosophie s'inspire grandement de la littérature d'IPL, par exemple. Les mecs qui programment en Lisp comprennent ces trucs; ils ont la capacité intellectuelle pour vraiment comprendre la profondeur de ce langage, pour réaliser qu’il n’est pas juste sympa à utiliser- il montre quelque chose de profond à propos de la VIE. En conséquence les gens qui n'aiment pas Lisp sont VRAIMENT idiots- bien sûr ils n'apprécieraient pas, par exemple, l'humour typique des programmeurs en Lisp, incluant des classiques comme "C’est fou ce que j’aime les parenthèses", qui en soi est une référence cryptique au caractère typographique inventé par Desiderius Erasmus. Je souris en ce moment même rien qu'en imaginant l'un de ces niais écervelés se gratter la tête dans la confusion pendant que le compilateur Lisp vomit des lignes d’erreurs sur leurs écrans. Quels imbéciles.. j'ai pitié pour eux.

Et oui, au fait, j'ai bel et bien un tatouage Lisp. Et non, vous ne pourrez pas le voir. C'est juste pour les yeux des femmes- et même là elles doivent démontrer qu'elles ont autour de 5 points de mon QI (de préférence plus bas) avant. Rien de personnel, petit
>> 61322
>>61318
Les 7-10 dernières années de ma carrière, j'ai travaillé, principalement en tant que consultant indépendant mais aussi parfois comme employé, dans différents pays européens et dans des équipes de taille variée. J'ai systématiquement été le meilleur développeur dans chaque équipe où j'ai été — je suis plus productif par un facteur de 10-20 comparé à mes collègues, et mon code est en général plus propre et plus maintenable. J'ai à moi seul renversé la vapeur dans des projets qui allaient échouer, je suis en général respecté par les collègues et je suis la "personne-ressource" pour les questions d'implémentation et de conception. Je suis ce qu'on appelle un programmeur "10x".
>> 61325
>>61322
Un programmeur 10x bien endurent a sa ses sure.
>> 61326
>>61308
Peut-être Real World Ocaml pour le côté pratique ?
V1 : https://v1.realworldocaml.org/v1/en/html/index.html
(nouvelle version en développement : https://dev.realworldocaml.org/toc.html )

Il y a aussi un MOOC mais je ne l'ai pas fait donc je ne sais pas s'il est bien :
https://www.fun-mooc.fr/courses/parisdiderot/...
>> 61328
>>61326
Super merci, j'avais pas vu que Real World OCaml était lisible gratuitement et qu'il était en cours de mise à jour !
>> 61338
>>61312
Aucune mention de Tezos, sadface.
>> 61340
>>61326
La v1 est nulle, pas d'avis sur la v2.
>> 61342
>>61338
>Tezos is a new decentralized blockchain that governs itself by establishing a true digital commonwealth. It facilitates formal verification, a technique which mathematically proves the correctness of the code governing transactions and boosts the security of the most sensitive or financially weighted smart contracts.
Dans quel pump-and-dump t'es encore allé te fourrer ânon...
>> 61397
>>61342
C'est tip-top.
>> 62147
SMAAAAAALLTAAAAAALK VAINCRA !


 
Raison