[nem-pl] Kolorowanie zmiennych przez inne funkcje

["Paweł W. Olszta"]

Michal Moskal wrote:

> Może tak:
> 
> public [Contracted] jakas_funkcja (x : int) : int
> {
> 	require (x >= 0);
> 	x * 2;
> 	ensure (value % 2 == 0);
> }
> 
> bez rozszerzeń składni.

No ale właśnie tak bym nie chciał. Aj ripit, niech by to wyglądało jak 
properties w C#. To jest naprawdę eleganckie i eye-candy -- poza tym 
wyraźnie rozdziela kontrakty od metod.