Recherche:

:fleche: Les résultats de ces travaux de recherche sont-ils pertinents ?

Trier rapidement jusqu'à 4 éléments ça n'est pas le but du jeu :roll:

Le but du jeu c'est de trier un (très) grand...

Le seul https://damien-guichard.developpez.com/ERic/documentation/fam/bug.png connu.

Lorsque vous entrer ce code :


untyped hierarchy block connector.

derive block cube...

J'aime bien le parfum de ce Prolog dopé aux graphes conceptuels.


Universal > Warrior, Weapon.
Warrior > Jedi, Battle_droid, Super_battle_droid, Cyclopedus.
Weapon > Light_saber, Blaster_gun,...

Je comprends très bien ce qu'est un retour sur trace chronologique.

Par exemple, toutes les solutions au problème du tour de cavalier sur un échiquier en backtracking :

MODULE KnightTour;

...

J'ai trouvé la réponse à 2 autres de mes questions :
● L'import se fait par le menu File/Import Project et l'export par le menu File/Export Project
● Les fichiers XML sont stockés dans le...

:merci:
N'hésitez pas à revenir sur le forum des développeurs si vous avez des éléments de réponse concernant les autres questions.

Bonjour DVP,

Pas totalement débutant puisque j'ai acheté en librairie et entièrement lu l'excellent ouvrage de Michel Chein & Marie-Laure Mugnier que je recommande à tous les passionnés/curieux de...

À mon avis on te demande de déclarer un type inductif du genre :


type code =
| Skip
| Seq of {c1:code;c2:code}
| Let of {x:int;e:code;expr:code}
| ....

type env =

Et si le polynôme est X² + 1 le coefficient de x est bien égal à zéro, n'est-ce-pas ?

begin...end est exactement la même chose que (...) ce qui ne va pas t'aider beaucoup puisque tu as l'air...

Je ne comprends pas bien ce qui te fait douter, toutes tes propositions sont correctes (même si ce n'est pas tout à fait ce qu'écrirait un expert).

palindrome "sages" retourne faux parce que...

J'entre la commande :

echo -e "\033[1mbold\033[0m \033[3mitalic\033[0m \033[4munderlined\033[0m"

Et J'obtiens :

bold italic underlined

Ben alors c'est pas censé écrire italic ?

Ce n'est pas ocaml qui fait la transformation, c'est la console dans laquelle on a entré le mot "été".
Selon la console l'encodage ne sera pas le même.

Tout cela n'a que peu ou pas de rapport avec ocaml.

Si j'écris un texte sous WinUAE (encodage latin ISO-8859-1) lorsque que je le lis sous Ubuntu (encodage UTF8) j'ai les mêmes petits ennuis...

Et bien entendu tout cela n'a absolument aucun lien avec les listes.

Je suis enthousiaste !

Si j'ai bien compris les supraconducteurs ne fonctionnent qu'en dessous de 15 millikelvins.
Ça tiendra le coup même en cas de canicule ?

L'article ne parle de CQL (Categorical Query Language).
Dommage.
CGL permet la requête sur des graphes prenant en compte l'égalité des chemins (path equality).
Ça rend les graphes interopérables...

Si tu optes pour la 1ère méthode tu devras faire des comparaisons du genre if n != noeud_nul then (comparaison physique) plutôt que if n <> noeud_nul then (comparaison profonde qui risque bien de...

Tous les types sont implicitement rec c'est pourquoi ils peuvent s'appeler eux-mêmes.
Dans le cas contraire on utilise type nonrec ....

Je ne connais que 3 réponses pratiques à ta question....

C'est ce que je voulais dire, bien que zero-Church et un-Church soient aussi du type nat-Church, un générateur de type automatique les étiquette avec un type plus général :

# fun f x -> x;;
- :...

C'est une notation particulière pour dire que ce n'est pas 2 dans un autre encodage (par exemple l'encodage de Scott).
Et oui c'est bien λf.λx.f(f x) ou alors fun f x -> f (f x) en ocaml.

Tandis...

Désolé, pour la question n°2, je n'ai pas tilté sur le coup.
Le type (A → A) → (A → A) est le type des entiers naturels ℕ en encodage de Church.
Du coup il y a une infinité de réponses possibles,...

Alors dans ce cas Comprehensive Encoding of Data Types devrait t'intéresser aussi.
Ce papier utilise l'encodage de Scott pour représenter les types inductifs. Dans ce cas le typage ne permet pas de...

C'est le lambda-calcul qui t'intéresse ?
Ou bien c'est la programmation fonctionnelle ?
Et surtout, vu du point de vue d'un développeur web, ça peut vite paraître ésotérique dans le sens où tu n'en...

Bienvenue sur les forums de developpez.net

:plusser: Bravo, la fonction identité (fun x -> x en OCaml par exemple) est la bonne réponse à la question n°1.
Pour la question n°3 pense à la règle de...

Rien de concret du côté du multicore.
Par contre il y a désormais un plan de développement semi-officiel.