[GHC] #14976: WebAssembly support

#14976: WebAssembly support -------------------------------------+------------------------------------- Reporter: sven | Owner: (none) Type: feature | Status: new request | Priority: low | Milestone: Component: Compiler | Version: 8.2.2 Keywords: wasm, | Operating System: Unknown/Multiple webassembly | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I would like to suggest adding a wasm backend to GHC. PureScript is also offering something similar. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14976 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#14976: WebAssembly support -------------------------------------+------------------------------------- Reporter: sven | Owner: (none) Type: feature request | Status: new Priority: low | Milestone: Component: Compiler | Version: 8.2.2 Resolution: | Keywords: wasm, | webassembly Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by mpickering): See https://github.com/tweag/asterius for some related work. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14976#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#14976: WebAssembly support -------------------------------------+------------------------------------- Reporter: sven | Owner: (none) Type: feature request | Status: new Priority: low | Milestone: Component: Compiler | Version: 8.2.2 Resolution: | Keywords: wasm, | webassembly Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by sven): @mpickering I'm already aware of this. Unfortunately tweag/asterius is not usable yet (see https://github.com/tweag/asterius/issues/1). Sorry if it's not clear in the description of my feature request, but I don't want a HS to JS solution, WebAssembly is the way to go anyway. It's obvious that some peoples are going to build their own compiler but I think it's better to have a common initiative and something reliable. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14976#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#14976: WebAssembly support -------------------------------------+------------------------------------- Reporter: sven | Owner: (none) Type: feature request | Status: new Priority: low | Milestone: Component: Compiler | Version: 8.2.2 Resolution: | Keywords: wasm, | webassembly Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): It'd be great to have a collaborative effort to generate WebAssembly. Incidentally, here's another (pre-web-assembly) effort in this Javascript space: Haste: https://ekblad.cc/pubs/thesis.pdf -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14976#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#14976: WebAssembly support -------------------------------------+------------------------------------- Reporter: sven | Owner: (none) Type: feature request | Status: new Priority: low | Milestone: Component: Compiler | Version: 8.2.2 Resolution: | Keywords: wasm, | webassembly Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by hvr):
I would like to suggest adding a wasm backend to GHC.
I'd like to point out that this is the primary goal of the webGHC project, i.e. to eventually upstream its wasm backend into GHC proper! Quoting https://webghc.github.io/2019/01/18/state-of-webghc- january-2019.html: ''I want to explain that the prime directive of WebGHC thus far has been to ensure its upstream-ability. The WebGHC project aims to add a WebAssembly target to GHC’s existing cross compilation infrastructure. We’re trying to use as much of GHC’s existing infrastructure as possible so that merging upstream eventually is likely, among several other advantages.'' -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14976#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC