blueberry

expressiveness is not just "minimize typing"

qed

polymorphic variants can

unions can't express int | int, or any situation where the types are the same but are semantically different

@EldritchConundrum not really

they're also nicer to work with, imo

@EldritchConundrum nnnnot really? there's definitely some similarity, but ocaml's have more structure and can therefore express things that typescripts cannot

typescript has the opposite (entirely too much type system for it's own good) which is a bigger problem

but it means you also can't abuse it in dumb ways (because it barely exists)

C has nothing in the ways of a type system, which is obviously bad

@ATaco imo? actually no

what did you have in mind

@ATaco it doesn't get that much worse

(at a font level)

i would do it but i have no clue how kerning works

i hope the julia mono guy fixes it lol

damn, the kerning's correct there too

unusable

ugh

aw goddamnit no the kerning is off

little thin, but acceptable & monospace

@DLosc with julia mono they do

and I have to imagine the same is true for vscode or whatever

you could rig emacs up to type these with \[ and \] really easily

@UnrelatedString i mean, with appropriate built-in editor config, they wouldn't be

i don't like that, but you do you

fun foo ⟆a b c⟅ (x: a) (y: b) (z: c) = ...

@RubenVerg hm, so you would want like

it's horrible and I like it

fun foo ⟅a b c⟆ (x: a) (y: b) (z: c) = ...

speaking of: bag delimiters for type arguments

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

@AlexisKing perfect might be stretching it, but I get where you're coming from haha

oh, | is taken for guards isn't it

why on earth they use ; is beyond me, but hey, rather have them than not

cool

oh huh GHC has or patterns now

apologies if that came off as a bit strong initially

i was just recalling back to him saying at some point that I think he was developing Kind (the language in question) using quite a bit of AI - entirely possible I'm misremembering

@AlexisKing to be clear i'm not making an "accusation", i just follow victor taelin (the primary developer) on twitter, for better or worse, and he's just often talking about using AI to write code

anyway, i've close-voted it

(if my brief twitter followings of HVMCO's work is to be believed, the code is probably all AI anyway, so entirely possible it's just nonsense)

they're just asking about how source code works

@NewPosts is this really on topic

but it's a special case

ML didn't suck, and it's from that era

well i mean

in a way where it never comes back, and I can never run any programs with it ever again