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.
Ta narizena dovolena je celokorporatni zalezitost aspon pro EMEA. U nej je to o to blbejsi ze slavi pravoslavne vanoce.To ještě jde, soused slaví Ramadán, takže mu to lítá každý rok jinak.
Tak jasně. Ale někteří jsou schopni tvrdit, že třeba takové C# je staticky typovaný jazyk (přitom je to paskvil). To bychom se nikam nedostali. Bavím se o Haskellu, pokukuji po Idris/Agdě.Podmnožina C# je staticky typovaná
Agda je fajn, ale ruku na srdce, kolik vývojářů je v ní schopno psát efektivně? Pokud tedy vůbec…
Třeba jsem narazil na pár jiných staticky typovaných jazyků, a byly tam demonstrovány monády i když IO bylo řešeno úplně jinak.V jazyce bez HKT se ovšem demonstrují dost těžko, je to jen náhražka.
očekáváš, že ty typy přináší záruky. Těmi typy modeluješ. Funkce je typ. Vztahy jsou typNa to to chce ale hodně silný typový systém
Každý jazyk má něco z CT. I C má typové operátory, Go má závislostní typ apod. Jde o míru kategoricity. BoneFlute ví, o čem mluvímAFAIK konstrukty, ktere lze popsat pomoci CT terminologie jsou i v Clojure, ale treba i Promisy v JS.Začal bych tím, že CT není to samé co FP. Jistě, v Haskellu se to třeba protíná, ale třeba v Clojure vůbec. Podobnej problém jako OOP verzus Typy. To, že to máme v některých jazycích dohromady neznamená, že to spolu souvisí.Chce to něco ostřejšíhoVíno mám, můžem začít.Ale nemyslím si, že CT je to dobrá cesta, jak se učit funkcionálně programovat.To by bylo na dlouhou debatu
Podobnej problém jako OOP verzus Typy.Dobrý postřeh, Organizace pro osvobození Palestiny s typama nesouvisí
Ne, vážně, původní OOP typy vůbec nemělo. To by byla taky zajímavá diskuse, ale s FP to moc nesouvisí.
Chce to něco ostřejšíhoVíno mám, můžem začít.Ale nemyslím si, že CT je to dobrá cesta, jak se učit funkcionálně programovat.To by bylo na dlouhou debatu
Viete poradiť niečo ďaľšie?Tohle je dobré: https://www.raywenderlich.com/ios/books (ale poměrně drahé).
A mate niekto opacny problem? Penazi spusta, ale neviete co s nimi? Pokial clovek nie je vyslovene materialista, tak sa to moze velmi lahko v IT stat.To má asi v IT každý senior, ne? Přinejmenším od Uhu na západ.
Ale nemyslím si, že CT je to dobrá cesta, jak se učit funkcionálně programovat.To by bylo na dlouhou debatu
Hezké, o této verzi jsem nevěděl.Na tohle jsou dobré texty Bartosze Milewského, ale ten má příklady jen v Haskellu a C++.Existuje Scala Edition jeho knihy Category Theory for Programmers. https://www.blurb.com/b/9603882-category-theory-for-programmers-scala-edition-pape
vysvetlovalo by i principy a vubec "mindset"?Na tohle jsou dobré texty Bartosze Milewského, ale ten má příklady jen v Haskellu a C++.
Pod články jsou taky diskuse.Mám paranoidní podezření na někoho z redakce, protože je to až příliš časté.Ano, proč psát články, když lidi dostanou reklamu v diskuzi...
To je prostě typické české ojebávání. Jenže když se člověk nevzepře, tak si nepolepší.Z mojej skúsenosti každá. Ak máš inú skúsenosť, považuj sa za šťastného. Pre mňa rozhodne nie je ale normálne skákať z toho v čom je daná osoba dobrá a kvoli čomu bol do podniku najatý a niečim iným čo proste horí a "je to tiež cosi z počítačama". Áno nejak to vyrieši aj takýto človek, ale nech sa nikto nečuduje že pritom neúmyselne narobí triviálne chyby, on nikoho neprosil aby to mohol robiť. Moja skúsenosť je taká, že to čo je napísane v prac. zmluve je kec, nepodstatné, všade ti naložia úplne všetko čo sa len dá, oficiálne teda prijímajú C++, Java, Javascript vývojára, ale keď bude treba, bude písať Bash skripty, či ich po niekom fixovať (je povinnosť to vedieť ak ma zaujíma povedzme Javascript?), riešiť deployment aplikácie do Kubernetov, pretože však je to jednoduché si prečítaš tutoriál a jedeš nie? Devops, admin, programátor to sú synonymá, či nie? Zas nehovorím, že má byť človek tupé hovado, ale moja predstava je, že keď napíšem aplikáciu tak asistujem tým ktorí ju nasadzujú a nie že ja to mám urobiť od A do Z. Ďalšia super vec je, podsúvať ľuďom, že programátor a tester je to isté a zrazu nevieš ako a už tri týždne píšeš automatizované testy a všetko okolo nich a vymýšľaš testovacie scenáre (čo by si ani nemal z princípu veci, ale keď si programátor tak to si niečo ako univerzálny vojak, čokoľvek dostaneš za úkol musíš prijať a vykonať, keď už ti toľko platíme, ešte toto aby si robil len to o čom sme sa bavili na pohovore a čo máš v zmluve ako pracovnú pozíciu) lebo je treba ušetriť na samostatnom tíme testerov. A takto si tu žijeme.Kamarát a toto je podľa teba chyba programátorov? S tým XML, JSON, fajn, beriem, ale to SQL a ORM nie. Boli doby, že existovala pozícia odborníka alebo aspoň niekoho kto má trochu poňatie o fungovaní databáz. Bejvavalo. Dnes je úplne každému jedno, že ty si senior C++ alebo Java programátor, proste úplne suverénne ti natrepú na hlavu aj prácu s databázou, inokedy aj frontend upraviť (však je to všetko programovanie nie?) potom písať dockerfily a kubernetes deploymenty a nikomu toto nepríde ani trochu čudné, že od jedného človeka sa očakáva expertíza v niekoľkých extrémne rozsiahlých oblastiach ktoré sa NEDAJÚ poctivo robiť všetky naraz resp. dokáže to zlomok ľudí zo všetkých. Tento obor sa mi tak neskutočne zhnusil, že nebyť tých peňazí, tak ma tam nedotiahne ani pod hrozbou smrti, fakt radšej zomrieť ako toto robiť, takže keď by chceli začať špekulovať o tom, že sú ľudia v IT preplácaný, tak ja okamžite končím, lebo aj kydanie hnoja je viac zaujímavé a človek sa zďaleka tak nezošrotuje ako v IT. A niečo mi hovorí, že nie som jediný čo už ma toho plné zuby.To chce klid. Databáze se ještě dá. I ten frontend se dá zkousnout (úpravy, ne kompletní tvorba). Docker a Kubernetes jsou už IMHO přes čáru, to je skutečně "čudné". Ale ne každá firma to tak má, no ne?
Kamarát a toto je podľa teba chyba programátorov? S tým XML, JSON, fajn, beriem, ale to SQL a ORM nie. Boli doby, že existovala pozícia odborníka alebo aspoň niekoho kto má trochu poňatie o fungovaní databáz. Bejvavalo. Dnes je úplne každému jedno, že ty si senior C++ alebo Java programátor, proste úplne suverénne ti natrepú na hlavu aj prácu s databázou, inokedy aj frontend upraviť (však je to všetko programovanie nie?) potom písať dockerfily a kubernetes deploymenty a nikomu toto nepríde ani trochu čudné, že od jedného človeka sa očakáva expertíza v niekoľkých extrémne rozsiahlých oblastiach ktoré sa NEDAJÚ poctivo robiť všetky naraz resp. dokáže to zlomok ľudí zo všetkých. Tento obor sa mi tak neskutočne zhnusil, že nebyť tých peňazí, tak ma tam nedotiahne ani pod hrozbou smrti, fakt radšej zomrieť ako toto robiť, takže keď by chceli začať špekulovať o tom, že sú ľudia v IT preplácaný, tak ja okamžite končím, lebo aj kydanie hnoja je viac zaujímavé a človek sa zďaleka tak nezošrotuje ako v IT. A niečo mi hovorí, že nie som jediný čo už ma toho plné zuby.To chce klid. Databáze se ještě dá. I ten frontend se dá zkousnout (úpravy, ne kompletní tvorba). Docker a Kubernetes jsou už IMHO přes čáru, to je skutečně "čudné". Ale ne každá firma to tak má, no ne?
Root.cz (www.root.cz), informace nejen ze světa Linuxu. ISSN 1212-8309
Copyright © 1998 – 2023 Internet Info, s.r.o. Všechna práva vyhrazena. Powered by Linux.