search

suhr / wcpl

16 stars 1 forks source link

We need moar #1

Open Heimdell opened 6 years ago

Heimdell commented 6 years ago

The question of , implementation and operator parsing are left unanswered.

suhr commented 6 years ago

Sure, I'll write more later.

Heimdell commented 6 years ago

By the way, the "parallel" composition can be done on untyped implementation, too.

https://gist.github.com/Heimdell/a1e2c2fd4147a09bea4adcb5315afdbd

However, its not as efficient as a compiled version - but making an [A] i = A combinator is possible there. I'm not a proponent of the Untyped, but I'd like to play with stack-machine like this, and making an arity-checker capable of i is the task out of my mana reserves.

The stack I used is a List with timestamp on each cons-cell.