You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Given the complexity of this project, it may be best to leave it for now. I'll document my progress on it here.
In order to prevent the need for a server running a solver, a local WebAssembly client in the user's browser could be instantiated and used to solve problems. This would require migration of the three main components of this project; Conjure, Minion (at least) and Savile Row, to WebAssembly.
There are plenty of projects out there than can recompile Java and Haskell into WASM, but each share the same downsides - they cannot compile 1:1. For example, TeaVM doesn't support reflection (which savile-row uses). The HaskellWASM compiler supports an even smaller subset of Haskell, so it's unlikely that conjure will be able to be compiled.
If this landscape changes, then maybe this approach has a chance. For now, continue with the docker approach.
The text was updated successfully, but these errors were encountered:
Given the complexity of this project, it may be best to leave it for now. I'll document my progress on it here.
In order to prevent the need for a server running a solver, a local WebAssembly client in the user's browser could be instantiated and used to solve problems. This would require migration of the three main components of this project; Conjure, Minion (at least) and Savile Row, to WebAssembly.
There are plenty of projects out there than can recompile Java and Haskell into WASM, but each share the same downsides - they cannot compile 1:1. For example, TeaVM doesn't support reflection (which savile-row uses). The HaskellWASM compiler supports an even smaller subset of Haskell, so it's unlikely that conjure will be able to be compiled.
If this landscape changes, then maybe this approach has a chance. For now, continue with the docker approach.
The text was updated successfully, but these errors were encountered: