Nan, mais ma question principales est un niveau plus haut… Je ne parle pas du système de types d'OCaml (maintenant que j'ai compris que le polymorphisme t'avais surpris). Quand tu passes "(id,-)", veux-tu dire que c'est un programme qui fait la soustraction? Tu n'as jamais écrit l'exemple que tu cherchais à écrire avec ta méthode…
Donc, considérant qu'avec mon DSL de base, si je veux faire "1+(1-2)" je dois écrire "(Add (Int 1) (Substract (Int 1) (Int 2)))", que dois-je écrire avec ton DSL?
(* faire une fonction qui évalue une expression en un entier, c'est facile !
* int -> a … on prend l'identité
* a -> a -> a … on prend (-)
*)
…
Attention, ce code ne fait pas ce que l'on veut.
Alors,
1. Pourquoi tu prends "-" ?
2. Si ça ne fait pas ce qu'on veut, c'était bien la peine de le présenter…
Pourquoi ne pas montrer ce que donnerait "eval (Mul (Add (Int 3) (Int 3)) (Add (Int 5) (Int 2)))" ou un truc du genre avec ta représentation ? On veut du concret !
Dans un langage comme Haskell, tu peux ne jamais écrire un bout de type, mais avoir une inférence qui te calcul le type tout seul et le vérifie à la compilation.
Ah ?
Pour avoir écrit du Haskell professionnellement, je dirais que je ne suis pas d'accord. En Haskell, quand tu commences à écrire du code un peu compliqué, tu dois écrire tes types bien souvent si tu veux que ça compile. En revanche, ce problème s'est beaucoup moins posé en OCaml…
Robert, Larousse, Bescherelle, mais aussi Grévisse sont mes amis. Cela étant, j'utilise souvent le CNRTL, mais pour les définitions, pas l'orthographe.
J'utilise aussi va te faire conjuguer.
Le but n'est pas de faire du shell correct, mais une analogie dans un langage qu'il connait.
L'utilisation de ''cat'' dans le deuxième exemple est volontaire, car c'est la fonction qui génère les données (l'anamorphisme, aka unfold)… Sinon, l'analogie de composition d'un producteur et d'un consommateur est perdue.
Non. Le map reduce applique une fonction F à tous les éléments d'une collection de données via map, et ensuite consolide les résultats ("reduce").
Le principe ici est de générer ta collection de données à la volée, pour pouvoir la consolider immédiatement. Donc tu n'as jamais toute la collection en mémoire.
Omettant le fait qu'on puisse écrire ''wc -c monFichier'', c'est la différence entre
LIGNES=`cat file`;
echo $LIGNES | wc -c
qui lit le fichier en entier avant de compter les caractères, et
cat file | wc -c
Quand tu codes dans un language avec un REPL, comme OCaml, Scheme, ou Common Lisp, tu prends très vite goût aux possibilités offertes par emacs comme tuareg ou slime. Y a bien slimv pour Common Lisp, mais c'est pas idéal. L'intégration pue.
Vim sait déjà lancer des commandes externes, c'est même l'une de ses plus grandes qualités
Non, c'est l'un des plus grands défauts de vim ; sa gestion des commandes externes est terriblement mauvaise.
Il y a une équipe de gens qui bosse sur neovim pour résoudre ce problème. J'utilise ça maintenant.
Non. qwerty/azerty a été conçu pour accélérer la vitesse de frappe tout en limitant le risque d'enrayer la machine.
C'était pas optimal pour la frappe d'une manière absolue, mais c'était optimal pour le matériel d'alors.
Va contacter l'assoce des anciens d'une fac, et va voire où se sont placé les docteurs qui sont allés dans l'industrie. Ils font certainement des choses sympas.
Il manque dans l'image quatre temps de l'indicatif (présent, imparfait, passé simple, et futur simple), deux du subjonctif (présent et imparfait), un du conditionnel (présent), un de l'impératif (présent), un de l'infinitif (passé), et les deux gérondifs.
Peut-être sont-ils présents dans le logiciel…
Qu'est-ce que ça fait ? Eh bien, ça va chercher le fichier ou dossier le plus récent du dossier en cours et nous le colle dans la ligne de commande en cours. Très pratique quand on passe son temps à enregistrer des fichiers et à oublier leur nom 10 secondes plus tard.
Je me doute bien que l'auteur de la dépêche a voulu faire un jeu de mots, mais « hiberner » est un verbe intransitif. Ça me fait mal de lire le titre de cette dépêche, et en plus, il n'a pas de sens.
De mémoire, il est mal codé : dès que t'as un peu trop d'articles, la génération prend beaucoup trop de temps (ça sent l'algo exponentiel ou au moins cubique…)
[^] # Re: C'est bien la peine !
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal EDSL et F-algèbres. Évalué à 3.
Nan, mais ma question principales est un niveau plus haut… Je ne parle pas du système de types d'OCaml (maintenant que j'ai compris que le polymorphisme t'avais surpris). Quand tu passes "(id,-)", veux-tu dire que c'est un programme qui fait la soustraction? Tu n'as jamais écrit l'exemple que tu cherchais à écrire avec ta méthode…
Donc, considérant qu'avec mon DSL de base, si je veux faire "1+(1-2)" je dois écrire "(Add (Int 1) (Substract (Int 1) (Int 2)))", que dois-je écrire avec ton DSL?
# C'est bien la peine !
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal EDSL et F-algèbres. Évalué à 3.
Alors,
1. Pourquoi tu prends "-" ?
2. Si ça ne fait pas ce qu'on veut, c'était bien la peine de le présenter…
Pourquoi ne pas montrer ce que donnerait "eval (Mul (Add (Int 3) (Int 3)) (Add (Int 5) (Int 2)))" ou un truc du genre avec ta représentation ? On veut du concret !
[^] # Re: Sympa
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal societe.com fonctionne avec FreeBSD. Évalué à 2.
Autrefois, hotmail.com avait un backend tournant sous Solaris et FreeBSD. (pseudo source).
[^] # Re: typage statique automatique ?
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Typage statique pour Python. Évalué à 4.
Ah ?
Pour avoir écrit du Haskell professionnellement, je dirais que je ne suis pas d'accord. En Haskell, quand tu commences à écrire du code un peu compliqué, tu dois écrire tes types bien souvent si tu veux que ça compile. En revanche, ce problème s'est beaucoup moins posé en OCaml…
# Bigre !
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Linux passe devant MacOS sur le desktop. Évalué à 4.
Cela voudrait-il dire que MacOS n'est pas prêt pour le desktop ?!
# En gros
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Lutter contre l'overengineering. Évalué à 6.
Ca marche bien, mais ça demande de l'expérience.
[^] # Re: Machine à noter
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Quelle violence… ?. Évalué à 1.
C'est pas comme si un journal bookmark c'était beaucoup de contenu non plus…
[^] # Re: Et sinon, t'as fini?
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Ah ben je savais…. Évalué à 3.
[référence nécessaire]
[^] # Re: Pas adapté et pas très utile
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Traduction des logiciels libres. Évalué à 2.
Ah non ? C'est interdit ? Quid de courriel, logiciel, ou ordinateur ?
T'aimes pas les plugiciels ?
# Nouveau
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche À la découverte d'un nouveau langage, Elm. Évalué à 3.
Nouveau, nouveau, c'est vite dit. Elm existe depuis 2012. C'est plus récent que Swift (2014), et plus proche de Go (fin 2009) que d'aujourd'hui…
# Dix fient cils
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au sondage Pour mes problèmes d'orthographe.... Évalué à 3.
Robert, Larousse, Bescherelle, mais aussi Grévisse sont mes amis. Cela étant, j'utilise souvent le CNRTL, mais pour les définitions, pas l'orthographe.
J'utilise aussi va te faire conjuguer.
[^] # Re: Map-Reduce
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Données vs Code. Évalué à 4.
Le but n'est pas de faire du shell correct, mais une analogie dans un langage qu'il connait.
L'utilisation de ''cat'' dans le deuxième exemple est volontaire, car c'est la fonction qui génère les données (l'anamorphisme, aka unfold)… Sinon, l'analogie de composition d'un producteur et d'un consommateur est perdue.
[^] # Re: Map-Reduce
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Données vs Code. Évalué à 3.
Non. Le map reduce applique une fonction F à tous les éléments d'une collection de données via map, et ensuite consolide les résultats ("reduce").
Le principe ici est de générer ta collection de données à la volée, pour pouvoir la consolider immédiatement. Donc tu n'as jamais toute la collection en mémoire.
Omettant le fait qu'on puisse écrire ''wc -c monFichier'', c'est la différence entre
LIGNES=`cat file`;
echo $LIGNES | wc -c
qui lit le fichier en entier avant de compter les caractères, et
cat file | wc -c
qui ne garde qu'une ligne en mémoire à la fois.
[^] # Re: Donc en résumé
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche IT-Edit 2.0, un éditeur de texte avec terminaux intégrés. Évalué à 3.
Quand tu codes dans un language avec un REPL, comme OCaml, Scheme, ou Common Lisp, tu prends très vite goût aux possibilités offertes par emacs comme tuareg ou slime. Y a bien slimv pour Common Lisp, mais c'est pas idéal. L'intégration pue.
[^] # Re: Donc en résumé
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche IT-Edit 2.0, un éditeur de texte avec terminaux intégrés. Évalué à 5.
Non, c'est l'un des plus grands défauts de vim ; sa gestion des commandes externes est terriblement mauvaise.
Il y a une équipe de gens qui bosse sur neovim pour résoudre ce problème. J'utilise ça maintenant.
# Ne cherchez plus !
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal "Meilleur dev de France" ?. Évalué à 8.
J'ai quitté la France il y a longtemps.
--[-> ]
# Change de lunettes !
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche Et si JavaScript allait droit dans le mur ?. Évalué à 3.
Tu veux dire que t'avais pas vu les défauts de JavaScript qui sont là depuis 1995 ?
[^] # Re: bépo
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche Sortie de WinCompose 0.7.5. Évalué à 9.
Non. qwerty/azerty a été conçu pour accélérer la vitesse de frappe tout en limitant le risque d'enrayer la machine.
C'était pas optimal pour la frappe d'une manière absolue, mais c'était optimal pour le matériel d'alors.
# Évidemment !
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche Statistiques 2015 du site LinuxFr.org. Évalué à 10.
Ça n'a pas été facile, mais on y est arrivé ! C'est ça aussi, le coin^Wcrowd sourcing!
# Facile
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Qui fait des trucs "cools" en France et en Europe?. Évalué à 3.
Va contacter l'assoce des anciens d'une fac, et va voire où se sont placé les docteurs qui sont allés dans l'industrie. Ils font certainement des choses sympas.
[^] # Re: Je me jette
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche Grammalecte, correcteur grammatical. Évalué à 3.
Il manque dans l'image quatre temps de l'indicatif (présent, imparfait, passé simple, et futur simple), deux du subjonctif (présent et imparfait), un du conditionnel (présent), un de l'impératif (présent), un de l'infinitif (passé), et les deux gérondifs.
Peut-être sont-ils présents dans le logiciel…
# Je me jette
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche Grammalecte, correcteur grammatical. Évalué à 3.
Bon, puisque tout le monde dit du bien, je dis du mal : c'est moi, ou il manque tout plein de temps au conjugueur ?
# Zsh
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Faire de la magie avec son .inputrc. Évalué à 4. Dernière modification le 26 mars 2015 à 21:44.
Comme ^Xm dans zsh, quoi…
# Oui, mais non
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche Quand la cybernétique hiberne l'éthique. Évalué à 7.
Je me doute bien que l'auteur de la dépêche a voulu faire un jeu de mots, mais « hiberner » est un verbe intransitif. Ça me fait mal de lire le titre de cette dépêche, et en plus, il n'a pas de sens.
[^] # Re: Générateur de blog static
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche Votre blogue à la maison sur Raspberry Pi. Évalué à 2.
De mémoire, il est mal codé : dès que t'as un peu trop d'articles, la génération prend beaucoup trop de temps (ça sent l'algo exponentiel ou au moins cubique…)