felix is an open source programming language in the ML family.
3
votes
3answers
305 views
Basis of definitions
Let us suppose we have a set of functions which characterise something: in the OO world methods characterising a type. In mathematics these are propositions and we have two kinds: axioms and lemmas. ...
2
votes
5answers
815 views
Correct For Loop Design
What is the correct design for a for loop?
Felix currently uses
if len a > 0 do
for var i in 0 upto len a - 1 do
println a.[i];
done
done
which is inclusive of the upper bound. This ...
