fredyr

Thanks!

This sounds interesting to me - could you elaborate a little on what things are in those proposals?

I've done a lot of CFFI with Python for this kind of testing in the past. But nowadays I'm also looking at Zig for this.

I'd be very interested if you could elaborate a little on what tools and how you applied formal methods on that old code?

Not to mention that you need to find a product idea that you both are equally excited about.

Most of the times I've been approached, even though resonable ideas, haven't been projects that I've been interested in working on.

When the Swish service launched (2012) it was only consumer-to-consumer and no fees. Last year they added businesses and charge similarly to credit cards, fee on the creditor side.

Yes, every time I use Haskell, I miss them. Purescript also have them. Row-polymorphism ftw.

I changed from the ternary representation to the function, because I didn't think the generated code was very readable. In hindsight I'm not sure it's that much improvement. From a performance view it's probably worse off.

The Erlang Vm (BEAM), is another one at least.

That's a good point. I'll add a note to explicitly say that the examples doesn't use Core.

The code examples doesn't use Jane Streets Core as the primary standard library. If you do, for example by adding `open Core.Std` to your .ocamlinit, you'll get the behaviour you're describing.

It is probably a good idea to use Core, but for this introduction I wanted as little requirements as possible.

edit: spelling