Is there a future for type checking?

[Mistrel]

Are they are future plans for adding support for type checking? My original question was going to be on the possibility of templates for procedural programming but I believe this would require runtime type checking.

[tinman]

Do you mean templates as in C++ templates? If yes, you would not need runtime type checking for that.

[Mistrel]

I may be misinterpreting the requirements. I'm just now learning how to use templates. Generic types are fantastic! Write one function and use it everywhere.

[Trond]

Templates are just a fancy form of macros (except they create classes, which PB doesn't have).

[milan1612]

Templates are just a fancy form of macros (except they create classes, which PB doesn't have).

Not entirely true, functions can be templated as well:

Code: Select all

template<typename T>
std::string toString(T subject) {
  std::stringstream ss;
  ss << subject;
  return ss.str();
}