Имеет ли haskell-режим или какой-то альтернативный пакет нечто похожее на замечательный inferior-haskell-type внутри предложения where?
Например, предположим, что
foo = undefined where
bar = complicated
...
было бы супер-удивительно иметь возможность разместить маркер в bar и проверить его тип.
Это возможно с Scion в сочетании с Emacs.
C-c C-tпоказывает тип идентификатора в точке. Это работает только в том случае, если текущий файл typechecks, но затем он также работает для локальных идентификаторов. Для полиморфной функции он покажет тип, к которому они были созданы, например,f x = x + (1::Int)Вызов этой команды на
+будет печататьInt -> Int -> IntвместоNum a => a -> a -> a.