the Consensus Topos? Scala is just one way of representing functions and types. So is the Scala code then analyzed and put into some mathematical representation at compile time?
And is that representation the Categorical Programming Language laid out in the Generative Economics paper? I'm a little puzzled about the specifics of the ACR and how different representations are practically compatible with each other.
We have an autonomous decision making system in the form of trading infrastructure built in C# for imperative code and F# for functional declarative code. While we decentralize this, it's costly for us to duplicate code from F# to Scala just for HGTP validation, so I'd like to evaluate the costs of writing an F# to HGTP compiler, but I'm missing the details about the ACR. Where can I learn more?
this is an excellent question regarding the ACI. @alexbrandes
Hey, just read about your project in the German group - very cool :) You can also join the dev/tech group on our discord - you will probably get a faster answer over there! https://discord.gg/zp9RjuB8tH
Обсуждают сегодня