Lizardsquid, maker of noises @lizardsquid@computerfairi.es
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
)
Joined Sep 2017
@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"
nomic: online edition
@Efi (like that is actually a rule change that could happen)
nomic: online edition
@Efi exactly
nomic: online edition
like, I want a bit which allows you to browse the rules and connections between them easily - but people can change the rules about how rules work, so either I have to ignore that or I have to account for all possible rule changes?
nomic: online edition
I wanna make an online place to play nomic, but it's either just
a chatroom + some virtual play space
or
something that makes the mechanics smoother, but potentially just doesn't work because you can change the rules
programming
where's my C with ADTs, higher order functions, and no null
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
woops it's the afternoon
Lizardsquid, maker of noises
boosted
free love means to love without expecting anything in return
maybe you're thinking of shareware love
yall I wrote a string de-duplicator thing in Perl. it's trash, I'm sure, but I wanted to see if I could do it without looking online (for once) or asking and i dun did the do ;o; (code inside)
@shekkiesqueaks nice!
if you boost this toot, I'll explode!
@Efi I miss the second part, I don't miss the first
@Efi just because the characters are catholic doesn't mean the movie is
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
)
Joined Sep 2017
