These are chat archives for got-lambda/expression

10th
Jun 2016
Magnus Therning
@magthe
Jun 10 2016 08:34
for those of you who are using spacemacs but aren't following the spacemacs+haskell discussions: https://github.com/cydparser/spacemacs-intero
Fredrik Dyrkell
@fredyr
Jun 10 2016 09:20
nice
Magnus Therning
@magthe
Jun 10 2016 09:42
yes, very, most importantly it actually works
Fredrik Dyrkell
@fredyr
Jun 10 2016 09:42
yeah that's a good feature :)
one of the best actually
Marco Zocca
@ocramz
Jun 10 2016 12:09
emacs,cross and delight. A glueball of text files held together by an obscure metalanguage with no types,written by and for bearded geeks who never set foot outside their basements.
(yes,it's one of those days for me)
Erik Svedäng
@eriksvedang
Jun 10 2016 12:14
haha, seems like you wanna stop working for today and spend the afternoon in a flame war..? ^^
Marco Zocca
@ocramz
Jun 10 2016 12:16
nej,I'd rather spend the afternoon on Hönö or at the lakes,but instead have to change compiler version and emacs tooling once more
Erik Svedäng
@eriksvedang
Jun 10 2016 12:19
:(
Marco Zocca
@ocramz
Jun 10 2016 12:20
btw,anyone here tried ghc 8 in combo w its Stackage nightly snapshot? @fredyr @magthe and all the haskell crew
Erik Svedäng
@eriksvedang
Jun 10 2016 12:20
computers suck!!!
Marco Zocca
@ocramz
Jun 10 2016 12:21
@eriksvedang most of the time : )
Erik Svedäng
@eriksvedang
Jun 10 2016 12:26
I learned a really cool emacs command today though! align-regexp
Marco Zocca
@ocramz
Jun 10 2016 12:33
what does it do?
Erik Svedäng
@eriksvedang
Jun 10 2016 12:54
aligns text beginning with whatever you want
M-x align-regexp =
will align all assignments, for example
Fredrik Dyrkell
@fredyr
Jun 10 2016 12:56
oh
hadnt used before, cool
Marco Zocca
@ocramz
Jun 10 2016 12:57
and all haskell constraints, =>
but good to know,thx
Magnus Therning
@magthe
Jun 10 2016 12:59
@ocramz, nope I'm using stack with a local build of ghc 8
@eriksvedang, cool, but something to stay away from if one is programming... I was crazy for Align in vim for a short period of time, until I learnt the error of my ways
Erik Svedäng
@eriksvedang
Jun 10 2016 13:02
yeah, I agree
it's not something I usually do... but when you have to do it for whatever reason it's very annoying to do by hand
especially when you realise you need to change the name of something...
Magnus Therning
@magthe
Jun 10 2016 13:07
indeed :)
Marco Zocca
@ocramz
Jun 10 2016 13:07
@magthe what do you do for package version bo
unds? I ean what repo do u use
sry for fat fingers, I'm on phone
Marco Zocca
@ocramz
Jun 10 2016 13:48
@eriksvedang there should be a M-x indent-assignments,but this would require language context and not regexes
also,it just occurred to me an interesting parallel between deciding whethe
r a program entered a loop and decid
ing whether a given signal is periodic,given a f
inite n
umber of samples
both can be only approximate decisions.
is there a measure theory for programs?
Erik Svedäng
@eriksvedang
Jun 10 2016 13:55
I don't know what measure theory is, so no idea ^^
Marco Zocca
@ocramz
Jun 10 2016 14:02
@eriksvedang mapping general stuff to positive numbers: length,area,amount of energy conta
ined in a frequency band of a s
ignal, are all exam
ples of measuring s
tuff
jolod
@jolod
Jun 10 2016 14:07
@ocramz Like https://en.m.wikipedia.org/wiki/Algorithmic_information_theory ? E.g Kolmogorov complexity?
Marco Zocca
@ocramz
Jun 10 2016 14:24
@jolod maybe : ) I actually read a few chapters of Chaitin's essay on Omega, but it struck me as too self-referential and not very informative
Omega being the, uncomputable but well-defined, probability of halting of a program
o, human condition! we were promised Turing machines with infinite tape, and we get buggy compilers and hacky editors