Comment on F*: A general-purpose proof-oriented programming languageparentComments−rixed1moNo indeed I'm not a fan. I find it brittle and arbitrary for data values especially; that also makes automatic code generation and edition harder, for no good reason. But that's not an important consideration either way.−NuclearPM1moWhat is code edition?−aleph_minus_one1moWhat is code edition?I think rixed means "code editing" (I guess that rixed is simply not a native (L1) or excellent L2 English speaker).
Comments
No indeed I'm not a fan. I find it brittle and arbitrary for data values especially; that also makes automatic code generation and edition harder, for no good reason. But that's not an important consideration either way.
What is code edition?
I think rixed means "code editing" (I guess that rixed is simply not a native (L1) or excellent L2 English speaker).