chimrod a écrit 1073 commentaires

Vous vous êtes relu au moins ?

Les candidatures … devront être envoyées avant le 22/04/2016

Posté par BRASSIER le 22/04/16

Il travaille au panama ?

Ça date des années 80 ??? On me l'a offert 15 ans plus tard et j'avais vraiment aimé cette bd. Tu viens de me faire prendre un coup de vieux là…

Tu vas me dire que faire Ctrl + D est plus compliqué que Mod4 + C ?

Reprenons ce que fait l'itérateur d'un point de vue fonctionnel.

Tu seras d'accord pour dire qu'il s'agit d'accéder élément par élément à une structure pour y appliquer un traitement. On peut le reformuler en disant qu'il s'agit d'appliquer un traitement sur l'ensemble des éléments de manière successive.

Dans ce cas, il n'est pas nécessaire d'avoir une fonction next qui serait typée ainsi :

val next: 'a t -> unit -> 'a (* Récupère l'élément suivant, on suppose que la structure garde en mémoire ce qui a déjà été parcouru *)

mais plutôt:

val iter: ('a -> unit) -> 'a -> unit (* [iter f tree] applique f a chaque élément du graphe (on suppose que l'on s'intéresse aux effets de bord)*)

val fold: ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a (* unifie le graphe sur une valeur unique de type 'a *)

Cela ne limite pas du tout le traitement de la structure, c'est même au contraire une manière commune de traiter les données.

Exact.

Mais pour suivre le raisonnement jusqu'au bout, une fois que tu a utilisé les fonctions standards qui te renvoie une chaîne différente, tu n'as plus la garantie que la nouvelle chaîne est toujours valide.

Autant que cette contrainte soit rendue explicite.

J'imagine plutôt que le type trié + validé comme un type fantôme, c'est à dire que ta fonction de tri peut avoir la signature suivante :

type 'a sorted

val sort: string -> string sorted

Le type indique juste que le texte est trié est validé, mais il est tout à fait possible d'en extraire la chaîne donnée :

val extract: 'a sorted -> 'a

par contre les fonctions qui nécessitent d'avoir en entrée un type trié + validé nécessitent juste de prendre un type « 'a sorted » en paramètre.

C'est ce qui est utilisé dans la librairie js_of_ocaml : tous les types utilisé dans le code javascript sont de type Js.t, ce qui permet de séparer le type des données qui sont utilisées dans le code ocaml, et celles qui sont issues/destinée au code javascript.

Edit: Bon, c'est ça d'arriver après la tempête, cela a expliqué plus bas…

Sinon ça pourri la vie des gens…

C'est peut être ça, la prochaine de la révolution copernicienne :

• Nous savions que l'univers n'est pas créé pour notre plaisir et que nous n'en sommes pas au centre.
• Nous prenons que nous ne sommes pas maître de la nature et que nous pouvons détruire notre environnement si nous ne faisons pas attention.
• Maintenant nous découvrons que nous pouvons créer des outils qui réfléchissent mieux que nous.

Au final, nous sommes libre de vivre maintenant !

Ça dépend dans quel contexte tu te places. Dans un langage qui t'impose l'usage de classes et d'instances, alors utiliser des objets n'est pas un choix de conception. Au contraire, si tu as le choix d'utiliser un objet, un foncteur, ou une monade, alors on peut penser qu'opter pour l'un au l'autre relève d'un patron de conception.

Je rajouterai aussi que la monade ne s'applique pas vraiment dans le monde objet. C'est un design pattern de type (au sens de la théorie des types), et non pas du monde objet. Tout comme le visiteur n'a pas vraiment de sens dans un univers fonctionnel, le type Folddable n'a pas de sens dans le monde objet. Ça n'est pas pour rien que l'on parle de paradigme de programmations différents.

C'est pas possible d'écrire plutôt ?

f = (+)

Je ne connais pas elm, mais ce que tu décris correspond tout à fait au problème auquel répond les monades. Ça permet de contenir un environnement et d'appliquer une fonction qui modifie l'environnement.

Il existe une grande littérature sur ce sujet, et je ne vais pas paraphraser ce que d'autres exprimeront mieux que moi, aussi je te renvoie vers la langage dans lequel les monades sont reines.

notamment sur certains téléphones.

Malheureusement pas toujours avec succès.

Chez jolla, le disque est sous-dimenssionné par rapport a ce que nécessite btrfs, et les utilisateurs qui ont trop rempli leur téléphone ont rencontré lenteur et blocage… La réponse qui a été donnée nécessite malheureusement de mettre les mains dans les rouages du téléphone.

REST c'est à l'opposé du web-service !

(Mode troll)Les ws réinventent une couche d'échange au sein de la couche http, alors que rest utilise juste http correctement.(/Mode troll)

Je ne connais pas PHP, donc je ne peux pas répondre sur ce point, mais oui, il est possible de faire communiquer des applications dans des langages différents.

Tiens un exemple qui permet de faire de la distribution de tâche en python : http://www.celeryproject.org/

Comme dit plus haut, c'est un serveur de message. Mais c'est a prendre dans le cadre d'échange entre applications avec une haute charge de communication, un bus quoi. Sauf qu'elle peut garantir qu'aucun message ne sera perdu, et une bonne montée en charge.

Le paramétrage consiste ensuite à construire des routes pour aiguiller les messages (un peu comme avec syslog : on envoi le contenu vers un fichier, vers une base de données, vers un programme), ou appliquer des patterns sur le message (transformation, duplication, agrégation…).

Le cas de REST n'est qu'un exemple d'utilisation (chaque commande permettant la diffusion d'un message qui sera géré par une application dédiée, comme ça on découple le frontal du traitement), mais on peut l'envisager dans le cadre d'une application qui a besoin de répartition de charge (il suffit de mettre en place deux instances qui écoutent la même file), ou faire communiquer des applications différentes.

Je sais, dès l'apparition le mot au masculin m'avait surpris. Je pense qu'il est normal que l'on finisse par parler d' "une planète" mais ces derniers temps vu que les flux rss ont perdu en popularité, le mot n'était plus trop employé. Ce qui ne m'empeche pas de continuer à surveiller le mot pour voir si le glissement va s'opérer ou non..

Tiens, on ne dit plus un planet ?

Tu peux demander aux sites de mettre ça en place. Peut-être que la demande n'a tout simplement pas été formulée…

Ça sera un moyen de voir si les données sont réellement libres !

Tu crois qu'on peut y voir un lien avec le fait de dessiner encore avec PovRay de nos jours ? (-:

Merci beaucoup pour le détail de la réponse.

Existe-t-il une regex permettant de valider une regex ?

De manière plus générale, est-ce qu'il est possible de savoir si une grammaire X peut être validée par regex ? (Je suppose qu'il doit y avoir un champs de recherche qui s'intéresse à ce genre de question ?)

Ça veut dire quoi ?

Merci, j'avais écrit le commentaire rapidement et rechercher « bokor » sur ddg n'avait pas donné de lien concret…

Puisque tu es dans la discussion, est-ce que tu penses que bokor peut être étendu pour déployer des systèmes ?

Il y avait une présentation de bokor à Pas Sage en Seine 2015, pour télédistribuer un système et le contrôler par bittorent.

Par contre j'ai recherché les sources vite fait et n'ai pas pu les retrouver.

C'est une figure important qui vient de disparaître. Je l'associe à une époque ou la séparation entre l'informatique, le cognitivisme, le langage était moins marquée qu'aujourd'hui et où les découvertes faites dans un domaines avaient des répercussions dans les autres branches.

Son étude sur le premier réseau de neurones Perceptrons a participé à LA controverse Chomsky/Piaget (qui pourtant n'avait rien a voir avec l'informatique au début).

Triste je suis.