Tiens c'est marrant, ça fait quelques années que je pense à un truc qui y ressemble furieusement. Sauf que je n'avais pas des "flèches", mais des "objets" et des "relations", où la relation était bien sûr elle-même un objet (reliant 2 objets). Je ne sais maintenant plus trop si ma distinction entre les deux est essentielle ...
J'avoue que j'ai pas trop le temps de regarder pour l'instant, mais au départ ce genre d'idée se basait d'après les travaux que j'avais vu sur les ontologies (qui ne permettent malheureusement pas de "méta"-bordel parce qu'elles séparent les objets des relations). Et en ce qui concerne le langage, je te conseille de regarder du coté des types dépendants en:Dependent_type et en gros des travaux de Conor McBride, et des mathématiques constructivistes (ça va faire mal à la tête, je te préviens).
Bon, moi j'avais une approche à la base plutôt centrée sur les langages et les types, d'où l'orientation de mes conseils. Et puis ça c'est les trucs que j'ai vu récemment seulement, je suis passé par un bon paquet de trucs entre temps ...
[^] # Re: euhhh
Posté par benoar . En réponse au message projet "Entrelacs". Évalué à 3.
J'avoue que j'ai pas trop le temps de regarder pour l'instant, mais au départ ce genre d'idée se basait d'après les travaux que j'avais vu sur les ontologies (qui ne permettent malheureusement pas de "méta"-bordel parce qu'elles séparent les objets des relations). Et en ce qui concerne le langage, je te conseille de regarder du coté des types dépendants en:Dependent_type et en gros des travaux de Conor McBride, et des mathématiques constructivistes (ça va faire mal à la tête, je te préviens).
Bon, moi j'avais une approche à la base plutôt centrée sur les langages et les types, d'où l'orientation de mes conseils. Et puis ça c'est les trucs que j'ai vu récemment seulement, je suis passé par un bon paquet de trucs entre temps ...