|
|
|
|
|
|
by anfelor
587 days ago
|
|
|
Yes, that is true! Koka's constructor contexts also allow you to do this. A constructor context is a data structure with exactly one hole which you can fill in with an arbitrary value (or even several arbitrary values, copying the constructor context in the process). |
|
|