4 ms·

Does Scryer have: - FFI to C or Java - “unique”, i.e. linear type declarations - modes, i.e. data-flow direction-dependent overloading of predicates These a

by dejj 5y ago

Does Scryer have: - FFI to C or Java - “unique”, i.e. linear type declarations - modes, i.e. data-flow direction-dependent overloading of predicates These are my favorite features in Mercury Prolog [1], and I would be delighted to find them in Scryer too. [1] http://mercurylang.org/ http://mercurylang.org/

mthom 5y ago
No FFI yet, no. I'll first try to adapt LispWork's Foreign Language Interface by writing a compatibility layer for Rust. If that goes well, I'll begin to explore writing a Common Lisp FFI to Scryer, which may give insights on how to interface Scryer to languages like C and Java.