Vlákno názorů k článku Manipulace s jednotkami a veličinami: aby se nesčítaly hrušky s jablky od Ondra Satai Nekola - Nemohu se zbavit dojmu, že tohle prostě patří...

Nemohu se zbavit dojmu, že tohle prostě patří do kompetence typového systému. No jo, ale on to Python.

V typovanejch jazycich stejne musi clovek ty interakce nadefinovat a knihovny 3. stran stejne nebudou ty typy podporovat, takze clovek je zase na zacatku.

Vyhoda tech typu je jenom v tom, ze ty datovy struktury nejsou zase tak slozity.

Třeba F# má ve standardní knihovně SI jednotky. Takže stačí psát

open FSharp.Data.UnitSystems.SI.UnitSymbols

let v = 5<m/s>
let t = 10<s>
let dist = v * t

a kompilátor i IDE odvodí pomocí typové inference, že dist má typ int<m>.

Výhoda pak je, že kompilátor zabráním problémům ještě před spuštěním programu

Zajimave! Jakozto neprogramator tyhle veci moc neznam!

Vyhoda zachyceni chyb behem kompilace je samozrejme zasadni vyhoda (ale to neplati jenom o jednotkach)

Jo jo, chyby při kompilaci nastávají během mé pracovní doby. Runtime chyby moc ne :)
Cokoliv zvládne chytnout kompilátor je lepší než když to musí chytat testy. Jen to občas moc nejde :(

no ono to pravdepodobne reseny normalne typovym systemem. V jinych jazycich by to asi bylo +- to same, nebo co by melo byt jinak? (tedy v jazycich, kde to jde rozumne resit, tedy maji pretezovani operatoru apod.)

Suhlasim, na toto sa typovy system dokonale hodi.