

1·
3 months agoI’ve only used one, and I’m only mentioning it since nobody else has, but I recommend Lean; moreso as a second functional language if you want to build stuff as opposed to just learn the paradigm. It’s mostly used in maths because it supports dependent types, but it was fine for writing simple scripts, and it can be easily compiled to binary formats. I don’t like the package management system and toolchain complexity, but most languages kinda suck at that, imo.
I, for one, prefer Unexpected Keyboard because it has alt, ctrl, fn, and easy access to all the symbols i need for English and Portuguese. Sadly, it lacks some emoji, but i never used them much beforehand; just feel like i’m missing out lol.
the basic idea is that you tap a key, and drag towards an optional character you want to use, to enter it. here’s a preview: