Type Theory: Difference between revisions

From Adam Colton
Jump to navigation Jump to search
No edit summary
No edit summary
Line 6: Line 6:
* abstract (interfaces, functions?)
* abstract (interfaces, functions?)
* containers (array, hash maps)
* containers (array, hash maps)
 
* unions


== Generics ==
== Generics ==
* Generic computation
* Generic computation
* Generic containers
* Generic containers

Revision as of 15:29, 18 October 2018

Go significantly limits the amount of meta-programming available, which simplifies code but comes at a small performance cost.

Classes of types

  • Fundamental/builtin
  • Structured memory (string, array)
  • abstract (interfaces, functions?)
  • containers (array, hash maps)
  • unions

Generics

  • Generic computation
  • Generic containers