Scheme snadno a rychle - 0. sprava pameti (diskuse)

[Kyosuke]

Nikdy bych nevěřil, že je možné o tak krásném jazyku psát tak odporným jazykem.

[deda.jabko]

a bude hur! zatim jsem o scheme nenapsal ani radku... ;-]

ale jinak, co vam vadi? absence velkych/malych znaku, carky tam kde nemaji byt, amerikanismy? mozna se pro priste polepsim....

[Käyttäjä 11133]

Mi osobně pouze velké a malé písmena

[Kyosuke]

Ano, to je poznat už z toho nepřízvučného osobního zájmena v přízvučném postavení.

[Kyosuke]

BTW, ostraváci říkají „velké a malé písmena“?

[Käyttäjä 11133]

jo :-p

[Kyosuke]

Jo, tohle a pak třeba ještě „režije“ a podobně. BTW, slyšel jsem, že coding standards značně zlepšují čitelnost a udržovatelnost kódu, tak v češtině programuju podle best practices.

[helemesecotonese]

Jee, super! Tak tady na to se moooc tesim! Uz dlouho potrebuju napsat malicky interpret Scheme v intepretovanem jazyce. Doufam, ze se dozvim jak na to. Programovat trochu umim, ale nevystudoval jsem technickou skolu a tak mam problemy to zalgoritmizovat...

PS: jakym jazykem pisete je mi narozdil od kolegy fuk kdyz prilozite zdrojak micro-scheme (zakladni funkcionalita) treba v ANSI C, budu blahem chrochtat traktaty...

[Kyosuke]

Nejlepší je psát interpret Scheme ve Scheme a úplně nejlíp Tě to naučí pánové s fezy, kouzelnickými klobouky a jinými pokrývkami hlavy.

[deda.jabko]

on se z didaktickych ucelu rad implementuje scheme ve schemu, treba tady http://www.federated.com/~jim/schintro-v14/schintro_toc.html, ale neni to kompletni... (chybi treba call/cc... to treba ten "muj" bude umet, hec!) ale jako inspirace hezke, jsou tam popsany a vysvetleny nektereny terminy... ktere tak dobre nepopisu... :-/

kdyby vas to zajimalo, tak implementace bude/je v ansi c.

[helemesecotonese]

Super! To by me teda moc zajimalo. Doufam, ze to bude krasny a cisty kod. Uz se tesim.

[Lukáš Rýdlo]

> ale nevystudoval jsem technickou skolu a tak mam problemy to zalgoritmizovat

A jak to souvisí s technickou školou (ne, vůbec se nenavážím do obsahu výuky na našem ústavu ).

[Ladicek]

Pokud vím, tak počítání referencí se používá třeba v Perlu.

Jinak, líbí se mi (čistě na teoretické rovině) Io. Garbage collector je pár set řádek v Céčku, které se honosí označeními non-moving, tri-color, write-barrier, generational nebo incremental, jimž příliš nerozumím, ale strašlivě mne fascinují

[podlesh]

No, jako úplné základy dobré. O reference counting prakticky ani nemá smysl mluvit, rozhodně pak nemá smysl ho používat.

K té druhé části - konzervativní GC pro C jsou zajímavé, ale jak to souvisí s implementaci Scheme? Jeho použití se může zdát snadnější, ale troufám si říci že ve výsledku se žádná práce neušetří a problémy přibydou (ve srovnání s vlastním GC).

[deda.jabko]

reference counting jsem zminil, protoze presto ze je hodne nedokonaly v praxi se stale pouziva, at uz ve zminenych jazycich, ci aplikacich se smart pointry (a ze tech je). a v implementaci schemu jde docela snadno pouzit (vyzkouseno), ale za cenu degradace rychlosti.

pro spravu pameti jsem zvolil boehmuv gc, protoze odpada samotna implementace garbage collectoru a tudiz napsat interpretr je snadnejsi a rychlejsi ;-] je to proste jak ve vetsine soucasnych jazyku -- alokuj si co potrebujes a o nic vic se nestarej.

