investigate using bindings nomic-io

f-o-a-m / kepler

A Haskell framework that facilitates writing ABCI applications

https://kepler.dev

Apache License 2.0

34 stars 9 forks source link

investigate using bindings nomic-io #82

Closed martyall closed 4 years ago

martyall commented 5 years ago

after having a conversation with ethan from cosmos-sdk dev team, he recommended looking into writing haskell bindings for nomic-io for a merkle store.

[ ] figure out the state of FFI with Haskell using Rust
[ ] make POC

charlescrain commented 4 years ago

Interesting discussion on inline rust with haskell.

I could only find 2 libraries:

inline-rust (rust is written via quasiquoter)
curryrs (this one is archived so probably not a good one)

charlescrain commented 4 years ago

I was looking more at the inline-rust one and looks like its pretty straight forward to import crates,

example importing a crate

Could be we just write some wrapper functions with the quasi-quoted rust.

FYI, the project doesn't look like its being actively maintained so it also may not be what we're looking for. Other than that it seems promising.

martyall commented 4 years ago

what about building a grpc server for this https://github.com/tendermint/iavl ?

https://github.com/google/trillian

charlescrain commented 4 years ago

gRPC Feature Request: https://github.com/tendermint/iavl/issues/183

martyall commented 4 years ago

close in favor of #101