@Zero_Democracy that was a good time
@SilviaFox good luck!
@squirrel maple!
@typhlosion so have I...
@Felthry sleep well!
@Felthry woops that was meant to be a reply
@Efi Languages exist that don't have null, though - rust, ocaml, haskell
@Efi @LottieVixen@dev.glitch.social that's what C does and what java does
@Efi I don't understand what you're saying, then...
@Efi what I'm saying is that only numbers should be of type number
null shouldn't be of type number, neither should NaN, neither should functions
@Efi zero is a number
null is not
programming
@Efi well I am removing them
and then defining this in the standard library:
data Optional<a> = Some(a) | Nothing
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"
hi I'm avery, a cute lizardsquid with 3 hearts full of love!
nonbinary ░ they/she ░ australia ░ 29yo
I post: silly lizardy nonsense, world building, conlangs, doctor who
polyam, demi, open. I love affection!
hugs and cuddles and such are ok, but everything else please ask first
languages: English • Welsh (very basic)
I have a private account, ask for access!
(some old accounts:
@gwyfyndraig
@liquid_lizsquid
)