Co si myslíte o OOP?

[BaldSlattery]

Se svym statickm stylem mysleni nedokazi  vyuzivat jejich vyhodnych vlastnosti

Měl jsi možnost tyto výhodné vlastnosti rozvést. Proč jsi to neudělal?

A proc bych to mel jeste vic rozvadet? Rozvedeno je to vic nez dost. Pro ty, kterym je shury dano programovat v dynamickem prostredi to rozvadet nepotrebuji a pro ty ostatni je to zbytecne. Staticky jazyk, to je neco jako vezeni. Tvrda omezeni, pevny rad, vse mas nalajnovano, zadna svoboda/flexibilita. Je to efektivni a prinasi to pocit bezpeci, protoze je o tebe postarano a neses minimalni zodpovednost. Kdyz jsi v tom moc dlouho, tak se pak na svobode citis ztraceny a chtel bys zpet do toho vytyceneho radu, kde se o tebe postaraji. Vysvetluj nekomu takovemu hodnotu svobody. Ja ti pochopeni neprinesu a uz vubec nevnutim, to je tvuj boj, me to nevycitej a na me to neprenasej.

Připomněl jsi mi peklo fixní délky stringů v Pascalu. S tím se fakt nedalo rozumně pracovat. Staticky typovaného jazyka jsem si užil až až.

Fixní délka v typu může být užitečná. I když asi spíše u seznamu než řetězce.

[Reklama]

[BaldSlattery]

nemá smysl si stěžovat, že výpočetní model OOP je jiný než funkcionální, a tvrdit, že jeden je lepší než druhý.

To ne.

[Kadet]

V pripade event sourcingu, kdy je historie vsech zmen uchovana jako linearni log zprav, je suffix takovyho logu skutecne kontinuace.

V jazycich, kde neni cas explicitni, ale implicitne schovanej ve vnitrnostech runtimu v zasobniku, je kontinuace rovna tomu zasobniku. Tj. na zasobnik ulozim to, co chci vypocitat potom az dokoncim neco ted. Mnozina vsech operaci odlozena do budoucna = kontinuace = runtime stack.

[Inkvizitor]

Připomněl jsi mi peklo fixní délky stringů v Pascalu. S tím se fakt nedalo rozumně pracovat. Staticky typovaného jazyka jsem si užil až až.

Fixní délka v typu může být užitečná. I když asi spíše u seznamu než řetězce.

Pokud si to dobre vybavuju, tak v Pascalu byl akorat tak fixni limit na delku (klasicky string do 255 znaku, ANSI string mel max. delku omezenou maximalni hodnotou integeru). Fixni delka patri spis k poli (pripade n-tici) a ne seznamu, tam pro to nevidim moc smysl.

[v]

Připomněl jsi mi peklo fixní délky stringů v Pascalu. S tím se fakt nedalo rozumně pracovat. Staticky typovaného jazyka jsem si užil až až.

Fixní délka v typu může být užitečná. I když asi spíše u seznamu než řetězce.

Pokud si to dobre vybavuju, tak v Pascalu byl akorat tak fixni limit na delku (klasicky string do 255 znaku, ANSI string mel max. delku omezenou maximalni hodnotou integeru). Fixni delka patri spis k poli (pripade n-tici) a ne seznamu, tam pro to nevidim moc smysl.

dá se třeba zabezpečit funkce head

Kód: [Vybrat]

head :: Vec (1 + more) a -> aVec je seznam s počtem prvků v typu, ale záleží co přesně znamená "fixní"

[Reklama]

[Inkvizitor]

Připomněl jsi mi peklo fixní délky stringů v Pascalu. S tím se fakt nedalo rozumně pracovat. Staticky typovaného jazyka jsem si užil až až.

Fixní délka v typu může být užitečná. I když asi spíše u seznamu než řetězce.

Pokud si to dobre vybavuju, tak v Pascalu byl akorat tak fixni limit na delku (klasicky string do 255 znaku, ANSI string mel max. delku omezenou maximalni hodnotou integeru). Fixni delka patri spis k poli (pripade n-tici) a ne seznamu, tam pro to nevidim moc smysl.

dá se třeba zabezpečit funkce head

Kód: [Vybrat]

head :: Vec (1 + more) a -> aVec je seznam s počtem prvků v typu, ale záleží co přesně znamená "fixní"

Pokud ma byt hlavicka fixni, rozhodne bych to nedelal pres vektor, ale pres strukturu/record/tuple.

[Kit]

Připomněl jsi mi peklo fixní délky stringů v Pascalu. S tím se fakt nedalo rozumně pracovat. Staticky typovaného jazyka jsem si užil až až.

Fixní délka v typu může být užitečná. I když asi spíše u seznamu než řetězce.

K čemu může být užitečná fixní délka typu v seznamu? Seznam by tuto vlastnost nijak nevyužil.

[Ondra Satai Nekola]

Připomněl jsi mi peklo fixní délky stringů v Pascalu. S tím se fakt nedalo rozumně pracovat. Staticky typovaného jazyka jsem si užil až až.

Fixní délka v typu může být užitečná. I když asi spíše u seznamu než řetězce.

K čemu může být užitečná fixní délka typu v seznamu? Seznam by tuto vlastnost nijak nevyužil.

Seznam vs. Spojovy seznam...

[BaldSlattery]

