Conversation

This is a future I want to see – an ABI where types are preserved:

Quote Tweet

· Jul 23, 2020

Fifth: The ABI should include the ability to encode information about types and layouts, not just function names. This should be used at compile/runtime to provide type information. Compilers should be able to import ABI libraries directly, or provide codegen tools to get headers

Show this thread

3:03 AM · Jul 24, 2020Twitter Web App

Replying to

The quoted proposal seems a lot like a reinvention of RPC. However most RPC systems today have fairly weak ad-hoc type systems.

Brendan Zabarauskas

@brendanzab

Jul 24, 2020

Yeah, it's pretty similar. I'm guessing this would match a wishlist of a nice RPC thing pretty closely. It's also definitely not a new idea - see some of the things I linked here:

Quote Tweet

Brendan Zabarauskas

@brendanzab

· Jul 24, 2020

Replying to @bitshiftmask

Regarding typed ABIs, have you seen the work on type preserving compilation and linking types? Would be cool to look into this stuff: eg. not sure how up to date this is, but there's interesting stuff here: silc.ccs.neu.edu/projects/ (@aatxe linked me to this ages ago).

Show replies