programming
every few months I'm like
"I should make C, but better"
and so I start designing a simple language, and slowly I'm like "ooo I think I should have this, that would make it easier" and I add on more and more things
and then I realise that it's basically rust and I'd have to write a hugely complicated compiler for it and no-one would ever use it
programming
where's my C with ADTs, higher order functions, and no null
programming
@Efi nulls can be replaced with Optional<Type> or Maybe<Type>
which means that suddenly we don't have things breaking type safety
and checking for nulls is now ensured at compile time, rather than a problem that can happen at runtime
and Optional<Type> can be compiled down to a null check, so it's not "less efficient"
programming
@lizardsquid so you're abstracting nulls, not removing them
don't say it has no nulls
programming
@Efi well I am removing them
and then defining this in the standard library:
data Optional<a> = Some(a) | Nothing
programming
@lizardsquid why the fuk no nulls aaagh