Собственно говоря, в той беседе речь шла о том, что из F#, в частности, отодрали параметризованые модули (они же — функторы в терминологии оригинального OCaml). А это в корне меняет многие вещи. Сравнение по фичам обоих языков вот: http://research.microsoft.com/...