🌀 scrumia-functional-programming

Ce dont il est responsable

Six refus qui façonnent un code base autour du paradigme de la programmation fonctionnelle sans nommer la syntaxe d'un langage. Une impureté glissée au-delà d'une frontière non nommée est refusée ; une fonction partielle dont la signature accepte une entrée pour laquelle elle ne peut pas produire de sortie est refusée ; une expression dont la valeur dépend de quelque chose que sa forme syntaxique ne nomme pas (une violation de transparence référentielle) est refusée ; la mutation par défaut là où une valeur immuable aurait lu pareil et écrit moins est refusée ; l'héritage comme mécanisme principal de réutilisation là où la composition aurait été le choix plus petit et plus local est refusé ; les effets décrits au moment où ils s'exécutent plutôt que comme valeurs que le programme compose avant l'exécution sont refusés. Livre une compétence de référence scrumia-functional-programming et une vérification de vocabulaire qui garantit que les fragments de règles restent agnostiques du langage.

Ce qu'il refuse

Une impureté glissée au-delà d'une frontière sans nom. Une fonction partielle dont la signature accepte une entrée pour laquelle elle ne peut pas produire de sortie. Une expression non substituable dont la valeur dépend de quelque chose que sa forme syntaxique ne nomme pas. Une mutation qui s'impose par défaut là où une valeur immuable aurait lu pareil et écrit moins. Une relation d'héritage saisie là où la composition aurait été le choix plus petit et plus local. Des effets décrits au moment où ils s'exécutent plutôt que comme valeurs que le programme compose avant l'exécution. Un fragment de règle qui ne peut s'énoncer que dans les termes d'un langage — c'est une règle mal placée et elle appartient au module de ce langage.

L'hypothèse qu'il fait

Présume que le paradigme de la programmation fonctionnelle est une discipline dont la formulation tient à travers les piles — Kotlin, JavaScript, Rust, Scala, F#, Haskell et Swift — et tout langage qui les supporte. Les langages cités ne sont pas exhaustifs ; le principe est à l'échelle du paradigme. Coûte la friction d'une vérification de vocabulaire sur chaque fragment de règle ; le rend en un paradigme dont les règles livrent avec la même formulation quel que soit le langage dans lequel un projet est écrit.

Ses compétences

• scrumia-functional-programming

Étiquettes

• scrumia
• paradigm
• functional-programming
• language-neutral

Ce à quoi il se branche

L'installer

Lire le source sur GitHub