Might be interesting wrt tryswift: http://www.tryidris.org/console >From the page: "Idris is a language for practical, dependently typed, functional programming." Thanks, Ketan -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.mcs.anl.gov/pipermail/swift-devel/attachments/20140413/aa7ecd4b/attachment.html>