Hacker News new | ask | show | jobs
by caspper69 2272 days ago
I apologize for being ambiguous. You wouldn't gain the benefits of ATS by interfacing with its C bindings from C. You would gain safety and security in interfacing with unsafe C on the ATS side through the ATS type system.

I was speaking about interfacing in the opposite direction.
1 comments
thethirdone 2271 days ago
> I apologize for being ambiguous.

No need to apologize. I also should have been more clear about what I meant by strong interoperability.

> I was speaking about interfacing in the opposite direction.

I think that having really strong interoperability requires both directions, but the being called from C is the one that is more restrictive on fancy types.

link
caspper69 2271 days ago
Unfortunately, C is C, and we all know what that means. Anything that achieves true type safety in both directions in going to be a monstrosity on the C side. Lots of boilerplate, marshalling of types, etc.

It all starts to look like COM, lol. Take care man.

link