Starfflame 2017-02-26 08:33:07
it's always xs or as or bs
monochrom 2017-02-26 08:33:07
You haven't seen enough. "Never" is false.
Starfflame 2017-02-26 08:33:42
> !True
lambdabot 2017-02-26 08:33:46
lambdabot 2017-02-26 08:33:46
parse error (possibly incorrect indentation or mismatched brackets)
Starfflame 2017-02-26 08:33:50
:V
monochrom 2017-02-26 08:34:03
> not True
Starfflame 2017-02-26 08:34:04
> ! True
lambdabot 2017-02-26 08:34:05
False
lambdabot 2017-02-26 08:34:06
lambdabot 2017-02-26 08:34:07
parse error (possibly incorrect indentation or mismatched brackets)
monochrom 2017-02-26 08:34:15
See? We use more verbose names than "!"
epsilonhalbe 2017-02-26 08:35:25
Starfflame: http://degoes.net/articles/insufficiently-polymorphic
epsilonhalbe 2017-02-26 08:36:13
this is a post where j a degoes - makes some valid points about short naming
Starfflame 2017-02-26 08:37:07
> let x = 2
lambdabot 2017-02-26 08:37:33
Starfflame 2017-02-26 08:38:35
> x = 2
epsilonhalbe 2017-02-26 08:43:08
plantedseed: the tickting of the austrian railway system was partly done in haskell, a bunch of banks use haskell internally - I am part of a startup writing a baby monitor in haskell (gonimo.com)
kadoban 2017-02-26 08:43:17
I guess if you really wanted to you could do a case just to be able to nest guards on that.
srhb 2017-02-26 08:43:23
plantedseed: The question itself makes me be wary of your criteria. Facebook is pretty big, and they use/developed Haxl for this purpose...
srhb 2017-02-26 08:43:37
their*
epsilonhalbe 2017-02-26 08:43:41
ah facebook of course - i forgot
epsilonhalbe 2017-02-26 08:44:19
and what you consider big - haskell code often turns out to be way less then expected!
stevenxl 2017-02-26 08:44:25
Hi folks. Are data constructors fist-class citizens? As far as I can tell, they seem to behave exactly like regular functions.
maerwald 2017-02-26 08:44:29
epsilonhalbe: haskell in railway systems? ugh, that sounds dangerous
Rembane 2017-02-26 08:44:43
stevenxl: Yes!
maerwald 2017-02-26 08:44:57
usually, they are super strict and verify compilers, generated code and whatnot
maerwald 2017-02-26 08:45:26
which is "easy" in C, not so much in GHC
epsilonhalbe 2017-02-26 08:45:26
maerwald: the ticketing calculations
kadoban 2017-02-26 08:45:26
Ticketing systems don't usually kill people much.
stevenxl 2017-02-26 08:46:04
Rembane: cool! But now my next question is, how is that consistent with the fact that only types should start with capital letters?
maerwald 2017-02-26 08:46:05
epsilonhalbe: ah
Rembane 2017-02-26 08:46:05
stevenxl: Types and constructors should start with capital letters.
epsilonhalbe 2017-02-26 08:46:05
kadoban: except the prices sometimes do ;-)
kadoban 2017-02-26 08:46:11
Heh, indeed
