TYPE "Marcin 'Qrczak' Kowalczyk":
>> To ja skorzystam z obecności;-) i zadam pytanie. Jeśli mamy część
>> sprzętową i część niezależną od sprzętu, to ta niezależna operuje na
>> symbolach, tak? Ona musi być w rzeczywistości ,klasą abstrakcyjną' czy
>> też szablonem "C++" (znaczenie, nie składnia)?
> Nie rozumiem pytania.
Żeby programista mógł napisać niezależną od sprzętu część oprogramowania (czyli
typowo- w języku wysokiego poziomu), nie może używać typów (ograniczmy się wstępnie
do liczbowych) danych związanych ze sprzętem.
Żeby kompilator mógł wytorzyć działającyc program-- musi je znać, gdyż ich użyje w
miejsce abstrakcyjnych typów.
W związku z tym-- pytanie o rzeczywistą realizację: wymyślone typy danych, z ich
własnymi limitami, które następnie są albo dopasowywane do typów danych maszyny, albo
symulowane przez kompilator na maszynie lub w środowisku wykonywania, czy może
analogicznie do prostego "typedef", które tylko zmienia nazwy typów, uniemożliwiając
programiście oparcie się na właściwościach typu zależnego od maszyny.
--
/ qo |) :@=N%_g=v=a=g_eD_e=c()=d=8! =%!gN@8'Re. w8in/ad
\ _x/ , ;h-%-a'hA'H4,X0'Xo~xo~xO,R`-%EXp01ITed: *-7/+eh
/ | ng `-%__%--'__%--'__%--~__%--^%B`/$qV3r[o; &GooMee
L ,_o_O http://groups.yahoo.com/group/opRWTng O_o_, /L"EnOF"