hugosenari/Pragmas.md

Last active March 20, 2024 19:43

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/hugosenari/7b6b6ea10b4194bdbbe0f5c84b1fa76d.js"></script>
Save hugosenari/7b6b6ea10b4194bdbbe0f5c84b1fa76d to your computer and use it in GitHub Desktop.

Pragma Helper

Raw

    
Identity
Closed
Pure
Associative
Commutative
Feature

NoOP
✅
✅
✅

early return of X

Memoise

✅

early return cache

Idempotent

early return cache

Map

No need to define

Reduce

✅

No need to define

ParMap

✅

Parallel Map

ParReduce

✅

✅
Parallel Reduce

Means
f(X,O) = X
F[T](X,Y: T): T
F(X,Y)=F(X,Y)
F(F(X,Y), Z)=F(X,F(Y,Z))
F(X,Y)=F(Y,X)

	Identity	Closed	Pure	Associative	Commutative	Feature
NoOP	✅	✅	✅			early return of X
Memoise			✅			early return cache
Idempotent						early return cache
Map						No need to define
Reduce		✅				No need to define
ParMap				✅		Parallel Map
ParReduce		✅			✅	Parallel Reduce
Means	f(X,O) = X	F[T](X,Y: T): T	F(X,Y)=F(X,Y)	F(F(X,Y), Z)=F(X,F(Y,Z))	F(X,Y)=F(Y,X)

Author

hugosenari commented Mar 20, 2024

There is also the experimental dot operator
https://nim-lang.org/docs/manual_experimental.html#special-operators-dot-operators