ewtoombs
ewtoombs
The order of evaluation is always clear. In the example I wrote, `act` is evaluated before `mutate`. If there were another nonlinear function, it would also be evaluated before `mutate`....
`c = observe0 x` would be evaluated before `x' = modify1 x`.
It is perfectly intuitive. It is just exactly what would happen without linear typing. The only difference is now, it's possible to reuse memory.
Yes, it is exactly what would happen in Haskell. The only difference is how the memory is handled. No monads required.
vim normal, zsh, and bash word jumping are all simple enough for my taste. Any one of them, I'd be fine with. Though vim is a special case, because there...
> ``` > ( as█f$% % f2gh j j#k@lmmm/ pppppp$ ( > forward: > ( asdf$% % █2gh j j#k@lmmm/ pppppp$ ( > ``` > > I don't see any...
> Why would it skip over a token like that? That makes it awkward to e.g. navigate to a glob and remove it. If you have something like ``` >...
> @ewtoombs have you tried `bind \eb backward-bigword` and `bind \ef forward-bigword`? If your main goal is predictability those might do it for you. That would be helpful. I'll try...
I'm using daemon+remote these days. I wrote that a while ago. TBH, I don't even remember writing this feature request lol.
So, I just read https://github.com/glfw/glfw/issues/1157 . Would I be right in assuming that this PR's functionality has now been implemented generically and merged?