Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.
Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Please briefly explain why you feel this question should be reported.
Please briefly explain why you feel this answer should be reported.
Please briefly explain why you feel this user should be reported.
Does anybody here have good examples where types as first-class objects come in hand?
I guess it helps to straightforwardly implement some math concepts, indeed that is the kind of examples I’m looking for.
UPD To clarify the question, what can be done if one can make functions accepting types and returning types, or store types in variables?
I’m studying Aldor, though due to license issue it is a bit dead. There types are said to be first-class objects, at least in the sence above.
Take a look at Agda2, ats-lang.org and other languages with dependent types. Not quite what you asked, but related.