2026/03/04

Newest at the top

2026-03-04 01:02:19 +0100 <EvanR> whoever heard of a variable not latin or greek
2026-03-04 01:01:57 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2026-03-04 01:01:35 +0100 <chromoblob> cool...
2026-03-04 01:01:33 +0100 <EvanR> are supposed to look like xD
2026-03-04 01:01:28 +0100 <lambdabot> -6
2026-03-04 01:01:27 +0100 <chromoblob> > let x ☉ y = -(x * y) in 2 ☉ 3
2026-03-04 01:01:23 +0100 <EvanR> it's fine because obviously variables like x y and z
2026-03-04 01:01:17 +0100 <geekosaur> it's kinda stuck without constructors
2026-03-04 01:01:14 +0100 <lambdabot> OtherLetter
2026-03-04 01:01:13 +0100 <int-e> > generalCategory 'ꙮ'
2026-03-04 01:00:55 +0100 <EvanR> but then I guess chinese would be stuck without variables
2026-03-04 01:00:49 +0100 <lambdabot> OtherSymbol
2026-03-04 01:00:48 +0100 <chromoblob> > generalCategory '☉'
2026-03-04 00:59:45 +0100 <lambdabot> OtherLetter
2026-03-04 00:59:44 +0100 <geekosaur> > generalCategory 'ש'
2026-03-04 00:59:37 +0100 <EvanR> s/green/greek/
2026-03-04 00:59:31 +0100 <EvanR> if you write out some computer text containing latin, green, chinese, arabic, and hebrew, some of these scripts will appear "big" and some "small"... that's how it should've been divided between types, ctors and variables xD
2026-03-04 00:59:17 +0100 <int-e> EvanR: The Haskell 2010 report assumes a dichotomy with language like, for example, "Names for variables and type variables are identifiers beginning with lowercase letters or underscore; the other four kinds of names are identifiers beginning with uppercase letters." So this is technically a GHC extension? Hehe.
2026-03-04 00:57:56 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-04 00:56:49 +0100 <lambdabot> OtherLetter
2026-03-04 00:56:48 +0100 <yin> > generalCategory 'ワ'
2026-03-04 00:56:30 +0100 <geekosaur> ":" is treated as an "uppercase" symbol character
2026-03-04 00:56:11 +0100 <geekosaur> initial upper for constructors, lower (or neutral) for variables
2026-03-04 00:55:52 +0100 <geekosaur> yes and always has been. one of the annoyances with Haskell given scripts that lack the distinction (kanji, katakana, hangul, Arabic, Hebrew, etc.)
2026-03-04 00:55:35 +0100 <EvanR> the plot thickens
2026-03-04 00:55:04 +0100 <EvanR> lower is not required for variables
2026-03-04 00:54:56 +0100 <EvanR> so it's like, yes upper is required for constructors
2026-03-04 00:54:39 +0100 <yahb2> <interactive>:23:6: error: [GHC-47568] ; Malformed head of type or class declaration: ワ
2026-03-04 00:54:39 +0100 <chromoblob> % data ワ = Wa
2026-03-04 00:54:34 +0100 <int-e> (that looks so wrong)
2026-03-04 00:54:31 +0100Square(~Square@user/square) (Ping timeout: 276 seconds)
2026-03-04 00:54:25 +0100 <yahb2> <no output>
2026-03-04 00:54:25 +0100 <int-e> % data Xワ = Xワ
2026-03-04 00:54:04 +0100 <yahb2> <interactive>:19:10: error: [GHC-25742] Not a data constructor: ‘ワ’
2026-03-04 00:54:04 +0100 <int-e> % data ワ = ワ
2026-03-04 00:53:31 +0100 <lambdabot> True
2026-03-04 00:53:29 +0100 <chromoblob> > (not . isUpper) 'ワ' -- here, fixed :p
2026-03-04 00:53:19 +0100int-eruns
2026-03-04 00:53:16 +0100 <int-e> wah!
2026-03-04 00:52:59 +0100 <int-e> I hope it isn't anything offensive ;)
2026-03-04 00:52:31 +0100 <int-e> EvanR: I guess this makes it "lower case"
2026-03-04 00:52:22 +0100 <lambdabot> 1
2026-03-04 00:52:21 +0100 <int-e> > let ワ = 1 in ワ
2026-03-04 00:52:14 +0100 <chromoblob> ...
2026-03-04 00:52:05 +0100 <lambdabot> False
2026-03-04 00:52:04 +0100 <int-e> > isUpper 'ワ'
2026-03-04 00:52:04 +0100 <EvanR> it's pretty big so seems like a constructor
2026-03-04 00:52:03 +0100 <yin> EvanR: I mostly blame the Num typeclass itself
2026-03-04 00:51:56 +0100 <lambdabot> False
2026-03-04 00:51:55 +0100 <int-e> > isLower 'ワ'