@tapbot_paul I always do, it’s instinctive. Furthermore, when I trigger multitasking, it’s nice to see only 3-4 apps, the ones that you are using instead of a dozen or more. Force quitting Twitter in 3… 2… 1…
@slava_pestov T == [Int], U == Int (less conceptual indirection, using T == [U] the user is forced to look for the definition of U). The more independent the requirements are, the better it is.
@simonbs What about placing the content over the keyboard? Analogously to how the Shortcuts app uses that space to place details about the selected variable/magic variable. The keyboard “Done” button would remove the focus from the TextField, the floating one would quit the search mode
@vashpan@simonbs It could be restricted to iPad, but having it working for low widths lets you place the app in slideover, which is quite handy on its own. I still fight with Xcode not letting me place two of its windows in split screen on my MacBook Pro 15” due to min-width constrains…
@zhenyitan@stroughtonsmith It’s easier to spot the active tab if you embrace the “Compact” tab layout. Don’t fight the tide :)
Some cons: on low widths the tabs may disappear (!!), in private mode the Xs are black and thus impossible to notice and some animations are not that fluid. But other than that…
@slava_pestov I started following you yesterday and I’m already enjoying your tweets, thank you!
Can’t foo’s generic signature’s requirements be transformed to “U: P, U.A == T, T == T.A”? They can be removed one at a time. The second one gives “T: P” which is used by the third one.