[轉 mno2] Prezi uses Haskell : haskell
If ML is designed for developing proof assistants, then Haskell is designd for experimenting new languages (not for real world production)