Diskusia: Do čeho kompilovat?

Kdosi

Nevyplnené

Kdosi:12.10.2013 18:21

Zdravím,
do čeho je nejlepší kompilovat, dělám-li vlastní kompiler? Jako první mě napadá C. Což mi ale nepřijde moc originální. Dále se nabízí object file, ASM atp. Kde bude nejharmoničtější rovina mezi schopnostmi výsledku, náročností na vytvoření zdrojů (v ASM bych si hodně věcí musel udělat sám, i když bych mohl využívat C/... knihovny atd.), přenositelností výsledku a složitostí kompileru?
Děkuji.

Odpovedať

12.10.2013 18:21

vitamin

Člen

vitamin:12.10.2013 19:10

Kompiler sa vecsinou sklada z 2 cast: Frontend a Backend.

Frontend sa sklada vecsinou z:
1. Lexikalnej analyzy - stavovy automat co rozlozi text na tokeny.
2. Syntaktickej analyzy - z tokenov vytvori abstraktny syntakticky strom(AST), najjednoduhsie je pouzit rekruivny zostupny parser
3. Sematickej analyzy - tu sa hlavne kontroluju symboly, testuju typy, deklaracie funkcii a premennych pripadne aj dake transformacie a optimalizacie.

Z ast mozes potom generovat kod v inom jazyku ako napr C, mozes kod spustit(treba si naprogramovat interpreter). Alebo ho prelozit do bytecodu. Ja som zatial naprogramoval len frontendy a jednoduchy neoptimalizovany interpreter, takze v backendoch sa nevyznam. Momentlne mam rozrobeny jeden scriptovaci jazyk ktory prekladam do llvm bytecodu. Je to skvely projekt a tiez ti ho doporucujem, robi sa s nim skvelo. Vyuziva ho napr nvidia na preladac shaderov, je na nom postaveny Clang co preklada c, c++, Obj-C. Pouziva ho LDC pre D...
Samozrejme mozes pouzit aj napr Java bytecod alebo CLI...

Interpretery su pomale.
Compilery do hygh level jazykov sa blbo linkuju z inymi jazykmi a preklad je pomaly.
Najlepsie je pouit Daky bytecod: llvm ir, c--, cli, java bc, ...

Editované

Hore Odpovedať

12.10.2013 19:10

Kit

Tvůrce

Kit:12.10.2013 19:25

Záleží na účelu. Pokud by to měl být univerzální jazyk, tak bych se do toho asi vůbec nepouštěl a vybral bych si některý ze stovek jazyků. Pokud bych chtěl něco speciálního k nějakému účelu, tak bych si z nějakého hotového jazyka vytvořil interpretr svého jazyka. Vytvářením kompilátoru bych se v dnešní době nezatěžoval.

Hore Odpovedať

12.10.2013 19:25

Vlastnosti objektů by neměly být veřejné. A to ani prostřednictvím getterů/setterů.

Kdosi

Nevyplnené

Kdosi:12.10.2013 19:34

Díky - ale na to jsem se neptal. Já nejsem začátečník. Parser mám. Mám už prostě vše v polích atd. Teď už to jen potřebuji uložit. Nemá to být přímo vlastní jazyk. Chtěl jsem jen udělat nadstabu C. Tedy přidat do základního setu typ string, dynamické pole a další drobnosti, co dnes a denně lidi otravují. Navíc jsem ten syntaqx udělal dosti volný. Když nebude lepší návrh, tak půjdu buď do C, anebo do object file...

Hore Odpovedať

12.10.2013 19:34

Kit

Tvůrce

Kit:12.10.2013 19:40

Na tyto záležitosti by mohl být dobrý Python. Pokud by se jednalo o drcení čísel a záleželo na výkonu, tak Fortran. Na operaci s maticemi Matlab, resp. Octave.

Hore Odpovedať

12.10.2013 19:40

Vlastnosti objektů by neměly být veřejné. A to ani prostřednictvím getterů/setterů.

Kdosi

Nevyplnené

Kdosi:12.10.2013 19:41

Ten tvůj sáhodlouhý výpis jsem sfouknul bez regexu a vůbec - jen 3x projedu soubor znak po znaku. (Má to 324 řádků.) Syntax není hotov, ale ukázka:

