Ideálny programovací jazyk

[gill]

https://github.com/veelenga/awesome-crystal

Jde spis o lidi nez o knihovny...

komunita uz je velka a roste. Prechazi na to i Elixiristi.

[Reklama]

[Mirek Prýmek]

Prechazi na to i Elixiristi.

Mozna ti, co prisli z Ruby

[Idris]

To pak ale nic moc neřeší.

Ale jo. Resi to tu nejvetsi (z myho pohledu) bolest Go: mam neco, co chci implementovat pro ruzne typy, a nemusim mit jak dement v interfejsu bambilion uplne stejnych funkci pro jednotlive typy (treba tohle https://godoc.org/go.uber.org/zap#Field je proste k zbliti, jinak se to neda nazvat). Jenom tohle mi prijde, ze pokryva 90% "abstraktniho programovani" ve skutecne praxi.

Bohatě by stačilo, kdyby typové třídy nad HKT používala standarní knihovna (třeba Swift k tomu směřuje), běžný Jouda pak jen použije typ z knihovny, aniž by musel rozumět sofistikované vnitřní implementaci.

Jo, to by asi nebylo uplne blby. Gocko ma uzivatelske typy jenom nulteho radu a v stdlib ma par prvniho radu. Tohle posunout o uroven vys (uzivatelske prvniho radu a v stdlib HKT) by mohlo byt zajimavy. Pokud by to teda slo vymyslet tak, aby to fakt bezny franta programator pobral (tj. aby to nezkomplikovalo typovy system natolik, ze by se v nem nevyznal).

P.S. (mírně OT) V souvislosti s tímto se mi do ruky nedávno dostal nový výukový text o monádách a myslím, že trefili funktor na hlavičku.

Horim zvedavosti Mas odkaz? (pripadne muzes poslat PM?)

Odkaz nemám, jen jsem recenzoval materiály pro jednu anglickou univerzitu. Ale úvod začíná takto: “The notion of a monad is best introduced through particular examples. A formal definition exists but is practically useless until some intuition has been developed. It is not given in this course.” To mě zaujalo.

[Mirek Prýmek]

Odkaz nemám, jen jsem recenzoval materiály pro jednu anglickou univerzitu. Ale úvod začíná takto: “The notion of a monad is best introduced through particular examples. A formal definition exists but is practically useless until some intuition has been developed. It is not given in this course.” To mě zaujalo.

To zni dobre Ale divim se, ze zrovna ty na to spis nenadavas

[Idris]

Odkaz nemám, jen jsem recenzoval materiály pro jednu anglickou univerzitu. Ale úvod začíná takto: “The notion of a monad is best introduced through particular examples. A formal definition exists but is practically useless until some intuition has been developed. It is not given in this course.” To mě zaujalo.

To zni dobre Ale divim se, ze zrovna ty na to spis nenadavas

Proč? Mám poměrně čerstvé zkušenosti s jejich materiály o fyzice a matematickém modelování (kvantová mechanika, nelineární chaos ) a musím nadšeně přiznat, že tým prof. Nortona napsal nejlepší učebnici, co jsem kdy viděl. They cracked it. Nevím, kdo psal tu učebnici o funkcionálním programování, ale je stejně kvalitní. Budu se opakovat, ale fakt mě nadchla.

[Reklama]

[Mirek Prýmek]

Nevím, kdo psal tu učebnici o funkcionálním programování, ale je stejně kvalitní. Budu se opakovat, ale fakt mě nadchla.

Vis neco o tom, kdy a kde bude k dispozici?

[Idris]

Nevím, kdo psal tu učebnici o funkcionálním programování, ale je stejně kvalitní. Budu se opakovat, ale fakt mě nadchla.

Vis neco o tom, kdy a kde bude k dispozici?

Oni to většinou dávají jen ke svým kurzům, nevím o prodávání zvlášť, ale na eBayi stačí zadat “Open University”. Někdy na podzim to asi začnou rozesílat studentům, takže po semestru se to objeví na webu k prodeji.

[Mirek Prýmek]

na eBayi stačí zadat “Open University”.

Na ebayi mi nabizi jenom University Of Delaware 7” Heavy Duty Bottle Opener

[Idris]

na eBayi stačí zadat “Open University”.

Na ebayi mi nabizi jenom University Of Delaware 7” Heavy Duty Bottle Opener

eBay.co.uk?

[Mirek Prýmek]

eBay.co.uk?

Na tom knizky jsou. Jak se ten kurz, pro kterej je tenhle material bude jmenovat? Co hledat?

[Idris]

eBay.co.uk?

Na tom knizky jsou. Jak se ten kurz, pro kterej je tenhle material bude jmenovat? Co hledat?

Algorithms, data structures and computability

[Idris]

eBay.co.uk?

Na tom knizky jsou. Jak se ten kurz, pro kterej je tenhle material bude jmenovat? Co hledat?

http://www.open.ac.uk/courses/qualifications/details/m269?orig=q62

[Mirek Prýmek]

Super, dik!

[Mirek Prýmek]

http://www.open.ac.uk/courses/qualifications/details/m269?orig=q62

Ten link nefunguje, ale to je jedno, to uz si dohledam.

[Idris]

http://www.open.ac.uk/courses/qualifications/details/m269?orig=q62

Ten link nefunguje, ale to je jedno, to uz si dohledam.

Tak openuniversity.edu a tam M269