On Thursday, February 14, 2013 at 8:14 PM, Johan Tibell wrote:
> On Thu, Feb 14, 2013 at 2:53 PM, Joachim Breitner (mailto:m...@joachim-breitner.de)> wrote:
> I don't think having FFI far down the stack is a problem. There are lots of
> pure data types we'd like in the "pure data" layer (e.g. byt
On Thu, Feb 14, 2013 at 2:53 PM, Joachim Breitner
wrote:
> Hi,
>
> Am Donnerstag, den 14.02.2013, 13:19 -0800 schrieb Johan Tibell:
> > That's great. I'm curious I was under the impression that it was hard
> > to split out a pure subset as functions might call 'error' (e.g. due
> > to incomplete
Hi,
Am Donnerstag, den 14.02.2013, 13:19 -0800 schrieb Johan Tibell:
> That's great. I'm curious I was under the impression that it was hard
> to split out a pure subset as functions might call 'error' (e.g. due
> to incomplete pattern matches) and that would pull in the whole I/O
> subsystem. Ho
On Thu, Feb 14, 2013 at 8:45 AM, Joachim Breitner
wrote:
> ./Control/Applicative.hs
> ./Control/Arrow.hs
> ./Control/Category.hs
> ./Control/Monad/Fix.hs
> ./Control/Monad.hs
> ./Data/Bits.hs
> ./Data/Bool.hs
> ./Data/Either.hs
> ./Data/Eq.hs
> ./Data/Foldable.hs
> ./Data/Function.hs
> ./Data/Func
Hi,
I made a little progress after crippling GHC.Fingerprint:
The package at
https://github.com/nomeata/packages-base/tree/base-pure
(Branch base-pure) builds and contains just these modules:
./Control/Applicative.hs
./Control/Arrow.hs
./Control/Category.hs
./Control/Monad/Fix.hs
./Control/Monad
On Thu, Feb 14, 2013 at 03:48:51PM +0100, Joachim Breitner wrote:
>
> Yesterday, I experimented a bit with base’s code, first beginning with
> as few modules as possible and adding what’s required; then starting
> with the whole thing and trying to remove e.g. IO.
>
> But clearly it is not easy:
Hi,
Am Donnerstag, den 14.02.2013, 02:21 + schrieb Ian Lynagh:
> On Wed, Feb 13, 2013 at 07:32:06PM +0100, Joachim Breitner wrote:
> >
> > I have started a wikipage with the list of all modules from base,
> for a
> > first round of shuffling, grouping and brainstorming:
> >
> > http://hackag
