Příspěvky

2236

Vývoj / Re:Proč pořád používáme TTY, konzole a terminál?

« kdy: 22. 06. 2017, 15:12:44 »

Ale jak nekdo sahne na svate unixove dogmy tak se frakce mezi sebou pozerou navzajem.

Že by to bylo tím, že některým z nás to, jak unixy fungují, prostě vyhovuje?!

A kdyz jim to vyhodite na oci tak vas vyzenou slovy "udelej si sam".

Jenže takhle to v našem světě chodí - když chci něco nového, můžu buď někomu zaplatit, ať to udělá, někoho přesvědčit, že to je tak super, že to chce udělat zadarmo, nebo to udělat sám.

Pečený holubi terminály do huby nelítaj. Za vším, co máme, je někdo, kdo na tom máknul.

A kdyz to nahodou i nakodite tak pak po vas budou chtit zdrojaky aby roztroluji alespon ty

Nepamatuju si, že by tady vůbec někdo z těch fantazírujících revolucionářů předvedl aspoň stupidně jednoduchý proof of concept, který bych si mohl stáhnout z githubu. Všechno to vždycky byly jenom fantazie "bylo by to něco jako Facebook, ale lepší". Nejfrekventovanější mluvnický tvar: kondicionál. Nejmíň frekventovaný: minulý čas.

2237

Studium a uplatnění / Re:Zkouška z FP

« kdy: 22. 06. 2017, 10:47:35 »

Něco by se asi našlo, třeba kompozice rozhodnutelné a nerozhodnutelné funkce může být rozhodnutelná, takže stojí za to se nad tím zamyslet a ujasnit si, kdy můžu bezpečně použít nerozhodnutelnou funkci (aniž by se mi výpočet zacyklil). Prostě obecně důsledky můžou být nepřímé a dalekosáhlé a své tvrzení bys těžko nějak rozumně obhájil (tvrzení o neexistenci se vyvrací snadno  )

Tak to jsou důsledky práce s nerozhodnutelnými fcemi obecně. Já jsem myslel, že si moc neumím představit nějaké důsledky toho, že "monády nejsou monády [v matematickém smyslu]"

2238

Studium a uplatnění / Re:Zkouška z FP

« kdy: 22. 06. 2017, 10:30:54 »

Protože v praktickém programování se FP nepoužívá...

Ani pro praktické programování v Haskellu to žádný důsledek nemá.

2239

Studium a uplatnění / Re:Zkouška z FP

« kdy: 22. 06. 2017, 10:19:14 »

Každopádně jde o docel zajímavý vhled, ne? Jedním z důsledků například je, že monády ve FP nejsou monády

Ani ne, důsledky pro praktické programování to nemá žádné.

2240

Studium a uplatnění / Re:Zkouška z FP

« kdy: 22. 06. 2017, 10:11:27 »

Jo, to sis teď našel 

Naopak, teprve jak jsem to napsal, tak jsem klikl na ten link výš a uzarděl se, že jdu s dřívím do lesa

2241

Studium a uplatnění / Re:Zkouška z FP

« kdy: 22. 06. 2017, 09:59:11 »

Když třeba v Haskellu budu uvažovat i funkce, co ne vždy ukončí výpočet, tak na nich nejde rozumně nadefinovat ekvivalence (viz nedávná diskuze zde o ekvivalenci v JS), takže pak nedávají smysl třeba komutativní diagramy a veškeré definice ztrácí smysl.

Dalo by se to asi říct i jednodušeji neformálně: pokud je funkce z Int do bottom, tak bys musel mít typ bottom, ale na něm nejde udělat identita.

2242

Studium a uplatnění / Re:Zkouška z FP

« kdy: 22. 06. 2017, 09:18:28 »

(šipky se říká běžně, to problém není)

Arrow je v Haskellu něco jinýho, proto by mu to teoreticky mohlo vadit, kdyby si chtěl na studentovi honit triko.

nejsou všechny funkce, ale jen ty vyčíslitelné. Kdyby se braly v úvahu všechny, tak by to už nebyla kategorie (a taky to v FP nemá smysl).

Že by ho vyhodil na takovou kravinu? No, jestli je debil, nebo jestli student dělal chytrýho, tak je to možný.

2243

Studium a uplatnění / Re:Zkouška z FP

« kdy: 22. 06. 2017, 08:56:08 »

Je to věcně správně. Pan učitel si možná potrpí na formálnější onanii, nemá rád slovo "šipka" a vyžaduje "morfismus"

P.S. Na jaké je to škole, že se v rámci FP učí CT? Nebo je to nějaký pokročilý předmět z FP?

2244

Vývoj / Re:Proč pořád používáme TTY, konzole a terminál?

« kdy: 21. 06. 2017, 20:46:28 »

Možná jste na něj zbytečně agresivní, nezdá se vám? To, že to chce probrat na fóru, tak od čeho to fórum je, kruci, než aby si povídal?

