These are chat archives for got-lambda/expression

3rd
Oct 2016
Magnus Therning
@magthe
Oct 03 2016 06:59
@jolod, I'd love to hear if the ArchHaskell package of hsdev works... so if you feel like taking another shot at Sublime+hsdev for haskell, maybe Arch is the platform to try it on? :)
Marco Zocca
@ocramz
Oct 03 2016 07:03
@magthe how come you got to use Arch?
for the sheer joy of h4x0ring it or for some technological advantage?
Magnus Therning
@magthe
Oct 03 2016 07:08
@ocramz, mostly because it, maybe somewhat unintuitively, requires very little hacking to maintain... even the initial hacking to set it up is rather limited
most of the h4x0ring I have is for my shell/editor/etc and that's the same no matter what distro
Marco Zocca
@ocramz
Oct 03 2016 07:12
my current laptop is my first OSX box (and last one?), but I found the amount of (pointless) h4x0ring necessary to turn it into a development machine to be quite disturbing
Marco Zocca
@ocramz
Oct 03 2016 07:19
ok this has also to do with 'politics': the gcc/CLang fiasco for example
jensli
@jensli
Oct 03 2016 07:59

My Scala Kanren implementation got me interested in the problem of making lazy algorithms in strict languages.

One problem with my solution is that it always computes the first result element, it is only lazy in the rest of the result. It has to do with the implementation of the Scala Stream class.

I found the interesting article How to add laziness to a strict language without even being odd by Philip Wadler that discusses exactly this.

Maybe it could even be the topic of a book club meeting.

Marco Zocca
@ocramz
Oct 03 2016 08:57
Phil Wadler is da man
jensli
@jensli
Oct 03 2016 08:58
:)
Marco Zocca
@ocramz
Oct 03 2016 08:59
@jensli I think what you described is called "weak head normal form" in Haskell
jensli
@jensli
Oct 03 2016 09:02
Mjae... I think it is related. But for cons cell to be in WHNF only the cons itself would been evaluated. In the Scala stream class the cons cell and the head is evaluated. Only the tail is non-evaluated. That is more evaluation than to WHNF.
Marco Zocca
@ocramz
Oct 03 2016 09:03
ah, I don't know any Scala so I'm out of my depth here
Erik Svedäng
@eriksvedang
Oct 03 2016 10:47
Hi, I can do the circle on Tuesdays or Wednesdays. Also, during daytime any weekday but that is impractical for most people I assume?
Oh, and at like 21:30 Monday / Thursday :)
jensli
@jensli
Oct 03 2016 10:48
I am fortunate enough to work 80 % so I'm available pretty early in the afternoon.
Magnus Therning
@magthe
Oct 03 2016 11:04
@jensli, that description rings some bells related to streams from SICP... but probably got it wrong
jensli
@jensli
Oct 03 2016 11:51
Okay, interesting, I'll have a look for streams in SICP.
jolod
@jolod
Oct 03 2016 12:14
@jensli @eriksvedang As before I can any day but Tuesday.
Erik Svedäng
@eriksvedang
Oct 03 2016 13:06
Lets wait until this Wednesday and see if next Wednesday is good :)
jensli
@jensli
Oct 03 2016 19:23
Lets.
in which also the awesome @davidchambers gets a mention! ^_^