Zobrazit příspěvky

Tato sekce Vám umožňuje zobrazit všechny příspěvky tohoto uživatele. Prosím uvědomte si, že můžete vidět příspěvky pouze z oblastí Vám přístupných.


Příspěvky - BoneFlute

Stran: 1 ... 49 50 [51] 52 53 ... 133
751
/dev/null / Re:Těžké OOP problémy
« kdy: 13. 11. 2019, 13:45:20 »
HKT, to jsou obecné konstrukce
Ale psal jsi, že HKT jsou tak trochu s minimálním efektem...

Mě by se třeba v jazyce líbilo trochu víc omezení rozsahu typů. Například:
Kód: [Vybrat]
function formatName(name: String 1..20, surname: String 1..20)
Trochu jsem se shlédl v tom jak to má databáze.
Pochopil jsem, že toto zřejmě řeší závislostní typy (mimojiné).

Taky by se mi líbila taková jakože obecná dědičnost typů, kdy:
Number > Int > Age > Young
Přičemž by samozřejmě platilo, že jako Int mohu použít Age, ale naopak ne.

A přitom se s tím v jazycích vůbec nesetkávám.

752
/dev/null / Re:Těžké OOP problémy
« kdy: 13. 11. 2019, 13:36:54 »
Ne. Satan zabil bezkonkurenčně největší počet lidí (a andělů). Protože nebýt jeho, tak neumíráme. Díky němu (taky) umíráme. Takže má na svědomí každou smrt každého člověka, který kdy žil. A to asi těžko někdo trumfne.

Ne, umíráme kvůli své chybě.

Nenapadá mě interpretace Biblického výkladu, kdy by to bylo jak říkáš. Ale samozřejmě myslet si můžeš cokoliv.

753
/dev/null / Re:Těžké OOP problémy
« kdy: 13. 11. 2019, 10:51:04 »
Když se tady rozjela náboženská diskuze, tak mě jako laika vždy zajímalo několik odpovědí, ale když jsem se zeptal křesťanů, tak mě obvinili z rouhačství.
Já ti to sice nevěří, že tě to skutečně zajímá a jen rejpeš, ale je to hezkej seznam, tak budiž.

Za předpokladu, že je pravdivé tvrzení, že Bůh vědomě způsobil smrt lidem při potopě nebo v Sodomě-Gomoře, tak jaké jsou odpovědi na následující tvrzení?

A) Pokud by se na Boha vztahoval náš Občanského zákoníku, tak je Bůh masový vrah?
Ne, není. Nejedná se o vraždu, ale o vykonání rozsudku smrti.

B) Je podle biblických zákonů Bůh masový vrah?
Není

C) Jsou podle Bible andělé považování za vrahy pokud zabijí lidi?
Vybavuji si jednen případ, pobití Asyřanů - a to byla naprosto legální - detaily si dostuduj.

D) Budu podle Bible považován za vraha když zabiji Boha nebo anděly?
Máš na to právo? On se vůči tobě dopustil nějaké zločinu?

E) Budu podle Bible považován za vraha když zabiji Satana?
Máš na to právo? Nemáš.

F) Zabil Bůh větší množství lidí než Satan?

U F) bych poprosil rozebrat konkrétní biblické události, které dokazují tvrzení. Vždy ve spojení s Biblí slyším o tom, že Bůh někoho zabil ale nevzpomínám si, že bych slyšel o zabíjení ze strany Satana.

Ne. Satan zabil bezkonkurenčně největší počet lidí (a andělů). Protože nebýt jeho, tak neumíráme. Díky němu (taky) umíráme. Takže má na svědomí každou smrt každého člověka, který kdy žil. A to asi těžko někdo trumfne.

G) Je podle Bible vrahem člověk, který zavraždí jiného člověka pod vlivem psychické nemoci?
Není. Doporučuji nastudovat jak to měli ve starověkém Izraeli s útočistnými městy. Moc šikovné.

H) Byl podle Bible Kain psychicky zdravý a zodpovědný za své jednání když zabíjel Abela?
Byl zdravý. A nejen to, dokonce ho Bůh osobně varoval. A nejen, že ho varoval, dokonce následně mu bylo úplně fuk, co provedl, takže se nedá mluvit ani o lítosti.

