4 ms·
Yep, as I have think, is more or less like you say. >if we go with that and assume no type support Wonder why is harder with a type system (I say follow the s
by mamcx 11y ago
Yep, as I have think, is more or less like you say.
>if we go with that and assume no type support
Wonder why is harder with a type system (I say follow the syntax, not the type system of julia/python... so I wanna be as static as possible, or at least try)
- masklinn 11y ago> Wonder why is harder with a type system A type system doesn't make it harder, it makes it pointless: when you have a good type system sum types[0] are a safer and all around better solution. [0] possibly, in some cases, polymorphic variants https://realworldocaml.org/v1/en/html/variants.html#polymorphic-variants https://realworldocaml.org/v1/en/html/variants.html#polymorp...
- mamcx 11y agoOk, was a big mistake to show the idea with this on-the-fly-invented syntax this way (because: I still not settle on it), I just try to convey the idea not the implementation. I wanna build a F#-like type-system with sum/products (https://www.reddit.com/r/fsharp/comments/30ywjy/question_how_implement_a_subset_of_f_in_f/ https://www.reddit.com/r/fsharp/comments/30ywjy/question_how...) for my language, and be the result of the function already a Result<T, E>, without the user need to annotate it manually. So, I'm thinking in the kind of development that happened in reactive library but as a intrinsic model of the language. Of course, I'm a total noob in this area, so still researching about this!