Tento web používá soubory cookie. Dalším používáním webu s tímto souhlasíte.
jméno
heslo
přihlásit
zaregistrujte se
zapomněli jste heslo?
Funkcionální programování (Haskell, LISP, XQuery, OCaml, F#, Scala, ...) - praxe, teorie a uplatnění
LUDWIG_
A monad is just a monoid in the category of endofunctors, what's the problem? http://vimeo.com/38223410

[http://blogs.discovermagazine.com/loom/files/2008/07/y-combinator.jpg]

All programming languages evolve towards Lisp.

Haskell is faster than C++, more concise than Perl, more regular than Python, more flexible than Ruby, more typeful than C#, more robust than Java, and has absolutely nothing in common with PHP. — Autrijus Tang

There may, indeed, be other applications of the [lambda calculus] than its use as a logic. — Alonzo Church, 1932
Máte k tomu co říct? Vložte se do diskuze.
KAMAHL --- 17:21:07 6.1.2017
Menší reklama - v práci nabíráme kolegy http://blindspot-solutions.com/ Vyvíjíme software s prvky AI a děláme mj ve Scale (též, Python, Java).
LUDWIG_ --- 10:25:13 31.12.2016
SATAI --- 23:38:58 30.12.2016
UETOYO: zkus se s tim, prosim, pripomenout po 11.1., ted nemam moc prostoru pro sepsani nejakeho konzistentnejsiho textu (ve zkratce - ty duvody jsou pro mne veskrze pragmaticke, Scaly je proste "prilis mnoho", abych si ji dovedl predstavit zavedenou v teamu. Mnozstvi prace k tomu "dohodnout se, co z ni pouzivame a jak" by bylo znacne)
UETOYO --- 21:58:41 30.12.2016
LISKNI_SI: Co se týče typů ve Scale, pak by to mohlo trochu popostrčit DOT respektive Dotty. Co men právě zrazilo: Radek Miček: "Ano, Scala je komplikovaná, ale nepřijde mi to jako nějaká splácanina - naopak mi přijde, že je tam jen pár konstrukcí, na nichž je vše postaveno (v tomto ohledu mi Scala přijde mnohem čistší než OCaml nebo GHC Haskell)."
UETOYO --- 21:53:59 30.12.2016
LISKNI_SI: Těch pár pěkných poznámek je srovnání Scala/F# co má na githubu: https://github.com/radekm/notes-cs/tree/master/2016 Jinak v posledních diskuzích např. zde: https://forum.root.cz/index.php?topic=11771.msg192910;topicseen#new se porůznu vyjadřuje k typům ve Scale vs Haskell a možná spíše nějkým detailům v implementaci GHC (javamana prosím přeskakovat :). Jinak co vím Radek Miček je docela zběhlý v OCamlu a a FP obecně, takže já jen tak přihlížím; teoreticky do toho tolik nevidím.
LISKNI_SI --- 21:08:51 30.12.2016
UETOYO: Mohl bys dát link na ty pěkné poznámky a výhrady k Haskellu? Dělal jsem (za peníze) obojí v produkci, a Haskell je, co se typů týče, úplně jinde než Scala. Nedá se to vůbec srovnat. Dá se jistě najít spousta dobrejch důvodů, proč v produkci preferovat Scalu, ale o typovým systému (vyjma kompatibility s JVM), nebude ani jeden z nich, imho. :-)
UETOYO --- 18:42:41 30.12.2016
Tohle je otázka na SATAIe, ale za další komentáře děkuji: Ondřeji, kdesi na rootu jsi v diskuzi psal, že jsi rád, že nemusíš dělat v práci ve Scale. Mne zajímá proč? Je ten Scala styl opravdu tak různorodý, že je s tím problém? Já pořád kroužím kolem Scaly s tím, že oproti Haskellu a OCamlu mi to stále sedí na JVM a to se mi pořád zdá jako výhoda + Spark/ML atd. A k mému podivu, napsal i Radek Miček ke Scale pár pěkných poznámek a zdá se že se mu líbí (má spoustu výhrad k Haskellu), čemuž věřím, protože se v typových systémech dost vyzná. Je Scala v produkci problematická? Dík.
CABOWITZ --- 17:37:39 4.10.2016
GitHub - gibiansky/IHaskell: A Haskell kernel for IPython.
https://github.com/gibiansky/IHaskell
LUDWIG_ --- 15:49:00 22.6.2016
IRAVEN --- 13:19:07 10.6.2016
UETOYO: avast. prej tam maji nejaky framework nad scalou, ale neznam podrobnosti.