Mirror of forum.nim-lang.org

4811 :: typed and untyped

• Santanu (orginal) [2019-04-26T22:01:45+02:00] view original

  Going through the manual example i got an idea what typed and untyped is. When the return type of a template is void the code within it is substituted. But what happens when the return type is typed and untyped respectively.

---

• bluenote (orginal) [2019-04-27T09:26:39+02:00] view original

  On input/argument side, the semantics are clear:

  • untyped passes in the raw AST without semchecking (no type information available)
  • typed performs symbol lookup before passing the argument (type information available)

  On output side, I'm also confused. I usually only use untyped when the macro/template returns an arbitrary AST, and concrete types if it returns a typed expression.

  The semantics of a typed return values has also been discussed here: https://forum.nim-lang.org/t/4037

---