logiccomp / lsl

4 stars 2 forks source link

Make generator for -> be pure? #13

Closed dbp closed 9 months ago

dbp commented 9 months ago

Right now, the generator for -> generates functions that generate an example of their output every time they are called. This means they are not pure functions, which feels odd given that we are introducing them before we introduce mutation. On the other hand, making them be pure (and not just constant functions) seems... harder? (hash the input, have some deterministic generator?).

dbp commented 9 months ago

Oh, that's a great solution :)