Stačí takto? V opačném přápad PM prosím.

754
/dev/null / Re:Těžké OOP problémy
« kdy: 13. 11. 2019, 10:14:45 »
Citace: Idris linke=topic=22043.msg320506#msg320506 date=1573634974
Tak ono to není nic světoborného.
Idris, neštvi! Koukni v jaké kategorii vlákno skončilo a ty by si mohl poskytnout tak pěkné myšlenky!

Citace: Idris linke=topic=22043.msg320506#msg320506 date=1573634974
Ale uvedu jeden důležitý případ. Řekněme, že mám objektovou databázi a k ní metodu fetch<T>(T->bool)->[T], která mi má vrátit seznam instancí T, které splňují podmínku danou λ-výrazem, což může být například \person -> person.age >= 18 && person.children.count > 0, prostě libovolný výraz pracující s daty objektu. A teď si představme databázi, kde je objektů chtěného typu miliarda. Asi je zřejmé, že je blbost načítat je z databáze všechny a vyhodnocovat. Takže buď můžu podmínku zapsat jako řetězec a někde bokem rozparsovat (jako s SQL, ale pak překlepy a absence typové kontroly) a použít index, nebo použít nějaký preprocesor, který volání fetch nějak něčím nahradí. Přitom by nebyl problém mít v rámci introspekce (“reflexe”) přístup nejen k datům objektů (to tady taky potřebuju, aby šly objekty uložit do databáze a pak zase poskládat), ale i k ASTu toho výrazu, který mě zajímá. Pak můžu mít přímo v kódu databáze analýzu toho λ-výrazu a použít index, s plnou typovou kontrolou, v rámci jednoho jazyka, bez preprocesorů a skákání na jinou - méně intuitivní - syntax. Když je výraz hodně složitý, může index seznam předfiltrovat a pak se projde a výraz se vyhodnotí (“aspoň něco”). Takto by to bylo plně transparentní a nikdo by se nemusel učit SQL/OQL apod.
Hezký.
To zní jako LINQ?
Já jsem si něco takového dělal tak, že jsem vytvářel Expression pomoci objektoveho builderu. Což je sice funkční, ale pěkně hnusný. Tak jsem si ten builder předělal na parser DSLka ze kterého mi vypadl ten samej Expression akorad se to líp zapisovalo.
Matně tuším, že Scala má nějakou podporu pro DSL, takže se to nemusí obchházet přes parsování řetězce.
Chapu tě dobře?

Hezký. Co tam v tom seznamu máš dál? :-)

755
/dev/null / Re:Těžké OOP problémy
« kdy: 13. 11. 2019, 00:27:08 »
Pokud chci verit, at uz v to, ze buh existuje nebo ze neexistuje, muzu chvilku premitat a pak si neco vybrat.
OK, možná je to přirovnání blbé, protože u mě to takhle určitě nefungovalo. Já jsem si nikdy neřekl "tak, já bych chtěl věřit v Boha". (Ostatně neznám nikoho, kdo by to tak měl.)

756
/dev/null / Re:Těžké OOP problémy
« kdy: 13. 11. 2019, 00:01:57 »
Jsou ovšem vlastnosti, které jazykům trestuhodně chybí, osobně mám seznam konstrukcí (čistě z praxe), které budou na sto procent v jazyku, který si vytvořím :)
Nenech se ukecávat!