mohl byste se prosim rozepsat o potencialnich problemech s pouzitim konzervativniho gc, pred vlastnim? (pominu-li skutecnost, ze konzervativni gc se obcas netrefi)

btw. boehmuv gc pouziva mj. velmi povedena a robustni implementace -- mzscheme.

[podlesh]

reference counting jsem zminil, protoze presto ze je hodne nedokonaly v praxi se stale pouziva, at uz ve zminenych jazycich, ci aplikacich se smart pointry (a ze tech je). a v implementaci schemu jde docela snadno pouzit (vyzkouseno), ale za cenu degradace rychlosti.

V podstatě není důvod proč ho používat jinak než jako nouzovou nadstavbu nad existující správou paměti (to je případ právě těch smart pointerů).

pro spravu pameti jsem zvolil boehmuv gc, protoze odpada samotna implementace garbage collectoru a tudiz napsat interpretr je snadnejsi a rychlejsi ;-] je to proste jak ve vetsine soucasnych jazyku -- alokuj si co potrebujes a o nic vic se nestarej.

To je právě otázka...

mohl byste se prosim rozepsat o potencialnich problemech s pouzitim konzervativniho gc, pred vlastnim? (pominu-li skutecnost, ze konzervativni gc se obcas netrefi)

Nejde ani tak o problémy, jako spíše že není žádný prostor pro vylepšení a přizpůsobení. Vlastní GC umožňuje například řešit fragmentaci paměti nebo může být i plně paralelní, atd. To ale závisí na tom, jaké jsou s tím interpreterem plány.

Konzervativní C garbage collector má ale jednu velkou výhodu - zjednoduší psaní samotného interpreteru.

[deda.jabko]

tak to jsem rad, ze se shodneme.

ono, napsat dobry gc (i treba specializovany) je docela veda a mimo rozsah tohoto clanku. napr. ja ho provozuji v paralelnim prostredi, kde uz to je uplna veda a co jsem tak studoval materialy, tak pan boehm a jeho kolegove jsou v tom docela daleko a hlavne publikuji konkretni reseni.

[Stanislav Bohm]

Pocitani referenci, pokud si to dobre pamatuji, pouziva take Python. Navic k tomu pridava nejaky algoritmus na detekci a rozbijeni zacyklenych referenci.

[freshmouse]

Mě strašně fascinuje tenhle uživatel:

Deda Jabko, blog: blog co se jmenuje "každý den jinak"

A ještě ta patička o ukradených zdrojácích Debianu! To je prostě nářez.

[Kyosuke]

Ty mi povídej o patičkách.

[freshmouse]

Cože?

[Kyosuke]

„Až koffr dostane Nobelovku, ožeru se jako prase.“

[freshmouse]

No jo. Zrovna jsem uvažoval o znovunasazení svojí starší patičky (Prosíme, nevkládejte si do úst stolici nebo její části.), ale ta už je prý okoukaná.

[Kyosuke]

Hmm, co mám říkat já? Moje patička je okoukaná skoro tři čtvrtě tisíciletí.

[Billy The Pilgrim]

Zdrojaky Debianu jsou dobry hlod, to uznavam. Ale "kazdy den jinak" je i nazev kapely (hrajou tusim ponejvic s Redlem)

[deda.jabko]

jojo, presne tak, bohuzel s redlem uz dohrali... kazdopadne to kouzlo rekurze (resp. nekonecne smycky) je uzasne a ta hudba je taky hodne dobra.

[Jary]

Rekurze? Smyčka? Jsem slepý nebo málo inteligentní?

[deda.jabko]

v tom je to kouzlo ;-]

[Lukáš Rýdlo]

Super článek. Možná si taky napíšu nějaký interpretr vlastního jazyka, abych mohl oslňovat slečny slovy "nechcete, abych vas uvedl do taju sveho interpretru?" (a pak se divím, proč se mě lidi, kteří mě neznají, ptají s despektem "Nejseš ty náhodou informatik?" )