[Nix-dev] Typing nix − funding campaign

[Théophane Hufschmitt]

> What about guix https://www.gnu.org/software/guix/ ?
> Does some typing exist here already?

There exist things (which are among the stuff I plan to study before
designing the system) for scheme
(like http://www.ccs.neu.edu/racket/pubs/popl08-thf.pdf), but as far
as I know, nothing special to guile (and hence to guix).

> If you need a nice idea about "how to improve the world" - nix guix and
> the JS implemenation (and the 100+ other distros) clearly say that a
> cross platform cross language package manage / depndency system is
> required to derive .nix / guix /whatsoever packages from ..
> 
> It should allow "platforms" (like Haskell) to have "stable bases" to
> work on.
> 
> That would be awesome and the whole open source community & nix would
> benefit IMHO.

That's slightly out of topic, but why wouldn't the drv system work for this

-- 
Théophane Hufschmitt
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <http://lists.science.uu.nl/pipermail/nix-dev/attachments/20170112/91009988/attachment.sig>