> I tried some ML language once, it's difficult even to write a basic factorial example

What do you mean? It's one of the first things taught in any tutorial for the ML family or Haskell.