Názor k článku ML – funkcionální jazyk s revolučním typovým systémem od Calculon - Jo, teď už Python v tomto nepomůže. Haskell...

Jo, teď už Python v tomto nepomůže. Haskell je možná ještě dostatečně obskurní (byť jeho typový systém nijak zvlášť silný není), kromě toho O(Ca(ML)). U mě prvenství dodnes drží Fortress.