Affection, micro
@Yarideki I'd gently pet you back, but I don't want to accidentally squish you!
@kellerfuchs squeak!
@Fidgetcetera good decision!
@LottieVixen 12:53UTC
@maple oh yay!!!!
@LottieVixen seen 12:20-ish UTC
time on toot: 20:46
@woozle I received this toot at 12:12UTC
extreme functional programming nerdry
http://www.ats-lang.org/ i keep getting rewarded for never being satisfied with a programming language. will it end ??
ATS is the personal project of a single researcher starting with deCaml in 1999. ATS brings dependent types to systems programming by compiling to C with no runtime of its own. It's not quite as flexible as Idris, but it can compile to Arduino or anything else anything C can !!
explanation of dependent types: http://tojans.me/blog/2015/02/06/how-to-explain-dependent-typing/
pda
@LottieVixen is wonderful and amazing and cute and I'm so glad I get to live with her ♥
extreme functional programming nerdry
@bug I wanted to learn ATS, but it didn't seem to work last time I tried it...
@Efi *squirms happily* ♥
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
)