State the (standard) compilation, typing, and paradigm of the following languages: C, Java, Python,
Haskell.
C:
● AOT compiled. Imperative, with static typing.
Java:
● JIT compiled, but can also support AOT. Imperative, with static typing
Python:
● Interpreted. Supports functional, OO, and imperative paradigms. However, most python is coded in an imperative way. Dynamic and duck typing,
with no advance type declaration.
● These properties (dynamic typing, interpreted) make python useful for prototyping, but more difficult to be used in big projects
a. Compiling & type checking finds a lot of bugs vs linting.
● On “Functional Python”: For example, you can write functions which are “pure”, which don’t change the state (ie, doesn’t change the input or data
that exists outside the functions scope). You can also use immutable data structures (like tuples), and use higher order functions which take a
function as the argument. However, python is not the best for purely functional programming since side effects can occur if one is not careful.
● On “OO Python”: You have things like classes, polymorphism, etc in python. But, python doesn’t support encapsulation, which many believe is a
primary requirement for OO.
Haskell:
● AOT compiled. Purely functional, with static typing.
5
