<div dir="auto"><div data-smartmail="gmail_signature" dir="auto">Den tors 12 juli 2018 13:15Francesco Ariis <<a href="mailto:fa-ml@ariis.it">fa-ml@ariis.it</a>> skrev:<br></div><div class="gmail_quote" dir="auto"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello Patrik,<br>
<br>
On Thu, Jul 12, 2018 at 12:05:52PM +0200, mrx wrote:<br>
> Why is the type class called `Read`?<br>
> What am I missing above?<br>
<br>
we can say any instance of `Read` has to implement<br>
<br>
    read :: Read a => String -> a<br>
    -- the actual instance implements a different function,<br>
    -- but that's not relevant for our example<br>
<br>
So, a typeclass (Read, capital `r`) gives us a function (`read`,<br>
lower-case `r`).  The function goes from  `String` (and no other<br>
things) to our implemented type.<br></blockquote></div><div dir="auto"><br></div><div dir="auto">That makes sense to me based on the type, sure. So read is some form of casting then? </div><div dir="auto"><br></div><div class="gmail_quote" dir="auto"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Does this answers your question? </blockquote></div><div dir="auto"><br></div><div dir="auto">Maybe, but I still don't see what I'd use it for. Is it used to for example read the contents of a file whose file name is provided as that string? </div><div dir="auto"><br></div><div dir="auto">// Patrik</div></div>