Připomněl jsi mi peklo fixní délky stringů v Pascalu. S tím se fakt nedalo rozumně pracovat. Staticky typovaného jazyka jsem si užil až až.

Fixní délka v typu může být užitečná. I když asi spíše u seznamu než řetězce.

K čemu může být užitečná fixní délka typu v seznamu? Seznam by tuto vlastnost nijak nevyužil.

Pro typovou kontrolu operací pracujících s délkou, třeba append. Je to prostě silnější typová kontrola při překladu.

[v]

Připomněl jsi mi peklo fixní délky stringů v Pascalu. S tím se fakt nedalo rozumně pracovat. Staticky typovaného jazyka jsem si užil až až.

Fixní délka v typu může být užitečná. I když asi spíše u seznamu než řetězce.

Pokud si to dobre vybavuju, tak v Pascalu byl akorat tak fixni limit na delku (klasicky string do 255 znaku, ANSI string mel max. delku omezenou maximalni hodnotou integeru). Fixni delka patri spis k poli (pripade n-tici) a ne seznamu, tam pro to nevidim moc smysl.

dá se třeba zabezpečit funkce head

Kód: [Vybrat]

head :: Vec (1 + more) a -> aVec je seznam s počtem prvků v typu, ale záleží co přesně znamená "fixní"

Pokud ma byt hlavicka fixni, rozhodne bych to nedelal pres vektor, ale pres strukturu/record/tuple.

"fixní" jsem spíš interpretoval jako "počet prvků seznamu je pevně daný typem, ale ne neměnný"

[Kit]

Připomněl jsi mi peklo fixní délky stringů v Pascalu. S tím se fakt nedalo rozumně pracovat. Staticky typovaného jazyka jsem si užil až až.

Fixní délka v typu může být užitečná. I když asi spíše u seznamu než řetězce.

K čemu může být užitečná fixní délka typu v seznamu? Seznam by tuto vlastnost nijak nevyužil.

Pro typovou kontrolu operací pracujících s délkou, třeba append. Je to prostě silnější typová kontrola při překladu.

Co když potřebuji mít v seznamu položky různého typu a s rozdílnou délkou?

[BaldSlattery]

Připomněl jsi mi peklo fixní délky stringů v Pascalu. S tím se fakt nedalo rozumně pracovat. Staticky typovaného jazyka jsem si užil až až.

Fixní délka v typu může být užitečná. I když asi spíše u seznamu než řetězce.

K čemu může být užitečná fixní délka typu v seznamu? Seznam by tuto vlastnost nijak nevyužil.

Pro typovou kontrolu operací pracujících s délkou, třeba append. Je to prostě silnější typová kontrola při překladu.

Co když potřebuji mít v seznamu položky různého typu a s rozdílnou délkou?

Pak to chce typovou třídu. Nijak to ale nesouvisí se zahrnutím velikosti kolekce přímo do typu.

[Kit]

Připomněl jsi mi peklo fixní délky stringů v Pascalu. S tím se fakt nedalo rozumně pracovat. Staticky typovaného jazyka jsem si užil až až.

Fixní délka v typu může být užitečná. I když asi spíše u seznamu než řetězce.

K čemu může být užitečná fixní délka typu v seznamu? Seznam by tuto vlastnost nijak nevyužil.

Pro typovou kontrolu operací pracujících s délkou, třeba append. Je to prostě silnější typová kontrola při překladu.

Co když potřebuji mít v seznamu položky různého typu a s rozdílnou délkou?

Pak to chce typovou třídu. Nijak to ale nesouvisí se zahrnutím velikosti kolekce přímo do typu.

K čemu by mi byla typová třída, když mi plně vyhovuje rozhraní? A tu kolekci chci mít nafukovací, takže její fixní velikost by mi byla také k ničemu.

[Mirek Prýmek]

Jo, kontinuace je monáda 

To sice jo, ale asi to nikomu úplně neobjasní, co to kontinuace je, páč monáda je beztak při troše vůle skoro všechno

BTW, Balde*, recence na tu The Little Typer mě oslovily, tak jsem neodolal a koupil si to. Formát je teda silně neortodoxní, snad se to bude dobře číst Dík za tip!

* a vůbec, neměň si furt ty nicky - a navíc tak blbě, kdo má pořád přemýšlet, jak od těch tvých úletů vytvořit vokativ!

[...] je suffix takovyho logu skutecne kontinuace. [...] je kontinuace rovna tomu zasobniku.

Sorry, ale obraty "log je kontinuace" a "kontinuace je rovna zásobníku" jsou mi teda úplně nesrozumitelný

(Ne že bys to musel vysvětlovat ausgerechnet mně, ale docela pochybuju, žes tím příspěvkem někomu něco srozumitelnýho sdělil To jenom tak zpětná vazba pro tebe )

[JS]

Pak to chce typovou třídu. Nijak to ale nesouvisí se zahrnutím velikosti kolekce přímo do typu.

K čemu by mi byla typová třída, když mi plně vyhovuje rozhraní? A tu kolekci chci mít nafukovací, takže její fixní velikost by mi byla také k ničemu.

Typova trida je v podstate rozhrani, akorat o neco lepsi.

Jinak BaldSlatterovi - premyslel jsem nad tim a uznavam, ze mas pravdu o tom simply-typed lambda kalkulu. Asi to brzo vyzkousim v praxi, protoze se chystam napsat si prekladac totalniho funkcionalniho jazyka, ktery bude mit STLC jako typovy system.