3 ms·

Hi, I'm the creator of Cogent. I don't think Cogent would be much good for writing a compiler, actually (it doesn't natively support recursive data structures

• nickpsecurity 10y ago
  Wow, what a small world. :) I evangelize high-assurance tech and R&D on forums like this. I wasn't aware of this limitation of COGENT. I maybe wrongly assumed one could write a simple, non-optimizing compiler if people had written two filesystems in it. The latter seemed more complex. I'll hold off on that recommendation then. I did want to learn some more about the strengths and limitations of your tool to generate ideas for other researchers. Send an email to the address in my profile. I'll reply in a few days with some questions that people here might have.