These are chat archives for got-lambda/expression

2nd
Sep 2016
Jean-Louis Giordano
@Jell
Sep 02 2016 07:16
yeah was great! ended up being super cozy :)
very interesting exercise. Creativity often comes from constraints, and "you only have access to JS runtime, improve type safety" is a very interesting approach
Jean-Louis Giordano
@Jell
Sep 02 2016 07:27
a while back, @magthe made an awesome Got.lambda T-shirt. Would people be interested in getting one? With @magthe's permission and design, and probably with an added Zimpler logo in the back (otherwise can't pass that as marketing expense)
Marco Zocca
@ocramz
Sep 02 2016 07:38
likey!
Marco Zocca
@ocramz
Sep 02 2016 09:41
with all the language logos for additional cleverness
ok that would be quite repetitive since most feature a lambda character
does $\lambda$ work here?
λ\lambda ?
wee
S(×A)n^\int\limits_{S} \left( \nabla \times A \right) \cdot \hat{n}
sweet
Magnus Therning
@magthe
Sep 02 2016 10:06
@ocramz: I can report it doesn't really work that well in IRC ;)
λ works though
Marco Zocca
@ocramz
Sep 02 2016 10:12
but you just used unicode, not mathjax, I guess
Magnus Therning
@magthe
Sep 02 2016 10:13
indeed... weechat doesn't handle mathjax very well
Marco Zocca
@ocramz
Sep 02 2016 10:36
@davidchambers 's pres on using values as types and the feedback from @jell and @suvash got me thinking. Dependent typing becomes easier to implement in javascript than in Haskell, who'd have thought!
David Chambers
@davidchambers
Sep 02 2016 10:37
Indeed! Having access to values has advantages. Run-time type checking is not strictly worse than compile-time type checking. :)
Mattias Lundell
@mattias-lundell
Sep 02 2016 19:04
@Jell saw that you got my former cto as your new!
Jean-Louis Giordano
@Jell
Sep 02 2016 19:05
oooh really? fun!
Mattias Lundell
@mattias-lundell
Sep 02 2016 19:05
he's super
Jean-Louis Giordano
@Jell
Sep 02 2016 19:05
is that good news?
:)
kewl, had good vibes during the few meetings we had
he's starting monday :)
Mattias Lundell
@mattias-lundell
Sep 02 2016 19:06
yeah he's down to earth and have good vibe
Havn't met him the last years but I won't think he will disappoint you
And he knows the industry you wrestle with
Jean-Louis Giordano
@Jell
Sep 02 2016 19:08
yeah, was a good fit, both culture and knowledge-wise
I think it's gonna be awesome
Mattias Lundell
@mattias-lundell
Sep 02 2016 19:10
Just wanted to let you know!
Have a great weekend!
Jean-Louis Giordano
@Jell
Sep 02 2016 19:10
right back at you! :) cheers