On Tue, Nov 28, 2017 at 09:43:54AM -0500, Matthias Felleisen wrote:
>
> I have forwarded your email to Daniel Felty who designed and implemented the
> typed units. I am hoping to get a response soon — Matthias
Great, thanks.
> > On Nov 26, 2017, at 6:11 PM, Richard Cobbe &l
On Mon, Nov 27, 2017 at 09:48:16AM +, Robby Findler wrote:
> It may help to disable online compilation. (Click on the little circle in
> the bottom to get a menu that lets you disable it.)
Ah! Thanks for the suggestion; I'll give that a try.
Richard
--
You received this message because
Returning to this after a long delay...
On Sat, Nov 11, 2017 at 01:34:05PM -0500, Matthias Felleisen wrote:
> > (Context: I only actually intend to use `store' with a single type, but I
> > want to define that type in a separate module. Since the type's definition
> > refers to `addr', I made
On Sun, Nov 26, 2017 at 03:42:14PM +, Stephen De Gabrielle wrote:
> Hi,
>
> I’ve noticed some list members use other editors or IDE’s.
>
> I know two big reasons for using a complex tool is it’s stickiness factors;
> normally a combination of familiarity (hence speed) with a lot of powerful
>
I'm getting surprising results trying to define an abstract polymorphic
type in Typed Racket. Could someone shed some light on this?
Consider the following definitions:
(struct addr ([ptr : Natural]))
(struct (α) store ([next-addr : addr]
[table :
5 matches
Mail list logo