Je suis un grand fan de Stephen Wolfram, mais il ne fait aucun doute qu’il n’a pas peur de chanter son propre cor. Dans de nombreuses références, il exalte Mathematica comme un paradigme de programmation symbolique différent. Je ne suis pas un utilisateur Mathematica. Mes questions sont: quelle est cette programmation symbolique? Et comment se […]
la coalescence nulle traduit à peu près le return x, unless it is null, in which case return y J’ai souvent besoin de return null if x is null, otherwise return xy Je peux utiliser return x == null ? null : xy; return x == null ? null : xy; Pas mal, mais cette […]
Cela fait un moment que je réfléchis aux fichiers de configuration et à leur relation au code et, selon le jour et la direction du vent, mes opinions semblent changer. De plus en plus, je reviens toujours à la réalisation que j’avais tout en apprenant Lisp: il y a peu de différence entre les données […]
En tant que premier langage de programmation, j’ai décidé d’apprendre Haskell. Je suis une philosophie analytique majeure et Haskell m’a permis de créer rapidement et correctement des programmes intéressants, par exemple des transducteurs pour l’parsing du langage naturel, des démonstrateurs de théorèmes et des interprètes. Bien que je ne sois programmé que depuis deux mois […]
Dans divers articles que j’ai lus, il existe parfois des références à des types de données primitifs et parfois des références à des scalaires. Ma compréhension de chacun est que ce sont des types de données de quelque chose de simple comme un int, un booléen, un caractère, etc. Y a-t-il quelque chose qui me […]
Une variante Lisp complète, typée statiquement, est-elle possible? Est-il même logique que quelque chose comme ça existe? Je crois que l’une des vertus d’un langage Lisp est la simplicité de sa définition. Le typage statique compromettrait-il ce principe fondamental?
Quel serait le meilleur moyen de détecter quel langage de programmation est utilisé dans un extrait de code?
Les types de méthodes dépendantes, qui étaient auparavant une fonctionnalité expérimentale, ont maintenant été activés par défaut dans le tronc , et cela semble avoir créé une certaine effervescence dans la communauté Scala. Au premier abord, il n’est pas évident à quoi cela pourrait être utile. Heiko Seeberger a publié ici un exemple simple de […]
Cela est arrivé au bureau aujourd’hui. Je n’ai pas l’intention de faire une telle chose, mais théoriquement pourriez-vous écrire un compilateur en SQL? À première vue, cela me semble complet, mais extrêmement lourd pour de nombreuses classes de problèmes. Si ce n’est pas le cas, que faudrait-il pour le devenir? Note: Je n’ai aucune envie […]
Je continue à entendre ce terme jeté dans plusieurs contextes différents. Qu’Est-ce que c’est?