Re:Luna – Visual and textual functional programming language
by seanwilson on Thursday June 22, 2017 @01:35PM
(#14613885)
Can you elaborate more on the dependent type system? Is type checking decidable? What restrictions does it have to keep automatic type checking feasible?
[ Parent
| on HN ]
Re:Luna – Visual and textual functional programming language
by wdanilo on Friday June 23, 2017 @06:34AM
(#14618169)
We were thinking how to answer this question yesterday, but it is just too broad and I've literally cannot afford explaining all the caveats now. I will be supper happy to talk about it after the release on Luna forum, so if we could just move it there and discuss it in some short time, I would be thankful :)