statebox / cql

CQL: Categorical Query Language implementation in Haskell
GNU Affero General Public License v3.0
162 stars 14 forks source link

Investigate compilation to javascript using ghcjs #43

Closed epost closed 5 years ago

epost commented 5 years ago

We already have a basic AQL schema editor based on Ace. If we could stick a ghcjs backend behind this, we could run AQL stuff online in a web environment, which would be super nice.

wisnesky commented 5 years ago

I can’t see the schema editor project, even when I’m logged in to GitHub. Can I take a look?

On Sep 26, 2018, at 9:58 AM, Erik Post notifications@github.com wrote:

We already have a basic AQL schema editor based on Ace. If we could stick a ghcjs backend behind this, we could run AQL stuff online in a web environment, which would be super nice.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.

epost commented 5 years ago

@wisnesky you should now.

tg-x commented 5 years ago

looked into it but haven't yet managed to get nix compile it due to dependency build issues: https://github.com/NixOS/nixpkgs/issues/47437

and now due to new dependencies the non-js build also fails: https://github.com/NixOS/nixpkgs/issues/47439 (fixed now)

will proceed with this further after the above build issues are resolved

wisnesky commented 5 years ago

Just a heads up the only Knuth-Bendix completion library in Cabal, Twee, uses native C code. I imagine that would make it incompatible with JS translation but I’m not an expert.

On Sep 27, 2018, at 3:38 PM, TG ⊗ Θ notifications@github.com wrote:

looked into it but haven't yet managed to get nix compile it due to dependency build issues..

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or mute the thread.

tg-x commented 5 years ago

some documentation is available here: https://github.com/ghcjs/ghcjs/blob/master/doc/foreign-function-interface.md

epost commented 5 years ago

Seems like it's better to go the HTTP API route then, since we need that anyway, and ghcjs seems very faffy.