中美戴尔买电脑差异

美国戴尔在线聊天,回复很快,消息提示明确,客服有没有在打字,很清楚。聊天结束后会把聊天记录发送到邮箱。如果要求进行特殊配置,客服会发一个带有customization id的链接给我,如https://www.dell.com/en-us/shop/deals/xps-desktop/spd/xps-8930-se-desktop/xdvmstcs001s?configurationid=fa6274af-68d7-428f-be09-5621944bcb57 点进去就是官网配置页面,但多了定制配件。定制配件和其他标准配件的差价明确显示。有时候客服会给优惠价,优惠价低于官网价格。具体怎么用优惠[……]

继续阅读

psftp get unable to open

psftp>get a.tar
local: unable to open a.tar
psftp> lpwd
Current local directory is C:\Program Files\PuTTY
psftp> lcd B:\
New local directory is B:\
psftp> get a.tar
remote:/home/guqq0717/a.tar => local:a.tar

如果psftp的get命令出错“get unable to open”,运行lpwd,看看本地目录是否可写。[……]

继续阅读

主体类型与主体定型 principle type and principle typing

在类型理论, 类型系统有主体类型t,当且仅当对于任意的类型环境A和表达式e,A |- e :u,都可以从t推导到u。

例如λ演算λx.x,其主体类型t=α -> α,α为类型变量,类似Java或C#的泛型类型变量。若有A|-λx.x: int -> int,令α=int,则可以从主体类型t具体化为int -> int。

类型系统希望具有主体类型,因为它可以对表达式确定一种单一类型,该单一类型可演化为该表达式的所有可能类型。如果类型系统没有主体类型,则一个表达式可能有多个互不兼容的类型。类型推导倾向于推导主体类型。

ML语言具有主体类型属性,ML表达式可以通过Robinson’s u[……]

继续阅读

JavaScript async Promise应用篇

本文教读者实际编写一个async函数。

承接JavaScript async/await入门,JavaScript async函数必须直接返回Promise对象。显然,函数体必须有类似return new Promise(..)的语句。


p1 = function () {
	return new Promise();
}

哪里写函数逻辑呢?Promise有两个结果,resolve和reject,分别表示正常执行和异常情况。所以


p1 = function () {
	return new Promise((resolve, reject)=>{ ... }[......]

继续阅读

Git笔记

还原子模块工作树的修改

问题现象:TortoiseGit日志窗口的工作树变更显示子模块已修改。右击该子模块,还原,但修改仍然存在。

修复方法:

git submodule update --init

如何查看提交中是否包含重命名或复制?

$ git log --name-status -M -C -1  
commit c04ecb6edd602a8463b5239a5fde900b2b3 (HEAD -> 256818)
Author: gqqnbig <gqqnbig@gmail.com>
Date: Wed Nov 15 10:45:17[......]

继续阅读

餐厅英文高级篇

进到餐厅

一位
Party of one
也可以省略为one。

服务员可能问
Would you like a booth or a table or at the bar?
你要坐卡座、普通桌还是吧台?

服务员会给你一杯水,在美国不论夏天冬天,往往水里冰比水多。你可以说
a cup of water with no ice
也可以省略为water with no ice
这种说法似乎比without ice普遍。

服务员一般叫server,简洁明了。教科书里常见的用词waiter在美国不常见。
客人点菜叫order,或者place order。服务员记[……]

继续阅读

必须禁止Chrome自动更新

最近Chrome自动升级到版本78,更新很87(白痴),把标签页右键菜单的“关闭其他标签页”取消了。我频繁使用这个功能,一下子打乱了我的生活节奏。虽然有些扩展程序可以把这个功能带回来,但我又要多装一个扩展程序,非常麻烦!

前段时间Chrome也是自动升级到77版本,新标签页底部有广告(New Tab Page promotional message),虽然是捐助什么机构,看起来是公益活动,但我无法隐藏它,就是很烦!害得我多装一个新标签页扩展程序。实际上,至少Chrome 70已经支持了新标签页广告[1],并且76版本也在显示。

经测试,76版本还是有。

通过这[……]

继续阅读