Nim is a compiled, garbage-collected systems programming language which has an excellent productivity/performance ratio. Nim's design focuses on efficiency, expressiveness, elegance (in the order of priority).
but that's not what we're discussing.
so
foo: and foo(): are the same in those 2 examples above?
This discussion cleared up my confusion regarding the "special colon". I was focusing on the template definition as the wording used "parameter".
How about: "You can pass a block of statements as a last argument to the template call following a
: as shown below:"?
Colons in the template signature, try/finally blocks and finally where the template is "called"
So I want to tell the reader which exact colon that sentence is talking about
@mratsim and Araq: About https://gitter.im/nim-lang/Nim?at=5b3392066ceffe4eba37a337, I was referring to a hypothetical template use case like:
template foo(inp: string; body1, body2, body3: untyped) =
case inp
of "a":
body1
of "b":
body2
else:
body3
Looks like, that's not doable?
The challenge is how would a user differentiate between body1, body2 and body3 arguments when using the template.
And my final template/untyped question for today. In https://nim-lang.org/docs/manual.html#templates-passing-a-code-block-to-a-template, the first example has return type as untyped, while the second example has no return type.
When do you need to set the return type of templates as
untyped?
untyped is useful to make sure the replacement is done before any semantic checking/type resolution
<skrylar> was re-reading and poking it earlier and they are hit pretty hard by high-ram use middleware
About untyped being useful to make replacement before type checking.. I sort of understood that, but trying to fit some logic w.r.t the return type for templates. Isn't the return type of templates technically "void"? Because crudely speaking, they just replace the template instance with the template body?
So they aren't "returning" anything..
As an aside, the Nim tutorials, manual, etc. site are nicely readable in Emacs eww browser :)
Emacs Web Browser
*Emacs Web (W)owser
I use multiple body template in Arraymancer: https://github.com/mratsim/Arraymancer/blob/master/src/tensor/aggregate.nim#L89
to fold over a tensor in parallel with: initialization body, folding, merging the parallel folds.
