Tutoriál pro Scalu pro programátora

[Google CTCCTCGGCGGGCACGTAG]

To je zajímavý úhel pohledu - monády. Proč se používají v Clojure a proč v Haskellu?

protoze v Haskellu je na nich postavene IO (coz je podle me spis nevyhoda). V Clojure a jinde se pouzivaji nektere konstrukce, treba vyse zminene Promisy, ktere lze napasovat na definici Monady, ale uzivatel to nemusi vedet.

[Reklama]

[Idris]

očekáváš, že ty typy přináší záruky. Těmi typy modeluješ. Funkce je typ. Vztahy jsou typ

Na to to chce ale hodně silný typový systém

[BoneFlute]

To je zajímavý úhel pohledu - monády. Proč se používají v Clojure a proč v Haskellu?

protoze v Haskellu je na nich postavene IO (coz je podle me spis nevyhoda). V Clojure a jinde se pouzivaji nektere konstrukce, treba vyse zminene Promisy, ktere lze napasovat na definici Monady, ale uzivatel to nemusi vedet.

Promise je monáda. Každopádně, souhlas - ale co tím chceš říct?

Ještě doplním, v Haskellu nejsou monády kvůli IO. Ony tam prostě jsou. 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.

očekáváš, že ty typy přináší záruky. Těmi typy modeluješ. Funkce je typ. Vztahy jsou typ

Na to to chce ale hodně silný typový systém

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ě.

[Idris]

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.

[Idris]

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…

[Reklama]

[nula]

Já byl v podobné situaci před několika lety. Jestli neznáš funkcionální jazyky, ten skok bude docela velký a nějaký tutorial na pár dní tě nezachrání. Doporučuju plnohodnotnou knížku, buď přímo https://www.artima.com/shop/programming_in_scala_5ed (ze staršího vydání jsem se učil já, a je super na vysvětlení co, jak a hlavně proč), nebo https://www.handsonscala.com/ - to tehdy ještě neexistovalo, ale bude to asi praktičtější, přístupnější, Li Haoyi umí velmi srozumitelně a prakticky vysvětlovat, za investované peníze to bude jednoznačně stát.

Další otázka je kterou scalu se učit - dvojku, nebo dotty? Je v nich dost rozdílů, dvojka je starší ale rozšířenější.

A možná taky důležitá otázka je jestli se vůbec scalu učit. Kdybych chtěl praktický managovaný jazyk, šel bych spíš do Kotlinu, je jednodušší a má podle mě větší budoucnost. Kdybych se chtěl funkcionálně vzdělat, šel bych do Haskellu nebo F#. A nebo bych šel prostě do Rustu :-)

Diky moc, nakonec jsem teda vybral Hands on Scala. Chtel jsem poreferovat az jak se mi ta knizka zda dobra, ale jelikoz uz na ni cekam 2 tydny a zatim stale v nedohlednu, tak aspon jsem chtel podekovat.

Scalu jsem chtel hlavne proto, ze u nas ve firme se celkem pouziva a ac jsem hlavne C++kar (a celkem obstojne myslim umim Python a Javu), tak bych rad obcas kouknul lidem pod ruku (a pripadne si byl sam schopen pomoct a necekat na scalisty).