Что такое виртуальная машина и зачем она нужна динамическим языкам?

Так, например, Python и Java имеют виртуальную машину, а C и Haskell - нет. (Поправьте меня, если я ошибаюсь)

Думая о том, какие языки есть по обе стороны линии, я не могу найти причину. Java является статической во многих отношениях, тогда как Haskell предоставляет множество динамических функций.