757
/dev/null / Re:Těžké OOP problémy
« kdy: 12. 11. 2019, 23:52:34 »
Nedělám, jako profesionální jazykovědec a amatérský sémiotik (a tuplem rekreační filosof) mě skutečně zajímá ten myšlenkový pochod.
Během mé profese jsem vypozoroval, že sice všechny ty Higher-order types jsou sice úžasné a dozajista úžitečné a taky to miluji. Ale třeba i mě osobně činí problémy cokoliv složitějšího jak "přidat prvek", "odebrat prvek". A tak jsem uvažoval nad tím, že buď bude programování vyhrazeno pouze pro určité fakt nabušené jedince - což neprojde. Nebo se tomu musí přizpůsobit jazyk (go-lang, java, c#, python). Jenže pak je to děsné plejtvání člověkočasem, páč se věci objevujou znova a znova. To vidim v práci, kde jsou to všichni strašně chytrý lidi, ale jejich kód mám opravovat já a poučovat je o základních věcech. To je přece divný.

Co ty na to jako jazykomilec?
Že každý má hranici chápání jinde. Mám-li být upřímný, cokoliv nad rámec Basicu konce 80. let vyžaduje netriviální znalosti+schopnosti+talent. Už jen lambda výrazy se blbě učí i na VŠ (ovšem s tím dnešním materiálem...). Pro praktické použití je ideální to Go, v tom jde napsat cokoliv včetně soft realtime (osobně odzkoušeno na takových těch velkých teleskopech, co jsou v Atacamě). Cokoliv nad rámec generických typů nultého řádu chápe minimum lidí a význam je čistě teoretický.

OK. Vem si příklad:
Kód: [Vybrat]
function sum(a, b) {
    return a + b
}

versus

Kód: [Vybrat]
function sum(a: Int, b: Int) : Int {
    return a + b
}
Proč mám takovej problém jim to vysvětlit? Co je tak těžkého pochopit, že si musím "hlídat" co mi tam leze?

758
/dev/null / Re:Těžké OOP problémy
« kdy: 12. 11. 2019, 23:35:32 »
Matematika je ostatně taky asi jediná věc, kde se dá bavit o faktech. Jinak všude jinde je to víra kam se podíváš.
Jenže o faktech o imaginárním* světě :)
Vím. Velice dobře si to uvědomuji :-)

759
/dev/null / Re:Těžké OOP problémy
« kdy: 12. 11. 2019, 23:34:24 »
Arabsky neumím, ale je fakt, že typologicky jsou jazyky velmi rozmanité a výrazně reflektují světonázor svých mluvčích. Andští Indiáni například říkají, že něco mají před sebou, když to mají za sebou, pro ně je prostě historie před nimi a budoucnost za nimi (což je logické, historie je známa, lze ji vidět, budoucnost vyžaduje prognostika).

Nebo taková tuvinština, tam se každé sloveso pohybu povinně pojí s příslovcem “po proudu” nebo “proti proudu” podle nejbližšího toku a (anti)paralelity pohybu. Výzkumy prokázaly, že tamní mluvčí se výrazně lépe orientují v prostoru. Ale to jsme už v kognitivní vědě, věrouka je o něčem zcela jiném.
Moc zajímavé, děkuji.

760
/dev/null / Re:Těžké OOP problémy
« kdy: 12. 11. 2019, 23:32:03 »
Nedělám, jako profesionální jazykovědec a amatérský sémiotik (a tuplem rekreační filosof) mě skutečně zajímá ten myšlenkový pochod.

Během mé profese jsem vypozoroval, že sice všechny ty Higher-order types jsou sice úžasné a dozajista úžitečné a taky to miluji. Ale třeba i mě osobně činí problémy cokoliv složitějšího jak "přidat prvek", "odebrat prvek". A tak jsem uvažoval nad tím, že buď bude programování vyhrazeno pouze pro určité fakt nabušené jedince - což neprojde. Nebo se tomu musí přizpůsobit jazyk (go-lang, java, c#, python). Jenže pak je to děsné plejtvání člověkočasem, páč se věci objevujou znova a znova. To vidim v práci, kde jsou to všichni strašně chytrý lidi, ale jejich kód mám opravovat já a poučovat je o základních věcech. To je přece divný.

Co ty na to jako jazykomilec?

761
/dev/null / Re:Těžké OOP problémy
« kdy: 12. 11. 2019, 23:23:55 »
V případě IT to beru exaktně, čistě matematicky.

Matematika je ostatně taky asi jediná věc, kde se dá bavit o faktech. Jinak všude jinde je to víra kam se podíváš.

762
/dev/null / Re:Těžké OOP problémy
« kdy: 12. 11. 2019, 23:15:35 »
Taky si vem, že oni do nich hustí, jak ten jejich někdo někde v Américe objevil, jaké že je to opravdové Boží jméno! To je pašák, no né?! Není úplně v jejich zájmu jim říct, že to je relativně dobře známo :)  (Teda nevím, jaká je jejich teologie teď, oni se taky trochu posouvají, tohle jsem se dozvěděl někdy cca deset let zpátky)
Tak možná nevíš, že mají ofiko stránky, kde je úplně komplet jejich věrouka a Strážné věže až do já nevím kdy. I v češtině. Takže aby si potom nedopadl jak jsem tuhle varoval listopera:
Jako prostě pokud chci něco zpochybňovat, tak bych si měl dát majzla na to, zda to není trapně jednoduché a nebudu za blbce sám.

