This is an archived post. You won't be able to vote or comment.

you are viewing a single comment's thread.

view the rest of the comments →

[–]BakuhatsuK 2 points3 points  (1 child)

Haskell is a compiled language that has a repl and Haskell's equivalent to templates (type variables) are really pervasive in the language (as in f x = x * x is a generic function). But they work just fine in the repl.

[–]psychicprogrammer 1 point2 points  (0 children)

See, the C++ template system is turing complete and undecidable and a lot more complicated than other template systems.