Re: [ANNOUNCE] GHC 8.4.1-rc1 available

2018-02-27 Thread Jens Petersen
On 26 February 2018 at 02:42, Ben Gamari wrote: > https://downloads.haskell.org/~ghc/8.4.1-rc1 I'd like to ask: what BuildFlavour are these builds? Perf or something else? Is there a build.mk file for them? (If so would it make sense to include it in the binary

Re: An idea for a different style of metaprogramming evaluation using the optimiser

2018-02-27 Thread Sebastian Graf
Hey Matt, cool idea! Also it looks like such a tool could 'solve' stream fusion: https://ghc.haskell.org/trac/ghc/ticket/915#comment:52 Greetings Sebastian 2018-02-27 18:01 GMT+01:00 Joachim Breitner : > Hi, > > something like this would be great. I don’t have a sense

Re: An idea for a different style of metaprogramming evaluation using the optimiser

2018-02-27 Thread Joachim Breitner
Hi, something like this would be great. I don’t have a sense yet of what “something” should be like. Am Dienstag, den 27.02.2018, 09:59 + schrieb Matthew Pickering: > To go back to the power example, the recursive > condition would have to be an inductively defined natural (data N = Z > | S

An idea for a different style of metaprogramming evaluation using the optimiser

2018-02-27 Thread Matthew Pickering
I've had an idea for a while of a different way we could evaluate TH-like splices which would be more lightweight and easier to work with. The idea is to create a third quotation/splicing mechanism which has no introspection (like MetaML) but then to evaluate these quotes and splices in the