Vlákno názorů k článku
Nejlepší programovací jazyky podle IEEE Spectrum jsou Python a SQL od Calculon - Begun the language wars have :)

Begun the language wars have :)

Když už jsme u jazykových válek, tak tvůrce Rustu doporučuje Lean :)

Tak pro mne objev roku -- Lean sem bral jen jako pomůcku matematikovu. Ale má koukám skvělou knihu -- a autor je dokonce předseda Haskell foundation. Tak to koukám. Musím si práci pěkně počíst. Nic proti Haskellu, ale ta atmosféra kolem mi moc nesedí a celý ekosystém je takový jak C++, člověk musí hodně vyzobávat, aby se v tom neztratil.

12. 9. 2023, 17:56 editováno autorem komentáře

Jo, Lean 4 je něco úplně jiného než předchozí Leany. Jsou k němu tři skvělé oficiální knihy (jedna pro matematiky). Jednou tu o něm bude seriál :)

Co pro nematematiky :-)? Rekneme, ze zakladni F# literatura znalost matematiky nepredpoklada, u Haskellu to IMO prestalo platit az v poslednich letech. Co zde?

Jinak dobrá je ještě tato kniha: https://www.amazon.com/Type-driven-Development-Idris-Edwin-Brady/dp/1617293024/ref=sr_1_1?crid=34LSW911LQCRI&keywords=type-driven+development+with+idris&qid=1694536011&sprefix=Type+driven+%2Caps%2C271&sr=8-1

Sice používá haskellí syntax, ale v Leanu se jinak píše stejně (struktura programu, záznamy, typy…).

Jo na tuhle knihu se dlouho chystám, má to hodně blízko k domain driven dedign, když se to tak vezme. Jednou sme si snad linkovali Idris/DDD repo, něco jako https://www.reddit.com/r/Idris/comments/p1b2n8/domain_driven_design_made_dependently_typed/

12. 9. 2023, 19:57 editováno autorem komentáře