langage

Langage de programmation de gruntnetwork
Liste des tâches

FS#25 - Prédicat contient-information

Concerne le projet: langage
Ouverte par jahvascriptmaniac (js) - mercredi, 24 mars 2010, 07:48 GMT
Type de tâche Fonctionnalité
Catégorie Backend / Core
Etat Affecté
Assignée à jahvascriptmaniac (js)
Système d'exploitation All
Sévérité Basse
Priorité Basse
Basée sur la version 1.0
Due pour la version Non décidé
Date d'échéance Non décidé
Pourcentage achevé: 0%
Votes 0
Privée Non

Détails

Prédicat pour les preuves / contrats : contient-information.

Exemple :

Contrat pour e = liste->ensemble(l)

∀ x ∈ l, e contient-information x

Cela signifie que e contient suffisamment d'informations pour reproduire x, après, il peut y avoir de la compression, etc. dans la manière de stocker cette information, mais ça nous regarde pas.

Pourrait être utilisée pour des données qu'on envoie sur le réseau : il faut que la donnée soit dans le format de destination, mais on n'a pas besoin de la revoir un jour.

Autre prédicat, plus utile :

contient-information-accessible

Qui signifie qu'on peut récupérer x depuis la structure opaque produite.
Cette tâche dépend de

Chargement...