Janosik jako platforma - pomysl

Radosław Janeczko rj at bci.pl
Tue Aug 26 20:55:47 CEST 2003


Codin C. Cool wrote:
> Będę mówił w imieniu Szarej Rzeczywistości:
> 
> Panowie, wykonujecie 3 (słownie: trzy) błędne założenia:
> 1. że ustawy są napisane w sposób logiczny
> 2. że ustawy są napisane w sposób spójny
> 3. że ustawy są napisane w sposób prosty

Cóż - nie brałem pod uwagę takich założeń :P Ustawy muszą trzymać się 
jakichś zasad i być choć odrobinę logiczne (w sensie matematycznym 
oczywiście) i na pewno da się sprowadzić je postaci zjadliwej dla 
wytworów myśli informatycznej.


> ja rozumiem że formularz w którym się mnoży 2 liczby by wyprodukować
> trzecią wygląda super przejrzyście. ale w tym 'temacie' raczej nie
> będzie takich formularzy. zakodowanie całości w dowolnym języku to jest
> PRYSZCZ Z MASŁEM w porównaniu z przełożeniem ustaw na język logiki.

Nie myślałem o tym, że formularz będzie prosty. Jednakże posługując się 
zmiennymi przechowującymi wyniki cząstkowe rozebranych na kawałki zasad 
rozliczeń da się to zrobić. Chcąc zaprogramować rozliczenia w dowolnym 
języku i tak MUSISZ przełożyć je na zbiór logicznych warunków!

Zawsze, w przypadku zbyt dużych niejasności, można będzie zastosować 
funkcję random() ;)


> a od siebie dodam że specyfikacja algorytmu weryfikacji dla Płatnika
> podobno wynosiła kilkaset stron (tak powiedzieli w zus)

A mówili jaką czcionką drukowane? ;)


greetz

Sototh





More information about the janosik-devel mailing list