Hi everyone.

It's been some time that I'm thinking about type checking HTML Attributes to 
ensure at compile time that useless attributes can't be set on HTML. For 
instance, it makes no sense to set Html.Attributes.src to an h1 title.

I was imagining simple cases :

Html.a [ Html.Attributes.href "#" ] [] => compile
Html.a [ Html.Attributes.src "#" ] [] => does not compile
Html.img [ Html.Attributes.src "#"] [] => compile
Html.iframe [ Html.Attributes.src "#" ] [] => compile

Obviously, this behavior should be extended to every attributes on every HTML 
elements. 🙂
I was thinking about Phantom Types, but I can't figure a correct way to do it.

Anyone has an idea on what I should give a try?

Just in case, I know the cost to do it will probably be higher than what it 
actually, but, hey! Error checking at compile time is so good that no trying it 
would be too bad!

-- 
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.

Reply via email to