|
|
|
|
|
|
by CornCobs
1785 days ago
|
|
|
Disclaimer: only have dabbled in Koka slightly. Not very sure if this is what you were asking about but yes, you can write functions that are polymorphic in their effect. E.g. the map function takes a function that has some effect e and the map function itself has the same effect e |
|
|