define ``
+main wet - = 0 -. ki; . op;
. ot = 25 . a256 = 256
. ahh = ":)"
+- oop = ''Ahoj! :D'' . iikl = '''' . dhc;
. dfd = '':D
OoO...''
``

block main

        print 'end'Toto je testovací program.
        Díky '' můžu psát cokoliv, dokud nebude nalezen protipól...''
        Atd...'end'

        into dhc

        call some, 0x2AH, 32 ~ (2 * PI)

<

block start

        call main

        sub a256, 6

        mult a256, 4

        div a256, 10

        print a256

block some

        set op, wet + ot

        add wet, op

        into ki

        call next, a256/3*9

return ki

block next

        define ``uh = 5``

        branch ahh

return uh

<

Mezi ` a ' lze dát cokoliv bez whitespaců - uzavírací část musí být stejná. Mezi `` je definice proměnných, mezi '' stringy a mezi "" komentáře. Čím více " je komentář uveden, tím více " v něm lze použít... """ "" """... < ukončuje blok. Pokud pod blokem bez < je otevřen další blok, stává se podblokem... (OOP) set je =, add, +=, div /= atd. Jinak to podporuje operátory &, |, +, -, *, /, ^ a odmocninu - ~...

Hore Odpovedať

12.10.2013 19:41

Kdosi

Nevyplnené

Kdosi:12.10.2013 19:43

Ale to pak ta nadstavba ztratí smysl. Interpretovaný jazyk se nikdy nedorovná Cčku...

Hore Odpovedať

12.10.2013 19:43

vitamin

Člen

vitamin:12.10.2013 19:44

Ak ta nezaujima rychlost prekladu tak to kludne prekladaj do C.
Das sem zopar prikladov tych vylepseni?

Hore Odpovedať

12.10.2013 19:44

Kit

Tvůrce

Kit:12.10.2013 19:44

A co třeba D? Ten jazyk umí všechno co C a je objektový.

Hore Odpovedať

12.10.2013 19:44

Vlastnosti objektů by neměly být veřejné. A to ani prostřednictvím getterů/setterů.

Kdosi

Nevyplnené

Kdosi:12.10.2013 19:44

a - v ` bloku značí viditelnost - + od současného/uvedeného bloku, anebo -. +- je pak public a -- je internal...

Hore Odpovedať

12.10.2013 19:44

Kdosi

Nevyplnené

Kdosi:12.10.2013 19:46

V D dělám. Já vím - jen si hraji. Kdo si hraje nezlobí... Ale i D má své mouchy. Proč si někdo dá takovou práci s nadstavbou C++ a neudělá dynamický linker? Ale jo - já D miluji...

Hore Odpovedať

12.10.2013 19:46

Kit

Tvůrce

Kit:12.10.2013 19:46

Zkusil jsem si v Octave násobit matice. Bylo to výrazně rychlejší, než v C, protože tam byl použit lepší algoritmus. Přitom Octave je interpretr.

Hore Odpovedať

12.10.2013 19:46

Vlastnosti objektů by neměly být veřejné. A to ani prostřednictvím getterů/setterů.

Kit

Tvůrce

Kit:12.10.2013 19:48

Ten, kdo potřebuje dynamický linker, použije Javu nebo C#.

Hore Odpovedať

12.10.2013 19:48

Vlastnosti objektů by neměly být veřejné. A to ani prostřednictvím getterů/setterů.

vitamin

Člen

vitamin:12.10.2013 19:48

Dynamicky linker ma byt v dmd 2.064 +- za mesiac.

Hore Odpovedať

12.10.2013 19:48

Kdosi

Nevyplnené

Kdosi:12.10.2013 19:50

Ale D je už vpodstatě C#... K vylepšením - jak jsem psal - díky podblokům z toho lze udělat krásně OOP. Má to totiž i příkaz namespace:

namespace ddd

block ddd

block subblock

<

Dále pak automatická správa paměti => dynamická pole bez alokace paměti atd.

Hore Odpovedať

12.10.2013 19:50

Kit

Tvůrce

Kit:12.10.2013 19:50

To jsi neměl psát. Teď budou všichni chtít programovat v D

Hore Odpovedať

12.10.2013 19:50

Vlastnosti objektů by neměly být veřejné. A to ani prostřednictvím getterů/setterů.

Kdosi

Nevyplnené

Kdosi:12.10.2013 19:54

A proč ne? Je to dokonalý jazyk. Jen mě štve, že tam kde chtějí C++ mi jej většinou nedovolí...

Hore Odpovedať

12.10.2013 19:54

Kit

Tvůrce

Kit:12.10.2013 19:55

Na D mě zaujalo víc věcí:

má přímou podporu pro odlišné zpracování programu pro různé architektury a operační systémy
má vestavěnu podporu TDD. Jiné jazyky ji nemají a dohánějí to frameworky. Je to unikátní vlastnost
má přímou podporu pro contract programming. Další unikátní vlastnost vhodná pro TDD
předchozí dvě vlastnosti se pro release dají vypnout parametrem při kompilaci a tím se produkční kód zrychlí
umí automaticky zavřít otevřený soubor ihned po opuštění bloku, kde byl soubor otevřen
hojně se v něm využívají immutable objekty, což zvyšuje spolehlivost programu
má fungující destruktory
má přetěžování operátorů
je cool

Hore Odpovedať

12.10.2013 19:55

Vlastnosti objektů by neměly být veřejné. A to ani prostřednictvím getterů/setterů.

vitamin

Člen

vitamin:12.10.2013 19:55

Tak ja dufam ze D casom nahradi c++. Z pohladu navrhu jazyka je to genialny jazyk.

Hore Odpovedať

12.10.2013 19:55

Kdosi

Nevyplnené

Kdosi:12.10.2013 19:59

Jak jsem psal... Hlavně je geniální, že má přímý kontakt s vyššími i nižšími úrovněmi. Hrabat se v pointerech a mít přitom automatickou správu atd... Tak si říkám - měl by se vydat směrem virtuálního stroje?

K mému problému - nemám já jít do virtuálního stroje? Že bych sice interpretoval, ale už zkompilovaný kód...

Hore Odpovedať

12.10.2013 19:59

vitamin

Člen

vitamin:12.10.2013 20:01

Mna najviac zaujali tranzitivne kvalifikatory immutable, const.
Potom implementacia pure funkcii ktora ma volnejsie pravidla oproti funkcionalnym jazykom a vdaka tomu sa skvele kombinuje funkcionalne a impreativne programovanie.
Velmi zaujimave su moduly a to ze neexistuje globalny namespace a sposob ako funguju importy. Vdaka tomu ze v D neexistuju namespace sa dobre pouziva UFCS...

Hore Odpovedať

12.10.2013 20:01

vitamin

Člen

vitamin:12.10.2013 20:02

Ak pozies LLVM, tak tvoj kod prelozis do bytecodu ktory mozes interpretovat, mozes pouzit vstavany JIT compiler, mozes ho prelozit do .o suborov alebo rovno do binarky...

Hore Odpovedať

12.10.2013 20:02

Kit

Tvůrce

Kit:12.10.2013 20:03

Určitě bych šel do toho virtuálního stroje. Pomalé to nebude.

Hore Odpovedať

12.10.2013 20:03

Vlastnosti objektů by neměly být veřejné. A to ani prostřednictvím getterů/setterů.

Kdosi

Nevyplnené

Kdosi:12.10.2013 20:06

CIL bude asi uzavřený - co?

Hore Odpovedať

12.10.2013 20:06

vitamin

Člen

vitamin:12.10.2013 20:11

Existuje mono takze je asi otvoreny. Z bezneho pohladu na tvoj jazyk sa ale bojim ze CLI je Vyzsi jazyk ako ten tvoj

Editované

Hore Odpovedať

12.10.2013 20:11

Kdosi

Nevyplnené

Kdosi:12.10.2013 20:13

Je to takový nízko-vysoký jazyk... Prozatím jej interpretuji právě v D...

Hore Odpovedať

12.10.2013 20:13

Kdosi

Nevyplnené

Kdosi:12.10.2013 20:21

Praktičtější kód:

namespace System.Console

define ``Start+ volume = 25`` "Vytvoří proměnnou v bloku Start, která bude viditelná i pro jeho potomky..."

block Start

define `definice`string = '':D''`definice` ". v definicích hoře říká, ať se použije minulý blok, pro který je proměnná definována a viditelnost - tu lze upravit"

call WriteLine, string + "..." + volume

into volume "into nastaví pointer budoucího return na tuto proměnnou"

call PromennaSVystupem, param1,2, 3, 4,...

< "ukončení bloku..."

Hore Odpovedať

12.10.2013 20:21

vitamin

Člen

vitamin:12.10.2013 20:22

Pod nadstavbou C som si predstavoval nieco ine

Hore Odpovedať

12.10.2013 20:22

Kdosi

Nevyplnené

Kdosi:12.10.2013 20:23

Jo dědění:

inherit ExistujícíBlok, NovýBlok

Vše co jsem zde poslal zkratkovitě má i plnou verzi - aby si nikdo nestěžoval na obtížnost orientace a zapamatování si...

Hore Odpovedať

12.10.2013 20:23

Kdosi

Nevyplnené

Kdosi:12.10.2013 20:24

Je to hodně špatné?

Hore Odpovedať

12.10.2013 20:24

vitamin

Člen

vitamin:12.10.2013 20:27

Ano , uz chapem ako si mohol spravyt kompilator na necelych 400 riadkov. (U mna ma len obycajny lexer cez 2K )

Editované

Hore Odpovedať

12.10.2013 20:27

Kdosi

Nevyplnené

Kdosi:12.10.2013 20:30

A tak - co se ti nezdá? Mezi ' a ` můžeš dát cokoliv - i nic. Můžeš používat zkratky i plné příkazy,... Pošlu normální kód ještě:

define ``
string = ''Dobrý den...''
``

block Start

    ...

Nezáleží na whitespacech - na ničem...

Hore Odpovedať

12.10.2013 20:30

vitamin

Člen

vitamin:12.10.2013 20:33

Ako deklarujes premenne a funkcie?
Ako vytvaras podmienky?
Ako zapises a + b * c; ?

Hore Odpovedať

12.10.2013 20:33

Kdosi

Nevyplnené

Kdosi:12.10.2013 20:40

Funkce to nemá. Jen bloky příkazů. S libovolnými parametry - jsou chtány za běhu - stejné nevýhody jako u interpretovaného jazyka.

definice proměnných:

define cokolivmajitel viditelnost název = hodnota (anebo ; a bez hodnoty)

. opakuje majitele a viditelnost

Bez zadání majitele se použije místo, kde je definováno

viditelnost je +, - a -- - +- je public... majitel+ - viditelnost i pro potomky

definice bloku:

block název

block vnořenýBlok

< "ukončení"

block Blok

<

block NevnořenýBlok

<

Dědění:

inherit ExistujícíBlok, NovýBlok

A s operátory mám normálně +, -, *, /, |, &, ^ a odmocnina je ~.

define ``ddd = 25 Start- eee = 258 . iii = 416 + 256 . k;``

block Start

set k, ddd ~ (eee / iii)

<

Takže?

Hore Odpovedať

12.10.2013 20:40

Nevyplnené

:12.10.2013 20:42

To divné cokoliv má být mezi `... Mezi ` a ' lze dát jakýkoliv demiliter. U ` je to pak pro funkčnost structu - lze to používat jako struct - pojmenovaný blok definic proměnných... U stringu je to na demiliter... (oddělovač)

Hore Odpovedať

12.10.2013 20:42

Nevyplnené

:12.10.2013 20:45

Přehlednost zajistí nové řádky... Jak jsem psal - bílé znaky musí být jen mezi slovy...

define ``

ddd = 25
Start- eee = 258
. iii = 416 + 256
. k;
       ``

Hore Odpovedať

12.10.2013 20:45

Kit

Tvůrce

Kit:12.10.2013 20:46

Mohl bych se zeptat na účel toho jazyka? Pokud potřebuji jen zpracovat nějaká vstupní data, tak na to si dělám jednořádkové filtry, které jsou schopny zpracovat data rychleji, než jakou rychlostí je schopen disk dodávat.

Hore Odpovedať

12.10.2013 20:46

Vlastnosti objektů by neměly být veřejné. A to ani prostřednictvím getterů/setterů.

Kdosi

Nevyplnené

Kdosi:12.10.2013 20:50

Je to nadstavba C - to je účel. Má to funkčnost C + dynamyckou správu paměti, automatické typování atd...

Hore Odpovedať

12.10.2013 20:50

vitamin

Člen

vitamin:12.10.2013 20:53

Mam taky dojem ze nevies ako vytvarat vnorene bloky preto mas vsetko na jednej urovni (premenne deklarujes na globalnej urovni a nastavujes viditelnost pre konkretne bloky). Dalej mas zrejme problem vytvorit priority operatorov a asi nemas implementovane podmienky, cykly...
Miesto ` ... `
mozes pouzit { ... } alebo ( ... )

Hore Odpovedať

12.10.2013 20:53

vitamin

Člen

vitamin:12.10.2013 20:57

Doprucujem ti precitat si toto:
http://www.amazon.com/…=as_li_ss_tl?…
(Je aj pdf na TPB)

Hore Odpovedať

12.10.2013 20:57

Kdosi

Nevyplnené

Kdosi:12.10.2013 21:00

Ale houby - je to jen možnost - můžeš je deklarovat přímo v daném bloku. Takto může vypadat deklarace: `a=6`

Slavné úrovně tedy:

namespace ddd

    block eee

        block iii

    <

Lepší? Cykly a větvení vedu.

bloky...

switch promenna

    case value, blok, možný break - ne nutný
...

Cykly vše mám. Tvl. Já programuji už nějaký ten pátek - a dobře...

Hore Odpovedať

12.10.2013 21:00

Kdosi

Nevyplnené

Kdosi:12.10.2013 21:03

Ty ` musí být 2 na začátku a nakonci - ale zde je mi to schramsnuto...

Jsou tam i podmíněné skoky atd.

block ddd

<

block eee

set iii, ooo
add ooo, 25 + 6 "ooo += 25 + 6"

    block ggg

    ...

<

Hore Odpovedať

12.10.2013 21:03

Nevyplnené

:12.10.2013 21:04

``- a = 6``

A je to pro současný blok + potomky... -- by bylo internal...

Hore Odpovedať

12.10.2013 21:04

Kit

Tvůrce

Kit:12.10.2013 21:06

Nemohu se zbavit dojmu, že vynalézáš ještě lepší kolo, nežli já

Hore Odpovedať

12.10.2013 21:06

Vlastnosti objektů by neměly být veřejné. A to ani prostřednictvím getterů/setterů.

Nevyplnené

:12.10.2013 21:07

Lokální proměnná:

block ddd

define ``- index = 0``

<

tady už ji neuvidím

inherit ddd, new

set index, 6 "v potomkovi ji vidím díky -..."

Hore Odpovedať

12.10.2013 21:07

vitamin

Člen

vitamin:12.10.2013 21:08

Mozes napisat neco taketo?

block A
    define ``a = 1``
    block B
        define ``b = 2``

        set b, b+a*2      //operator * ma vecsiu prioritu ako +
    <
    set a, b+2     //chyba, b nie je deklarovane v bloku A
<

Hore Odpovedať

12.10.2013 21:08

Kdosi

Nevyplnené

Kdosi:12.10.2013 21:12

Však tak to je... Ale místo set b použiješ add b, ...

Hore Odpovedať

12.10.2013 21:12

Kdosi

Nevyplnené

Kdosi:12.10.2013 21:13

Komenty jsou v ""...

set b, b+a*2

Lze, ale lepší je:

add b, a * 2

Hore Odpovedať

12.10.2013 21:13

vitamin

Člen

vitamin:12.10.2013 21:14

Daj sem zdrojak ak mozes

Hore Odpovedať

12.10.2013 21:14

Kdosi

Nevyplnené

Kdosi:12.10.2013 21:14

+- viditelnost to pak ještě upraví - třeba pro nižší bloky, anebo vyšší, anebo externí...

Hore Odpovedať

12.10.2013 21:14

Najčastejšie vyhľadávané

Diskusia: Do čeho kompilovat?