ehamberg
Joined 16 years ago
Joined 16 years ago
While ‘å’ was made an official letter in Norwegian in 1917, it's still common to see “aa” spellings of names, and “aa” and “å” spellings are considered equivalent (fun when sorting, since ‘å’ is the last letter of the Norwegian alphabet).
tl;rl: iOS will only join known networks – toggling this setting will make it easier to join networks when no known networks are in range.
edit: Link to the relevant section in the manual: https://help.apple.com/iphone/8/#/iph1b489c85f
People with only a country as their location, e.g. “Norway” are detected as being in “Norway, United States”. :-)
I might be misunderstanding something, but how does this allow function overloading more than ordinary let-polymorphism? Functions can already have a type like, say, ∀a.a→Int. It's also quite common to do type inference in two steps where the first pass creates type variables and a list of constraints. The set of constraints are then passed to a unification algorithm, see e.g. http://www.seas.upenn.edu/~cis552/lectures/stub/FunTypes.htm....
(S (VP avoid
(NP (NP success)
(PP at
(NP all costs)))))
vs (S (VP avoid
(NP success)
(PP at
(NP all costs))))