Re: Type-level generics

2017-09-02 Thread David Feuer
Ah, nice. I was actually exploring the vague general idea behind that approach earlier this evening. Magalhães (unsurprisingly) has developed it much much further. David FeuerWell-Typed, LLP Original message From: Ryan Scott Date: 9/2/17 10:36 PM

Re: Type-level generics

2017-09-02 Thread Ryan Scott
If you're willing to go a completely different route from GHC.Generics, then you might be interested in the paper Generic Programming with Multiple Parameters [1] (whose existence I just learned of—thanks to Pedro, the author, for pointing it out to me). It does present a single Generic class that

Re: Type-level generics

2017-09-02 Thread Wolfgang Jeltsch
Am Samstag, den 02.09.2017, 11:35 -0400 schrieb Ryan Scott: > > When I looked at it the last time, there were some apparent > > leftovers in the form of types or type parameters never used. > > Are you referring to the `p` type parameters that are found in most of > the data types in GHC.Generics?

Re: Type-level generics

2017-09-02 Thread Ryan Scott
Several good points were brought up. Let me go through them and try to make sense of what I can: > When I looked at it the last time, there were some apparent leftovers in the > form of types or type parameters never used. Are you referring to the `p` type parameters that are found in most of

Darwin Harbormaster builder down

2017-09-02 Thread Ben Gamari
Hello everyone, It seems that the OS X Harbormaster builder has dropped off the face of the internet. I'm trying to get in touch with Futureice about this but in the meantime I've disabled the OS X build plan. This means that patches submitted won't be validated on OS X until this is resolved.

Re: Convenient URL alias for Trac tickets

2017-09-02 Thread Ben Gamari
Jan Stolarek writes: > One can also create bookmark with a keyword, as described on GHC wiki: > Indeed that is true; however, this won't work in most mobile browsers it seems. Isn't progress great? :) Cheers, - Ben signature.asc Description: PGP signature

Re: Convenient URL alias for Trac tickets

2017-09-02 Thread Jan Stolarek
One can also create bookmark with a keyword, as described on GHC wiki: https://ghc.haskell.org/trac/ghc/wiki/FirefoxTips Janek --- Politechnika Łódzka Lodz University of Technology Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. Jeżeli nie jesteście Państwo jej