Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-06-02

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
08:48 xstill no trochu jsem už na tohle narážel když jsem se snažil vybrat si jazyk ve kterém dělat projekt
08:49 xstill teď mi jde tak nějak obecně to jestli je to jazyk na který má smysl se dívat, tady nám ho dost propagovali
08:49 xstill hlavně co se týče paralelního programování
08:50 xstill totiž přemýšlím nad tím jestli má smysl znát nějaký další kompilovaný imperativní jazyk promě c++11
09:33 vlada joined #divine
10:07 spito joined #divine
10:15 vlada joined #divine
10:57 xbarnat joined #divine
10:57 xbarnat Hola prisel za mnou clovek, ze by se zajimal o bakalarku v Haskellu, nemate nejaky tip?
10:57 mornfall To je dost široká specifikace.
10:58 xbarnat neco treba divine related?
11:01 mornfall Jak moc do toho vidí?
11:01 mornfall (Myslim hlavně do GHC...)
11:01 xbarnat nemohu rict, z IB015 mel A
11:02 mornfall Nj, to o tom žel nic nevypovídá
11:02 xbarnat :-P
11:02 xbarnat ne o GHC, ale je schopen myslet
11:03 mornfall tak, v examples/haskell máme něco co dneska už nefunguje
11:03 mornfall updatovat to a dotáhnout by nebylo úplně zlý, zejména pokud už v nových GHC není vstup do STG blokovanej velkým mutexem
11:04 mornfall ale chce to dost široký znalosti
11:10 mornfall no, aspoň hydra už funguje, aj se stylama/js
11:18 xstill to v examples byl nějakej model v haskellu, že? Tam by asi šlo o to udělat nějaký rozumný haskellovský rozhraní nad tím CESMI, to by mohlo být relativně zajímavý, ale byla by v tom práce s foreign function interface s vláknama v haskellu a s přístupem k surový paměti v haskellu a asi i s potřebou serializace haskellových struktur => to jsou věci které v žádném předmětu na FI nejsou, musal by si nastudovat; a nevím na
11:19 mornfall to je co jsem zhruba říkal ;-)
11:19 mornfall až na ty vlákna v haskellu, ty v tom nejsou
11:19 mornfall je to obráceně
11:20 xstill to jo, ale asi by musal chápat jak haskell přistupuje k vláknům
11:20 mornfall to by určitě musel
12:33 xstill mornfall: co máš teda za přimomínky k tomu go?
12:42 mornfall tak, není to general-purpose jazyk
12:43 mornfall imperativní variace na téma erlang, řekl bych
12:45 xstill a na co teda je vhodnej podle tebe?
12:46 mornfall no, asi na distribuovaný systémy s malou komunikací
12:46 mornfall kdybych psal xmpp server nebo něco takovýho tak bych se nad go asi zamyslel
12:47 mornfall nebo backend na webovou aplikaci, i když dneska se to spíš píše v javascriptu
12:48 xstill něco co hodně komunikuje teda?
12:48 mornfall no, hodně ale ne moc intenzivně
12:48 mornfall protože na HPC to není
12:49 mornfall orchestrace by s tím asi šla dělat o něco líp než s kombinací perl+ssh
12:53 mornfall http://noypi-linux.blogspot.cz/2012/04/golang-using-shared-libraries.html tohle taky něco vypovídá o tom jazyce a general-purpose programování
12:54 mornfall vyrobit sdílenou knihovnu třeba nejde vůbec
12:56 xstill hm to je docela blbý
12:56 mornfall dokonce nejde ani volat z C do go
12:56 mornfall (i kdybys to slinkoval staticky)
12:57 mornfall ono to časem asi bude
12:57 xstill no já totiž přemýšlel že bych naprogramoval jednoduchej scheduler k dsched a nad tím pak postavil konečně ty benchmarky, a dělat to v perlu se mi nechce
12:59 mornfall tak, postgres bindingy v go existujou a nic jinýho asi nepotřebuješ, teda ne pokud jde o scheduler samotnej
13:00 mornfall ale to že to je kompilovanej jazyk bude tady spíš na závadu než k užitku
13:00 mornfall pokud se chceš naučit nějakej relativně hezkej jazyk, tak ruby je na tohle asi lepší než go
13:00 xstill no jenže v perlu si člověk nikdy nemůže bejt jistej kde mu chybí metoda, nebo jí posílá blbosti
13:01 xstill (spíš požaduju typovou kontrolu, než přímo kompilaci)
13:04 mornfall statickou nebo stačí dynamická?
13:04 mornfall (perl moc nemá ani tu dynamickou :-)
13:04 mornfall ruby je v tomhle výrazně lepší, stejně jako python
13:04 mornfall javascript je někde mezi
13:05 mornfall C++ a Haskell jsou dost těžkopádný na práci s databází
13:07 mornfall go bude zase víc těžkopádný na databáze než dynamický jazyky, ale má statickou typovou kontrolu (do určité míry)
13:08 xstill to jsou no, statická kotrola by byla lepší, prece jenom se blbě odchytávají ty okrajové případy co moc nenastávají
13:08 mornfall no, normální odpověď na to je psát unit testy
13:08 mornfall jen zase tě stojí práci navíc psát to tak aby to šlo unit-testovat
13:10 xstill jo no
13:12 mornfall já bych to asi psal v Haskellu s postgresql-simple
13:13 spito joined #divine
13:26 xstill hm, to vypadá celkem použitelně
18:46 xstill hm, mám pocit, že typová inference v C++14 už začíná dost narážet na to že ten typovej systém je moc magickej
18:49 xstill když jsem u toho, máme na FI nějakej předmět co by rozebíral typový systémy?
19:00 mornfall nevím o tom
19:00 mornfall subtyping je magickej z principu, a to máš skoro všude
19:04 xstill no právě, by mě zajímalo jestli se dá udělat rozumnej typovej systém se subtypingem a zároveň s pořádnou inferencí
19:04 mornfall :-) zatím ho nikdo neobjevil, co vím
19:04 xstill :-)
19:05 mornfall subtyping je špatnej
19:06 mornfall (zejména asi proto že kovariance a kontravariance)
19:08 mornfall to vede na pravidla typu „a position is covariant if it is on the left side of an even number of arrows“
19:09 xstill fuj
19:09 xstill hm, to mě nedošlo, že kovariance, je ten problém
19:09 mornfall není jedinej, ale asi ten největší
19:09 xstill jasný
22:44 xstill sakra já málem zapoměl jít spát
23:43 spito Problém neustálého dne nemusíme my, co bydlíme na jihu, řešit. Tady je v noci světlo jenom trochu.

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary