Recherche:

Je crois que jusqu'ici je n'avais pas vraiment réalisé à quel point pour entrer dans le monde des preuves il faut d'abord sortir du monde de la programmation.

Qui dit preuves dit type inductifs et...

Je n'insisterai pas davantage sur les données cycliques, je préfère vous laisser l'initiative de l'innovation et/ou de l'explication.

Voici les précisions demandées, l'une porte sur les...

Les données cycliques je les considère comme l'équivalent (pour les données) de la récursion mutuelle (pour les fonctions). Autant dire que je n'envisage pas d'y renoncer, ou alors il faudrait...

Cette limitation n'existe pas (au niveau du langage), elle n'existe qu'au niveau du ramasse-miettes (par comptage de références) qui sera incapable de récupérer la mémoire allouée par des structures...

Je crois que vous (alex_pi, jedai, LLB) passez à côté de la question, ce qui est dit c'est que l'on peut débuter la programmation avec Anubis et s'en sortir avec relativement peu d'assistance. Est-ce...

@InOCamlWeTrust

Un site web est une vitrine, et par définition une vitrine c'est promotionnel.

@Dr Topos

C'est ce que j'avais cru comprendre: les 'fonctor' de OCaml n'offrent qu'une petite...

Merci.
Un petit mieux est toujours bon à prendre.

Mais la critique de alex_pi reste valable (et je la partage).
Je ne peux pas le justifier (puisqu'en théorie ça ne change rien) mais...

J'en viens à la "philosophie" de la "sécurité" en Anubis.

L'idée principale va à l'encontre de tous les principes établis: elle commande de signaler l'erreur au plus tard et même si possible de...

Les accesseurs sont des fonctions, pas des constructeurs.
Pour construire il faut connaître l'ordre des champs puisqu'il s'agit d'un n-uplet.

Voilà un exemple pour illustrer comment ça marche:
...

À lire la documentation il semble qu'Anubis remplace les 'enregistements' OCaml par des étiquettes dans les types produits (ou agglomérations), je ne sais pas si l'idée est nouvelle (j'en doute) mais...

100% d'accord avec toi, on a le choix entre 'alert' qui est la faille du système, ou alors une sécurité absurde, parce que si 5/x déclenche une division par zéro celui qui effectue la division ne...

Bienvenue @ ricard33.

Pour faire un résumé de ce qui peut faire consensus:
syntaxe: les débutants seront probablement moins rebutés que par la syntaxe de OCaml/Haskell, c'est un point qui peut...

Epigram n'est pas Turing-complet, les autres je les connais moins bien mais probablement qu'ils troquent aussi quelque limitation théorique en échange de l'avantage pratique. En Epigram tu ne peux...

En fait l'élimination statique de la vérification des accès tableau est possible même en OCaml (au prix de quelques mécanismes assez tortueux), voici ladite source tortueuse à souhait:
...

Et ta conclusion c'est que les exceptions sont indispensables, au moins pour gérer les accès tableaux hors-bornes. Je ne serai pas aussi catégorique, il existe déjà des langages qui sont capables...

Permettez-moi d'être en désaccord sur la gestion des erreurs, le principe même de la programmation fonctionnelle c'est que tout est une valeur, une erreur doit être une valeur comme une autre,...

Simon Peyton Jones propose une autre approche, la transformation dite Johnsson-lambda-lifting, en pratique, après cette transformation, toutes les fonctions ne contiennent plus que des variables...

La SECD, CAM et FAM sont toutes dépassées (elles créent toutes trop de fermetures intermédiaires pour les appels de fonction curryfiées), dans les faits il n'existe plus que deux VM:
* la ZAM pour...

Quel est le type de machine abstraite de Anubis 1.7: SECD, CAM, FAM, ZAM ?

Je recommande la lecture de ce document:

http://pauillac.inria.fr/~xleroy/talks/zam-kazam05.pdf

La phrase clé...

Il y a également ce code dans mon interpréteur:



Comme si je capturais l'exception pour la regénérer.

On pourrait (méchamment) résumer OCaml ainsi:
* OCaml est trop permissif
* OCaml...

Je me suis inscrit sur www-anubis-langage.com, le forum a l'air plus "débutants" que celui-ci, je promet je n'irai pas leur filer la pétoche avec des sources ésotériques.

Il m'a semblé que le...

Et oui! Et c'est plus propre, pas de récursivité dans le with!
Il y a 5mins encore j'avais peur d'avoir raison, et maintenant c'est tellement limpide!

Voilà, vous tenez l'exemple qui achève de...

C'est le with qui devrait être un let rec, pas la fonction anonyme que vous vous entêtez à vouloir nommer alors que je ne vous l'ai jamais demandé.

Que vous me donniez les 2 lignes de code qui...

Non, et vous l'avez dit vous-même: c'est la déclaration du symbole g.
C'est le with qui déclare f.


Pour mon commentaire sur votre exposé il est évident que je l'ai lu en diagonale, j'ai...

Malheureusement ce que je vois c'est exactement le contraire: c'est bien le with que je veux récursif, pas la fonction anonyme, mon problème a tout à voir avec le with et rien à voir avec la fonction...