7 ms·
What do you mean "express calling"? You mean calling the former C versions of the functions not yet ported, while asserting their behavior?
by rixed 2mo ago
What do you mean "express calling"? You mean calling the former C versions of the functions not yet ported, while asserting their behavior?
- aw1621107 2mo agoI think it's meant to be parsed as "I liked being able to (express (calling external libraries))", not "I liked being able to (express calling) (external libraries)"
- pvsnp 1mo agoYes. Probably could’ve written it better but I’ve not poked around F* in a while and I was writing on my phone. Say you’re calling an external function implementation in hardware, being able to express those interfaces as external makes it viable to use F* vs assuming everything is open source and introspectable.