Tutoriál pro Scalu pro programátora

Re:Tutoriál pro Scalu pro programátora
« Odpověď #15 kdy: 09. 10. 2021, 20:18:47 »
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.


Idris

  • *****
  • 1 589
    • Zobrazit profil
    • E-mail
Re:Tutoriál pro Scalu pro programátora
« Odpověď #16 kdy: 09. 10. 2021, 20:19:26 »
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

  • *****
  • 1 732
    • Zobrazit profil
Re:Tutoriál pro Scalu pro programátora
« Odpověď #17 kdy: 09. 10. 2021, 21:30:40 »
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

  • *****
  • 1 589
    • Zobrazit profil
    • E-mail
Re:Tutoriál pro Scalu pro programátora
« Odpověď #18 kdy: 10. 10. 2021, 15:59:32 »
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

  • *****
  • 1 589
    • Zobrazit profil
    • E-mail
Re:Tutoriál pro Scalu pro programátora
« Odpověď #19 kdy: 10. 10. 2021, 16:01:51 »
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…