Pre-Generation in Operator Signatures

[ghost]

( symbol typegen
 (int :sw ==> string :T)
 (
  (sw 1 ==) ("int" @T) when
  (sw 2 ==) ("flt" @T) when
  (sw 3 ==) ("str" @T) when
  (sw 4 ==) ("int|flt" @T) when
 ...
 )
) ::

3 :state

( symbol test
 (state typegen :x ==>)
 (x puts!)
) ::

10 test

Pre-generation in operator signatures would allow to use dynamic symbols. You may set a pre-generation in type-classes like generics. Generics and this idea seems no different at the main, i think.

What do you think about it?

[ghost]

That could solve #125

[h3rald]

Mmmm that would complicate operator signatures quite a bit! I'd rather not perform additional evaluation (no evaluation occurs in signatures, just lookups/validations)... things are probably already slow as it is! 😞

You could however create a lambda that generates a type class... 😉 you'd probably have to play a bit with scopes but it could work.

[ghost]

you'd probably have to play a bit with scopes but it could work.

I am opening a portal here for scopes #117
Seems there is going to be a discussion cobweb. 😄

The scope system should be improved for there a real usage of them, i say.

[ghost]

things are probably already slow as it is! 😞

Hmm.. True but problem is the language isn't strong enough , you see. Somethings lack. So if you implement or change or fix these, there will be more useful at most cases.