763
/dev/null / Re:Těžké OOP problémy
« kdy: 12. 11. 2019, 23:11:14 »
Prijde mi usmevne ze tomu nekdo bezvyhradne  veri stejne jako to, ze to nekdo vehementne popira.

To je tvoje právo a tvoje věc.

Přirovnal bych to asi takhle:
Jsou lidé, kterým vyhovuje Python. Což je naprosto v pořádku. Pak jsou ale jedinci, kteří tvrdí, že Python je něčím výrazně lepší. To už je horší. A pak jsou tací, kteří tvrdí, že Python je něčím výrazně lepší, a ty seš idiot, který to nikdy nepochopí.

Teď neříkám co je co. Ale problém s ne/vírou bych řekl bude podobný. V mnoha případech, ne-li ve většině nejde o fakta, nebo argumenty. Ale o lidský postoj. A čím emotivnější oblast, tím hůře se přiznává nepoctivost v pohnutkách.
Akorát u prog. jazyků existují faktická kritéria, tam to není o víře.
To asi máme každý z nás jiné chápání slova víra. Pro mě víra v Boha je založena na racionálních důkazech, které z určitých pochopitelných důvodů nemohou být úplné. (Ani já jsem Ho neviděl, statečně přiznávám.)
Stejně tak má víra v to, že ten který jazyk je výrazně lepší než jiný je založen na racionálních důkazech, které z učitých ekonomických a časových důvodů nejsou úplné.

Samozřejmě pokud si pod slovem víra představuješ takové to "já prostě věřím", tak s tím di někam, to není můj případ.

764
/dev/null / Re:Těžké OOP problémy
« kdy: 12. 11. 2019, 23:01:03 »
Prijde mi usmevne ze tomu nekdo bezvyhradne  veri stejne jako to, ze to nekdo vehementne popira.

To je tvoje právo a tvoje věc.

Přirovnal bych to asi takhle:
Jsou lidé, kterým vyhovuje Python. Což je naprosto v pořádku. Pak jsou ale jedinci, kteří tvrdí, že Python je něčím výrazně lepší. To už je horší. A pak jsou tací, kteří tvrdí, že Python je něčím výrazně lepší, a ty seš idiot, který to nikdy nepochopí.

Teď neříkám co je co. Ale problém s ne/vírou bych řekl bude podobný. V mnoha případech, ne-li ve většině nejde o fakta, nebo argumenty. Ale o lidský postoj. A čím emotivnější oblast, tím hůře se přiznává nepoctivost v pohnutkách.

765
/dev/null / Re:Těžké OOP problémy
« kdy: 12. 11. 2019, 22:52:48 »
Mimochodem, to "Jahve" (Jehovah) vzniklo prostě tak, že se vzal tetragrammaton JHWH a proložil se samohláskami z "adonai" (Pán). Rád s tímhle škádlím Jehovisty, když mi přijdou vykládat o tom, jak mě Bůh miluje :) Občas se zeptám, jestli když je pro ně to slovo Jehova tak důležité, jestli ví, jak vzniklo. Neví, rychle odejdou a nabídnou povolání někoho z level 2 supportu :)

Tak to trošku kecáš, že jo.

Samozřejmě, že po nich nemůžeš chtít, aby znali kdejakou okrajovou teorii o tom, jak to slovo Jehova vzniklo. Ale ten verš jak dával Mojžíšovi najevo jak se jmenuje (to bude někde u Exodu) by dát mohli. A to, že nevíme jak se ten tetragrameton vyslovoval určitě budou znát taky.

Taky je otázka, jestli odejdou proto, protože neví, nebo protože pochopí co jsi zač :-)

Stran: 1 ... 49 50 [51] 52 53 ... 133