Category Archives: Typy

Jak JVM volá virtuální metody, jaká temná božstva musí vzývat, aby to bylo aspoň trochu rychlé

Aleksey Shipilёv v (ne)dávné době napsal velice obsáhlý článek o volání virtuálních metod v JVM: The Black Magic of (Java) Method Dispatch. Do detailů v něm popsal všechny způsoby, jak lze volat virtuální metody, vysvětlil všechny optimalizace, které JIT javovského virtuálního stroje dělá … Continue reading 

Posted in CPU, Java, JVM, Typy, VM | 1 Comment

Bez typů se obejdeme, ale…

Však to znáte, něco tweetnete a jedna odpověď vás donutí napsat celý článek jako vysvětlení, co je tím vlastně myšleno. Dneska to byla tato perla nevšední krásy (odsud): Without soundness, types can merely be used as optimisation hints, but the … Continue reading 

Posted in JVM, Typy, VM | Leave a comment

Types will carry you over the Monads

Teď nechci zabřednout do bažin internetu a napsat další monádový tutoriál, ale jen zveřejnit jeden postřeh, díky kterému jsem pochopil sílu Applicatives: Vždycky, když jsi v úzkých, následuj typy a ty tě dovedou do cíle. Funkce bind definovaná na monádě má … Continue reading 

Posted in Funkcionální programování, Typy | 2 Comments