jak byste napsali funkci map, ktera ma na vstupu tyto parametry: funkce A -> bool ktera rika, zda A do mnoziny patri, a A -> B pro transformaci? a jde to vubec? mne prijde, ze bez inverzu B -> A ne...

LUDWIG_: jak už jsem tu psal, tohle typový peklo mi přijde naprosto nadbytečný

LITTLELI: proc?

LUDWIG_: tohle je děsivý :)

KAMAHL: http://cel.archives-ouvertes.fr/docs/00/47/58/07/PDF/coq-hurry.pdf

Functional Programming is Terrible
https://www.youtube.com/watch?v=hzf3hTUKk8U

IRAVEN: Dik za info, ale ted uz jsem mimo CR

GARFIELD: myslim, ze v et netera hledaji scalisty

Tak primárně by mě v tuhle chvíli zajímalo vyzkoušet si něco s "dependent types" (má to už ustálený český ekvivalent?) Na konkrétním jazyku vlastně až tak nezáleží.
Víte o nějaké srozumitelně zpracované teorii přímo k tomuhle tématu? Tak nějak si to představuju, že type checking bude něco jako inference v prologu, ale to to je asi dost naivní, nebo ne?

KAMAHL: ja zkousim zacit Agdou, ktera je takova haskellovitejsi, a pak jit na to jednoduchyma dukazama v Coqu... nevim, jestli je to nejlepsi postup, jak se naucit Coq - takze mam stejny dotaz :)

WILD_A: "z toho co jsem mel moznost cist" je zbytecne mnoho pesimismu z tech novych Phillipsovo prednasek :)

jinak tady jsou ty alternativni kolekce pro scalu:

paulp/psp-view · GitHub
https://github.com/paulp/psp-view

LUDWIG_: WILD_A: Flame dokoncen v poste, nevim nakolik tim zasirat kluby ;)

Python pouziva mnohem vic lidi nez scalu, takze takovej skok by scalu fakt asi zrusil, coz nevim jestli by nakonec nebylo spis dobre z toho co jsem mel moznost cist :)

takze zaver diskuze o pouceni z py2-3 je, ze postupny kompatibilni, i kdyz spinavy vyvoj je lepsi nez radikalni skok na novou cistou verzi a soubezny vyvoj?

ALMAD: drtiva vetsina knihoven ktery pouzivam uz je bud py3-compatible nebo se na kompatibilite s vervou pracuje. Novejsi verze py3 + six umoznujou psat knihovny kompatibilni s py2 i py3 single-codebase, a to je ta "jedina spravna" cesta jak to dneska delat, a prave existence "jedine spravne" cesty je strasne dulezita -- jeste pred par lety v tom byl bordel, tak se skoro nikdo do kompatibility radsi nepoustel.

Takze dneska uz nepochybuju, ze prijde cas, kdy py3 nebude problem.

ALMAD: ja jsem opravdovej uzivatel a z vlastni zkusenosti na vyber mam.

Ze to byl (a jeste je a chvili bude) porod, je nabiledni. A ze celej puvodni koncept py3 byla chyba a ze scala se podobny ceste musi vyhnout jak cert krizi je taky jasny, to se se mnou nemusis hadat. Vzdyt i guido toho lituje. Jen rikam, ze uz je vsechno, zda se, na dobry ceste, coz bych si jeste pred par lety prohlasit netroufnul.