If you want to make money online : Register now

Which languages (apart from the list below) can do Howard Curry type checking at compile-time?

, , No Comments
Problem Detail: 

The Howard-Curry correspondence is enormously powerful. I'd like to use it, but I'd like a choice other than Haskell and Scala.

The languages that I can see that support the Howard-Curry correspondence (with type-checking at compile-time) are:

  • Agda
  • Coq
  • Haskell
  • Scala
  • Shen
  • Qi II

My question is: Which languages (apart from the list below) can do Howard Curry type checking at compile-time?

Asked By : hawkeye
Answered By : mobileink

Check out Idris and ATS. Both support this, and dependent types, and are designed to be practically useful.

Best Answer from StackOverflow

Question Source : http://cs.stackexchange.com/questions/56827

3200 people like this

 Download Related Notes/Documents

0 comments:

Post a Comment

Let us know your responses and feedback