« first day (538 days earlier)      last day (37 days later) » 

Dannyu NDos
Dannyu NDos
01:23
Y'know what? I gotta learn Kotlin. A single glance to it rendered it to seem better than C#.
 
1 hour later…
Seggan
Seggan
02:37
@DannyuNDos @Ginger another one has been tempted mwahahaha
 
2 hours later…
blueberry
blueberry
05:05
oh huh GHC has or patterns now
cool
why on earth they use ; is beyond me, but hey, rather have them than not
oh, | is taken for guards isn't it
Alexis King
Alexis King
Yeah, this is actually a really big problem with extending Haskell lol, all the symbols are already taken and it’s not really a language that easily admits just shoving keywords in instead
I think in some ways the syntax is legitimately a little too perfect because it makes it impossible to add anything new to the language
 
2 hours later…
Dannyu NDos
Dannyu NDos
06:48
Haskell is gonna have Rust's |? Nice!
 
3 hours later…
blueberry
blueberry
10:00
@AlexisKing perfect might be stretching it, but I get where you're coming from haha
it's one thing to do language development where you control everything; it's another entirely to work on something big and old and established
speaking of: bag delimiters for type arguments 
fun foo ⟅a b c⟆ (x: a) (y: b) (z: c) = ...
it's horrible and I like it
 
3 hours later…
Unrelated String
Unrelated String
13:35
ahahaha
If it was easier to type I would love that so much
Ginger
Ginger
14:07
@Seggan wondrous. our ranks grow by the day
 
3 hours later…
Seggan
Seggan
16:47
@blueberry amen
Eldritch Conundrum
Eldritch Conundrum
17:08
void foo𝆒T𝆓()
⦧
print❨❝hello❞❩
⦦
RubenVerg
RubenVerg
17:29
@blueberry opinion of dubious popularity: bag delimiters look reversed to me
like, i get that "bag" implies that they should look like a bag drawing
but i guess i'm used to seeing ∫ at the beginning of things
New Posts
New Posts
17:52
0
Q: What design choices inform whether a whole-program optimizing compiler is possible?

aproposWhat design restrictions inform a language having / having a useful whole-program optimizing compiler? I'm aware that Standard ML has a whole-program optimizing compiler implementation in MLton. I have heard that this is an impressive feat of engineering, and I have heard that the ability to do t...

compilers optimization standard-ml
 
3 hours later…
blueberry
blueberry
21:03
@RubenVerg hm, so you would want like 
fun foo ⟆a b c⟅ (x: a) (y: b) (z: c) = ...
i don't like that, but you do you
@UnrelatedString i mean, with appropriate built-in editor config, they wouldn't be
you could rig emacs up to type these with \[ and \] really easily
and I have to imagine the same is true for vscode or whatever
 
3 hours later…
DLosc
DLosc
23:39
But the real question is, do they monospace correctly?

« first day (538 days earlier)      last day (37 days later) »