Diskuze: Jak fungují dnešní jazyky?
"Dobrý den,
snažím se pochopit, jak fungují vyšší jazyky. Tedy teorie je jasná a
snadná. Je jedno, co bude tam "nahoře" - prostě si vytvořím klíčová
slova a pravidla. Jenže jak ta pravidla aplikovat? Jak generovat strojový kód
- nemohu přeci přiřadit tomu a tomu uskupení ten a ten příkaz/y ve
strojovém kódu - nebo ano? "
Tohle je docela slozite tema, hodne zjednodusena a nepresna verze, jak to muze
vypadat: rozparsujes kod na symboly reprezentujici ten kod, pak si to podle
pravidel rozdelis na mensi casti, ktery umis prevest - treba prirazeni do
promenny, provedeni aritmeticke operace, volani funkce atd. a z nich pak
vygenerujes spustitelnej soubor - symboly nahradis strojovym kodem.
"Pokud ano, tak mne zaráží, jak může mít jazyk vlastní kompilátor -
nezaložený na existujícím jazyku... Tedy v čem vůbec bude parser - ten
přeci musí být v existujícím jazyku - a jeho parser vznikl jak?"
Prvni byl napsan v strojovem kodu - strojovy kod parser ani kompilator
nepotreboval, rovnou provadel instrukce zadane v podobe, ktera pro nej je
citelna - stejne tak muzes dneska na pc programovat tim, ze si v poznamkovym
bloku otevres novy soubor, pojmenujes ho jako .exe, a zacnes v hex modu psat
bajty odpovidajici prislusnemu opkodu strojoveho kodu (ale je to pekne naprd
).
"Byl bych moc rád, kdyby mi to někdo odhalil... Docela si to dovedu
představit - jen nevím, jak bych napsal ta pravidla - a v čem psát parser -
jinak to už je celkem dominový efekt... Děkuji."
Parser muzes napsat v cemkoliv, klidne muzes napsat kompilator pro assembler v
c#, v tom ti nic nebrani, ty jen z textu delas strojovy instrukce, tedy
posloupnost nejakych bajtu.
matesax:31.12.2012 5:54
Takže skutečně přiřazuji strojový kód - to je to co mně přišlo divné - když je strojový kód tak specifický - výsledek nepřenositelný jinam...
Nuže mám tedy výstup - strojový kód - nebo ještě interpret a z něj strojový kód - viz. C# a Java - a ten spustím jak?
Jo a vlastně si to parsování mohu usnadnit Regex - ne?
Než se do toho pustím, chtěl bych se zeptat, zda by se Vám to vůbec líbilo. Jmenoval by se SAM. Zrušil bych dělení na namespace, třídy, struktury,... Bral bych vše jako souhrn příkazů - commands - zkratka cmd:
add // přidání externích souborů
{
System;
System.Windows;
}
internal cmd Name : System.Web // dědění - navíc použit modifikátor
{
var // blok definování proměnných
{
int i = 6;
}
private var // proměnné s modifikátorem...
{
}
private cmd Name
{
} => 6; // návrat
private cmd Name : System.Net
{
cns(parametry) //konstruktor
{
var
{
int // blok proměnných stejného typu
{
files = 5;
names = 8;
}
}
}
}
edt cmd Who NewName // úprava existujícího bloku - Who -> upravovaný
{
prp // vlastnosti
{
int Folders : <= hodnota { } => hodnota // set, možný blok, get
float Points : modifikátor <= hodnota 0 modifikátor => hodnota // bez bloku s modifikátory
Point // blok vlastností stejného typu
{
Name; // abstraktní
Name : <= value 0 => value // standart - bez bloku
}
}
}
}Kde za Name si pochopitelně dáte jméno bloku...
Nejsem si jist, jestli má smysl zakázat možnost editace - ale kdyžtak
bych udělal něco jako uned (uneditable). Také si pohraji s maximálním
počtem vnoření...
Cyklus by byl jediný - cycle - bral by možnosti:
příkaz; bool; příkaz
bool; příkaz
bool
ddd in xxx
Kompilátor se pokusím udělat formou virtuálního stroje - viz. C#, Java...
Zobrazeno 13 zpráv z 13.