Maybe I'm missing something, but wouldn't this be a situation where a little syntactic sugar in the compiler would make the medicine go down?
For example, let's say that := meant "assign with conversion" in Elm. In the expression: a := b the compiler knows the types of a and b, and it knows if there is a function x of type b -> a, so it could just make the substitution (or throw an error if a suitable function can't be found). So if a is a Dict Int String and b is a List (Int String) then the compiler would find Dict.fromList -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
