Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2018-02-23

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
02:57 ilbot3 joined #isabelle
02:57 Topic for #isabelle is now Official channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html || Now with logging: http://irclog.perlgeek.de/isabelle/
05:41 mal`` joined #isabelle
07:41 dmiles joined #isabelle
08:11 dmiles joined #isabelle
09:06 drsmkl[m] joined #isabelle
09:20 larsrh I have come to the conclusion that we need an "Archive of Isabelle tools"
09:23 larsrh there are at least two candidates for this: OpenTheory and Hipster
09:24 larsrh all of this could benefit from a uniform, automated Windows/Linux/macOS build environment
09:24 larsrh we really ought to learn a bit from the broader OSS ecosystem her
09:24 larsrh *here
09:27 larsrh other candidates are: opam, stack, scala/coursier
09:37 int-e no hackage/cabal-install?
09:43 larsrh well, the idea would be to allow ppl to bootstrap a working Haskell installation
09:43 larsrh as far as I know the easiest is hence to provide stack
09:43 larsrh then you can "stack install" some GHC and have a working Cabal etc.
09:43 larsrh can be wrapped as an Isabelle command line tool too
09:43 larsrh "isabelle install_compiler ghc 8.2" or something
09:44 larsrh the idea would be to run this semi-automatically to provide the correct $ISABELLE_GHC for code_export checking
09:44 larsrh one step towards more reproducible builds
09:55 int-e I guess I'm happy with that as long as it's not the only way.
10:02 larsrh all of that would obviously be optional
10:02 larsrh you can still install GHC however you like
10:03 larsrh I'm using stack to get a consistent GHC version on all the Isabelle build nodes
10:14 int-e I still keep up this crazy habit of installing ghc from source.
10:19 larsrh ... why
10:22 int-e Because it keeps my ghc_version script working? And it's not a lot of work anyway. But it does date back about 15 years, when there was no stack or even Haskell platform, and avoided trouble with Linux distribution's ghc packaging hickups.
10:23 int-e It's a habit, not a role model.
10:26 int-e (ghc_version is a small shell function that adjusts various environment variables to pick up ghc from /opt/ghc-<whatever version>. I guess that's a problem also solved by Nix, and to a lesser extent, stack.)
13:02 chindy int-e: https://xkcd.com/1172/
13:15 int-e chindy: Indeed. Firefox is very much guilty of breaking my workflows in ways like that.
15:19 ammbauer "In the Isabelle distribution the quality standards are even higher than for AFP." shots fired :D

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary