Haskell函數，按類型應用程序將類型轉換為字符串

Question

所以，我想有一個像這樣的函數/值：

converter :: Converter a

其中Converter是某種類型族，它總是會導致String並被使用，以便我們可以通過使用類型應用程序將想要轉換為String的類型應用為例如

converter @Int => "Int"

我正在考慮使用具有typeOf函數的Typeable類。 不幸的是，這需要一個實際值才能起作用。

我可以使用Proxy來提供“實際”值，但是比起我必須從生成的String刪除Proxy ，這感覺有點臟並且容易出錯。

有什么想法嗎？

Answer 1

為什么不只是

{-# LANGUAGE TypeApplications #-}

import Data.Typeable

main = print $ typeRep (Proxy @Int)

typeRep設計為采用代理，並且只關心該代理上的類型（因此無需刪除任何內容）。 當然，其中的其他Proxy並不是您正在尋找的語法，但是幾乎是同一回事嗎？

Answer 2

我們可以利用大量擴展： AllowAmbiguousTypes, TypeApplications, ScopedTypeVariables ， AllowAmbiguousTypes, TypeApplications, ScopedTypeVariables ，並產生AllowAmbiguousTypes, TypeApplications, ScopedTypeVariables答案的變體。

> :{
| convert :: forall a . Typeable a => String
| convert = show . typeRep $ Proxy @ a
| :}
> convert @ Int
"Int"
> convert @ String
"[Char]"
> convert @ Float
"Float"