KnowledgeHub
Questions
Tags
Users
Search
Alex Rivera
|
Logout
Edit Question
Title
Body
The comments on Steve Yegge 's post about server-side Javascript started discussing the merits of type systems in languages and this comment describes: ... examples from H-M style systems where you can get things like: expected signature Int*Int->Int but got Int*Int->Int Can you give an example of a function definition (or two?) and a function call that would produce that error? That looks like it might be quite hard to debug in a large-ish program. Also, might I have seen a similar error in Miranda ? (I have not used it in 15 years and so my memory of it is vague)
Tags (comma-separated)
Save Edits
Cancel