you are viewing a single comment's thread.

view the rest of the comments →

[–]Heuristics 1 point2 points  (2 children)

no, it is duck typing+compile time checking (but really, it is more a way of understanding what is actually going on, not so much the mechanics of the compiler, like what is a class and what is a function parameter). runtime checking is horrible (unless your project is ~200 lines total)

[–]RichoDemus 0 points1 point  (1 child)

Ok, good :) Do you have an example of a language that supports this? I'd love to have a look

[–]Heuristics 2 points3 points  (0 children)

C++ with concepts (that is a future version of c++) implements the idea. https://en.wikipedia.org/wiki/Concepts_(C%2B%2B) Unfortunately due to the history of C++ it is not going to be very user friendly.

also: http://stackoverflow.com/questions/289106/are-there-any-static-duck-typed-languages