Mno, ale všimni si, že OP ani jednou neřekl "chtěl bych zkusit udělat", jenom "chtěl bych". Dostal zadarmo velmi slušně fungující systém, ale od začátku jenom držkuje, že by chtěl něco jinýho.

No tak když chce, ať vezme dva miliony a dá je někomu, ať mu to naprogramuje, ne? Nebo ať stráví pěkných pár stovek večerů tím, že to udělá sám. Ale tohleto nadávání na to, že něco, co jsem dostal zadarmo, se mi nelíbí a chci něco jinýho, to je hodný tak dítěte v období vzdoru (nebo těch millenials).

2245

Vývoj / Re:Proč pořád používáme TTY, konzole a terminál?

« kdy: 21. 06. 2017, 02:29:58 »

Budu hodně offtopic, ale víte, že xterm umí emulovat Tektronix 4014 (vektorový terminál) už ... no hodně dlouho... asi tak třicet let. A nikdo to nepoužívá, nikomu to ani evidentně nechybí :-)

Hint: xterm -t

(back to the future)

Tyjo, tak to je pecka! Existují na to nějaké aplikace, dema, ...? Na youtube jsou ukrutný videa k tomu originálnímu Tektronixu. Třeba https://www.youtube.com/watch?v=FFidv071sHk je krutopřísný

2246

Vývoj / Re:Proč pořád používáme TTY, konzole a terminál?

« kdy: 20. 06. 2017, 22:59:21 »

A na konci toho všeho bude jeden velký všemocný PROGRAM

Není důvod používat jiný program než prohlížeč.

Není důvod používat jiný prohlížeč než PROGRAM.

2247

Vývoj / Re:Proč pořád používáme TTY, konzole a terminál?

« kdy: 20. 06. 2017, 12:07:36 »

Napriklad nemusim opoustet okno konzole, co napr. ve fullscreenu je dost ergonomicky problem.

Ja tenhle problem nemam, pouzivam tilling WM.

Stary terminal vam nikdo nebere, ten at funguje dal, treba pro vzdaleny pristup. Tady se bavime o ConsoleNT bez dedictvi minulosti s lepsi funkcionalitou nez doted.

No tu ConsoliNT by musely nejakym zpusobem podporovat i vsechny ty konzolove utility, takze by to asi efektivne znamenalo znovu napsat, resp. dost radikalne prepsat cely userland... To mi prijde jako dost velke cena za to, abys nemusel jednou zmacknout ALT+TAB

2248

Vývoj / Re:Proč pořád používáme TTY, konzole a terminál?

« kdy: 20. 06. 2017, 11:54:02 »

V LinuxuNT s ConsoleNT bude ten cat inteligentni. Detekuje png hlavicku a kdyz vystupem je konzole tak primarne ten obrazek zobrazi primo v konzoli

Sorry, asi jsem blbej, ale mohl by mi nekdo jako ctyrletymu diteti vysvetlit, jakej problem by tenhle system resil?

V soucasnosti misto "cat leguan_porn.png" zadam "feh leguan_porn.png" a mam efekt stejnej, akorat se mi to misto v konzoli otevre v samostatnem oknu.

To, co si predstavujete, znamena obrovskej zasah do zpusobu, jakym unixy funguji po desetileti, je tam obrovskej potencial spoustu veci rozbit, a resi to problem jakej? Aby se mi obrazek zobrazil ve stejnym okne?

Nebylo by lepsi misto pseudoproblemu resit veci, ktery jsou opravdu akutne potreba (jako treba stabilita btrfs/ZFS na Linuxu)?

2249

Vývoj / Re:Proč pořád používáme TTY, konzole a terminál?

« kdy: 19. 06. 2017, 22:17:09 »

Spise by me zajimalo co bys z linuxu vyhodil, prekopal ty ?

Proč bych měl teoretizovat o něčem, na co nemám sebemenší vliv? Taky neteoretizuju o tom, jak bych zreformoval hospodářství Severní Koreje...

2250

Vývoj / Re:Proč pořád používáme TTY, konzole a terminál?

« kdy: 19. 06. 2017, 21:35:09 »

Neni to vtip, unixy jsou mrtve a zije uz jen svata trojice linux, bsd, macOS.

Jasný. Unixy jsou mrtvé a žijí unixy *BSD a MacOS X. A není to vtip. Chápu

To nic nemeni na faktu, ze se na POSIX muzou kdykoliv vybodnout.

Ano, to je zjevná tautologie. Stát se může cokoli. Například Microsoft může začít prodávat linuxový OS.

BSDčka certifikovaná nejsou, protože by to byly pro ně vyhozené peníze, ale jinak jsou rozhodně víc POSIX-compliant než Linux.

Vycucano z prstu Mr.Prymkem.

Ne. Pro linuxy je důležitější LSB. A třeba i Linus se jasně vyjádřil, že nehodlá dodržovat POSIX v těch pasážích, kde (podle něj) nařizuje blbosti.

Jinak pro ilustraci: https://www.freebsd.org/doc/en/books/porters-handbook/dads-use-posix-standards.html