retoor/orchid
1
0
Fork 0
forked from Orchid/orchid
Code Pull Requests 1 Activity

Fixed auto section

Browse Source
This commit is contained in:
Lawrence Bethlenfalvy
2022-05-27 22:25:27 +02:00
parent 85ffaedcea
commit 1e8aa45176
1 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
README.md
View File

@@ -89,11 +89,12 @@ and `isub` are self explanatory.
## Auto parameters (generics, polymorphism)
Although I didin't specify the type of `i` in the above example, it is
known at compile time because the recursion is applied to b which is an
integer. I could have omitted the second argument but then I would have
known at compile time because the recursion is applied to `a` which is an
integer. I could have omitted the second argument, then I would have
had to specify `i`'s type as an integer, because for plain lambda
expressions all types have to be statically knoqn at compile time. To
achieve polymorphism, one parametric tool is available, called auto
expressions all types have to be statically known at compile time.
Polymorphism is achieved using parametric constructs called auto
parameters. An auto parameter is a placeholder filled in during
compilation, syntactically remarkably similar to lambda expressions: