Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2017-05-13

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

All times shown according to UTC.

Time Nick Message
01:48 ilbot3 joined #isabelle
01:48 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/
02:20 ertes joined #isabelle
07:13 ski joined #isabelle
07:21 JCaesar Talking about a stupid technology stack: You can generate Haskell-code from Isabelle, and in turn you can generate JS from that. Example: http://liftm.de/FFFUU/
07:32 stoopkid joined #isabelle
07:35 fowlslegs joined #isabelle
08:35 pruvisto JCaesar: inb4 Isabelle → PureScript export
11:55 silver joined #isabelle
12:42 int-e joined #isabelle
16:07 ski joined #isabelle
17:59 chindy this should work with ocaml too though
18:01 JCaesar We have a parser that is written Haskell, so that wasn't really an option… And I doubt it would be any less stupid.
18:08 larsrh JCaesar: interesting, I didn't know that particular .hs→.js compiler
18:08 larsrh I only knew about GHCJS
18:10 JCaesar I have to say: compiling haste was a pain (didn't get it to work under debian at all, ubuntu 16.04 seems to be a good spot), but after that it was relatively trouble-free. No Data.Bits, and optparse wouldn't compile, but something like that was what I expected…
18:10 JCaesar larsrh: any experience with GHCJS?
18:24 ertes joined #isabelle
20:49 fowlslegs joined #isabelle
21:04 ertes joined #isabelle
23:14 JCaesar Hm, say, there is no generally accepted infix operator for set operations, is there?
23:14 JCaesar s/set operations/set insert/

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