@vaporeon_ languages based on the calculus of constructions with inductive types are purrobably my favorite kind

i adore shell scripts in theory but i find sh annoying to write. execline, a hard mode shell scripting language specialized towards just exec(3)ing into the purrogram you actually want to run, is a little cumbersome when you need any actual logic, but i learned a lot from getting the hang of it

i like python a lot more than i expected i would. i don’t love reading python code, but when writing it, it has a way of usually being able to just do what i want