eo VS AnySoftKeyboard

Looking at the commit history of eo, I'm not certain that PR size, or testing methodology for that matter, should be the #1 concern of Yegor's team.

They do have a paper in the repo: https://github.com/cqfn/eo/tree/master/paper

According to it, "𝜑-calculus" is something they made up for the eolang and not a standard term.

Here is my take on that calculus based on reading through section 3 in the paper. Note the paper is pretty weird and likes to make its own notation, so it is possible I got some things wrong:

It is starts with a pretty standard immutable language: "object" is a set of (name, value) pairs; "value" is either object or "data" (like a string, bool etc...); everything is immutable but you can make a copy an object with some attributes changed. There are no concept of "types" -- instead, you define objects with some fields set to NULL (spelled ∅ in the paper). There are also a bunch of term defined, like "abstraction", "application", etc.. -- but they all mean "make a copy of an object with some fields changed".

The "twist" is that the language has no functions per se, instead it defines AST-like structure: there is a syntactic sugar that handles things that look like function applications. So when you see:

     stdout "Hello world"

I didn't last long with the stock keyboard before installing AnySoftKeyboard which is one of the few FOSS alternative with support for swipe typing. The experience was... OK. It felt slow and it's accuracy left a lot to be desired. I still had to be slow and pretty accurate, so it didn't really feel like much of a change from the stock experience. FlorisBoard have also introduced their own implementation but the feedback I read suggested it would be much the same as my experience with AnySoftKeyboard's gesture typing.

This sounds interesting. I think AnySoftKeyboard has some kind of shortcuts, similar to a textexpander, so you could check it out (it's also open source).

Unusable for me and many other people because of this bug: https://github.com/AnySoftKeyboard/AnySoftKeyboard/issues/1399

AnySoftKeyboard should do the trick: https://anysoftkeyboard.github.io/

I tested two: AnySoftKeyboard, it's stable and works even on very old devices, but it lacks modern features and the settings are really ugly and confusing (but once you look at all of them, you'll be able to make the keyboard the way you like it, is very customizable). And I also tested FlorisBoard, it's modern, beautiful, but it's a work in progress currently in early-beta stage and it has many incomplete or buggy features. So I ended up with AnySoftKeyboard. I know there are others, but it was these two projects that caught my attention the most.

AnySoftKeyboard is another good FOSS option and does have (beta) swipe typing.

I was going to suggest NetGuard. I would switch to AnySoftKeyboard

That’s how I got into developing Effected Keyboard. I wanted to impress people, so I thought why won’t I add flying letters to a keyboard that fly out of the keyboard into the screen. Isn’t it magical? Then I thought of making something nice, keyboard that works and will be used by all. I took Menny’s AnySoftKeyboard (which is open sourced Apache 2 License) and reprogrammed it into a new product. Effected Keyboard 2 has some features I very like. I don’t know how you’ll perceive them, but I honestly feel they’re nice.