У меня есть вопрос домашнего задания, где дано определение типа:
type 'a env = string -> 'a
Мне нужно определить несколько функций, например:
Define the functions:
val emptyEnv : 'a env = (* ... *)
val lookup : string * 'a env -> 'a = (*...*)
Что я не понимаю, так это то, что именно «строка ->‘ а »означает как тип, и как кодировать, используя это. Я предполагаю, что для возврата пустой среды функция emptyEnv должна вернуть что-то типа «строка -> a», но как мне создать что-то подобное?