KnowledgeHub
Questions
Tags
Users
Search
Alex Rivera
|
Logout
Edit Question
Title
Body
When I was experimenting with Haskell kinds, and trying to get the kind of -> , and this showed up: $ ghci ... Prelude> :k (->) (->) :: ?? -> ? -> * Prelude> Instead of the expected * -> * -> * . What are the ?? and ? things? Do they mean concrete types or "kind variables"? Or something else?
Tags (comma-separated)
Save Edits
Cancel