[FR] types NULL et non NULL

[Mildred Ki'Lya]

Salut,

On avait déjà parlé d'un moyen de spécifier dans le code source si une
variable locale (un paramètre de fonction par exemple) avait le droit de
contenir NULL (dangereux) ou pas.

J'ai trouvé une syntaxe sympa, tirée du langage Vala:
http://www.vala-project.org/doc/vala/types.html#nullabletypes


local : TYPE?
    (local peut être NULL)

local : TYPE
    (local n'est jamais NULL, sinon c'est une erreur run-time ou
compile-time)


Juste une idée

-- 
Mildred Ki'Lya
╭───────── ｍｉｌｄｒｅｄ５９３＠ｏｎｌｉｎｅ．ｆｒ ──────────
│ Jabber, GoogleTalk: <mildred at jabber.fr>
│ Website: <http://ki.lya.online.fr>           GPG ID: 9A7D 2E2B
│ Fingerprint: 197C A7E6 645B 4299 6D37 684B 6F9D A8D6 9A7D 2E2B


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: OpenPGP digital signature
URL: <http://lists.alioth.debian.org/pipermail/lisaac-devel/attachments/20100126/77fed29c/attachment.pgp>