These are chat archives for got-lambda/expression

29th
Nov 2017
jolod
@jolod
Nov 29 2017 09:46
@Jell If we want a time filler, I can quickly slidify my gist on rank-2 types, if I can steal and get @ocramz's setup to work. I actually hit the rank-2 problem again yesterday.
Marco Zocca
@ocramz
Nov 29 2017 10:06
Help yourself @jolod
Yay for higher ranked types
jolod
@jolod
Nov 29 2017 10:07
@ocramz I just moved it out to the top level. :-) But the first time I hit it I scratched my head for at least an hour trying to figure out why a simple refactoring did not work.
Marco Zocca
@ocramz
Nov 29 2017 10:19
@jolod will you use Purescript?
or Hs?
or .. Carp?
jolod
@jolod
Nov 29 2017 11:22
@ocramz PureScript.
Marco Zocca
@ocramz
Nov 29 2017 11:22
@Jell is there a macbook charger at zimpler? one with the t-shaped magnetic plug
jolod
@jolod
Nov 29 2017 11:23
@ocramz Why do you ask about the language?
Marco Zocca
@ocramz
Nov 29 2017 11:23
just curious
jolod
@jolod
Nov 29 2017 11:25
If I can do it with PS instead of Hs, I do it with PS, even when that means running on Node.
(Mostly because I'm used to it now.)
Marco Zocca
@ocramz
Nov 29 2017 14:00
o ya, node.js is what kids nowadays call "bare metal"
</sarcasm>
Magnus Therning
@magthe
Nov 29 2017 14:02
"I'm a fullstack developer."
"Oh, what direction does your stack grow, up or down?"
Marco Zocca
@ocramz
Nov 29 2017 14:04
sideways, until it topples
Magnus Therning
@magthe
Nov 29 2017 14:36
No got-lambda for me tonight, I'm hoping there'll be video so I can enjoy and learn on my own at a later date :)
Marco Zocca
@ocramz
Nov 29 2017 14:40
noooooo
@magthe I need backup from an experienced Haskeller
sure you can't carve out an hour or so?
Magnus Therning
@magthe
Nov 29 2017 14:49
No, it's the last kodstuga, when the kids show off what they've done to their parents :)
Marco Zocca
@ocramz
Nov 29 2017 14:50
ouch, I see. Can't miss
Magnus Therning
@magthe
Nov 29 2017 14:50
Indeed.
Marco Zocca
@ocramz
Nov 29 2017 15:58
damn, today 10 people dropped from the meetup list
not that I care about a crowd, but make up your mind folks
jolod
@jolod
Nov 29 2017 15:59
So, I reworked the gist into slides. We can keep it as a bonus presentation if anyone wants to. I can do this at any other time. I just don't think it warrants a meetup on its own, but I can save it for any other time.
Also, I have no idea how long it will take to go through it. Haven't tried it yet.
Marco Zocca
@ocramz
Nov 29 2017 16:00
cool
jolod
@jolod
Nov 29 2017 16:00
@ocramz I commented out the slide effect when going vertically. Does that make me a front end dev too? ;-P
Marco Zocca
@ocramz
Nov 29 2017 16:01
precis
jolod
@jolod
Nov 29 2017 16:01
Actually an interesting philosophical question. Does removing features make you a developer? I'd say so. Maybe not a programmer though, since you didn't write any (sub)program.
Marco Zocca
@ocramz
Nov 29 2017 16:02
what's the dual of a developer? a co-developer?
nah
an anti-developer?
an antelope?
jolod
@jolod
Nov 29 2017 16:02
Why are there no anti-monads? Oh, wait, there's loads.
(As in, a lot of people are anti monads.)
Marco Zocca
@ocramz
Nov 29 2017 16:03
yes, shame
jolod
@jolod
Nov 29 2017 16:03
If we would change all instances of "anti" to "co" I think we'd solve world piece.
s/piece/peace/.