O tom žádná. Jenže víš, co si většina programátorů představí pod pojmem praktické typy? Třídu. Bez konstruktoru, samozřejmě. A všechny property string.
Pak je dlouho dlouho nic, než se začnou objevovat jedinci kterým začne docházet, že typy jsou v prvé řadě o zárukách. Aby si přesunul práci ze strany programátora na bedra stroje. No, a víš kde je naopak hodně lidí co těm typům a zárukám rozumí? V matematice a fyzice.
A protože máme těch dva a půl programátora, pro které jsou silné typy, proto ty jazyky vypadaj jak vypadaj. A protože všichni matematici a fyzici jsou ještě horší evangelisti jako programátoři, proto je taková práce přijít s něčím revolučním do mainstramu. Není poptávka, není osvěta. Je to naprd.