These are chat archives for got-lambda/expression

24th
Mar 2017
Magnus Therning
@magthe
Mar 24 2017 07:53
@ebergq_twitter yeah, who wouldn't? :)
jolod
@jolod
Mar 24 2017 08:46
@eriksvedang You have used a contravariant functor if you ever used Signal.forwardTo in Elm. :-)
(At least the type matches. Don't know if it is actually a contravariant functor.)
Magnus Therning
@magthe
Mar 24 2017 09:09
Anyone using an interesting font when programming?
Erik Svedäng
@eriksvedang
Mar 24 2017 09:24
I use Hasklig, at least it's got ligatures ^^. Not super interesting though, just good looking!
@jolod I'm not sure if I used that one. But cool, good catch!
Magnus Therning
@magthe
Mar 24 2017 09:31
@eriksvedang No support for Emacs? Is it even possible to call it a font then? ;)
Erik Svedäng
@eriksvedang
Mar 24 2017 09:31
oh, but I use it in emacs
Magnus Therning
@magthe
Mar 24 2017 09:31
Badly updated README then, maybe.
You didn't have to do anything special to make it work?
Erik Svedäng
@eriksvedang
Mar 24 2017 09:31
no, you just need to hack a bit
yeah
i mean, it works great from the start
but the ligatures require some hacks
Magnus Therning
@magthe
Mar 24 2017 09:38
yes, just reading up on OTF ligature support in emacs now... not supported, but there are hacks around it (prettify-symbols-mode), I'll have to look into spacemac's support for it
it's a decent work around, I only enable it for Haskell I think
or other languages where the -> should be an arrow, etc
Screen Shot 2017-03-24 at 10.35.32.png
hope that code doesn't contain some stupid mistake... just look at the arrows :P
Magnus Therning
@magthe
Mar 24 2017 09:46
@eriksvedang apparently there's an issue with column numbering then which will mess with intero's ability to give correct types in all cases: syl20bnr/spacemacs#6703
that's a bit unfortunate
Erik Svedäng
@eriksvedang
Mar 24 2017 09:47
oh, haven't noticed that
but yeah, it's a pretty useless thing to have – just pretty
the font is great even without ligatures, then it's just Adobe's "Source Code Pro"
Magnus Therning
@magthe
Mar 24 2017 09:48
yupp, true... I thought I'd play around with fonts a little though :)
Erik Svedäng
@eriksvedang
Mar 24 2017 09:48
maybe you could patch emacs for all of us?!!!
Magnus Therning
@magthe
Mar 24 2017 09:55
@eriksvedang Source Code Pro is what I'm using at the moment
Erik Svedäng
@eriksvedang
Mar 24 2017 11:08
oh :)