Vincent, hello.
On 2011 Aug 3, at 20:17, Vincent St-Amour wrote:
>> I suspect I'm not grokking something important about polymorphic
>> functions, but I don't know what.
>> Inference does not currently work well with function that take keyword
> arguments. The solution in cases like this, is to instantiate the type
> variables manually:
> ((inst sort String String) ss string<?)
> Here, you're making explicit that you're using sort to sort a list of
> Strings, and that Strings will be used as keys.
Thanks -- this makes sense. And works.
----
While I'm on the subject of typed/racket, I've been trying 5.1.2's DrRacket with #lang typed/racket, without success.
In a freshly-opened DrRacket, if I have nothing but "#lang typed/racket" in the top window, and press 'Run', I get in the interactions window:
> Welcome to DrRacket, version 5.1.2 [3m].
> Language: typed/racket; memory limit: 128 MB.
> link: module mismatch, probably from old bytecode whose dependencies have changed: variable not provided (directly or indirectly and at the expected position) from module: "/Data/LocalApplications/Racket/5.1.2/collects/typed-scheme/tc-setup.rkt" accessed from module: "/Data/LocalApplications/Racket/5.1.2/collects/typed-scheme/core.rkt" at source phase level: 0 in: parse-invis-kw6.1
> >
I think it should not do that!
Any typing in the interaction window produces the same response.
% /Data/LocalApplications/Racket/5.1.2/bin/racket -l typed/racket -i
...works fine.
I'm not aware of having anything particularly odd in my setup.
Best wishes,
Norman
--
Norman Gray : http://nxg.me.uk
School of Physics and Astronomy, University of Glasgow, UK