#typing
Typing Is Hard(3fx.ch)
2021-2-17 18:35类型检查是使用某种编程语言编写给定程序并确定所有变量和表达式是否具有正确类型的过程，即将字符串分配给字符串，算术表达式仅包含数字等。某些语言还提供类型推断，任务分配编译器的任务是自己找出正确的类型。根据语言的功能，类型检查和类型推断问题的范围从琐碎的到不确定的。
如果对于任何输入我们都可以计算输入是否可......
Static Typing for Ruby: Adopting Sorbet at Scale(shopify.engineering)
2020-11-21 21:33
加入我们2020年11月25日，美国东部时间下午1点参加ShipIt！礼物：当我们谈论Shopify的静态类型时，Shopify的Ruby静态类型的现状。我们将分享为什么我们选择Sorbet作为整体，以及在此过程中所学到的教训。请注册。
Shopify变化很多。我们每天将约400个提交合并到主分支，并每天部署40次新......
Talking, Typing, Thinking: Software Is Not a Desk Job(daniel.fone.net.nz)
2020-10-22 8:53
那是上午晚些时候(就像通常最好的淋浴一样)，我在反思我白天是如何度过我的时间的。作为一名在家工作的顾问，我经常需要证明我的账单和时间是合理的，在这种情况下，我证明了在淋浴上花更多的钱是合理的。
和我们大多数人一样，我的职业生涯开始时给人的印象是，高效的一天是在符合人体工程学的键盘上度过的，在Microsoft Vis......
Fast Typing: Keyboard Layouts(codefaster.substack.com)
2020-9-5 19:13
我认为wpm应该是确定最快键盘布局的标准。不是这样的。什么才是最重要的呢？RSI，即重复应激损伤。
我采访的几乎每个严肃的程序员都在20多岁时痛苦地开发了RSI。我甚至不知道，直到我问了他们！我?。它来袭时我24岁。没有任何警告。只有疼痛。我休息了一会儿，一直看着时钟，直到我可以重新开始编程。我伸展了一下身体。我去做......
Typing Is Hard(typing-is-hard.ch)
2020-8-9 5:34类型检查是在某种编程语言中使用给定程序并计算出所有变量和表达式是否都具有正确类型的过程，即将字符串分配给字符串，算术表达式只涉及数字等。一些语言还提供类型推理，任务是编译器自己找出正确的类型。根据语言的特点，类型检查和类型推断问题的范围从微不足道到无法确定。
一个决策问题是可判定的，如果对于任何输入，我们可以计算该输......
Touch Typing on a Gamepad(darkshadow.io)
2020-8-6 8:38
在键盘上打字需要固定的坐姿或站姿，而游戏手柄则是手持的，结构紧凑。你可以在房间里走来走去，也可以躺在沙发上使用它们。
由于游戏手柄上的按键数量很少，人们还没有认真考虑将它们用于编程等繁重的打字活动。
然而，模拟杆(大多数游戏手柄都有两个)有可能提供无限数量的输入。这一切归根结底就是选择正确的手势，以获得最高的效率和最......