Home/ Questions/Q 7923373
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Asked: 2026-06-03T17:18:09+00:00

This is an exercise from the standard ML tutorial seen here: http://homepages.inf.ed.ac.uk/stg/NOTES/node42.html I am

  • 0

This is an exercise from the standard ML tutorial seen here: http://homepages.inf.ed.ac.uk/stg/NOTES/node42.html

I am not taking a class so there is no cheating going on here. But I can’t figure out how to do this. Can someone help?

The function fn x => fn y => x has type 'a -> ('b -> 'a). Without giving an explicit type constraint, define a function with type 'a -> ('a -> 'a)

Share

Leave an answer

You must login to add an answer.

Need An Account,

1 Answer

  1. Editorial Team

    Hint 1: You have to find an expression that has 2 or more subexpressions but requires them to have the same type.

    Hint 2: Lists or conditionals are good contenders.

    Hint 3: Of course, the subexpressions you put in there are the two arguments.

    Hint 4: You don’t need to use the result of this expression.

    • 0