On Monday, September 5, 2016 at 10:54:57 PM UTC+5:30, Matthias Felleisen wrote:
> The easiest and proper fix is to write typed macros for typed modules. Below
> is a naive but straightforward solution. It would be better if
> define-memoized fished out the type declaration for f and used it to
The easiest and proper fix is to write typed macros for typed modules. Below is
a naive but straightforward solution. It would be better if define-memoized
fished out the type declaration for f and used it to add domain types for
arg-s...
#lang typed/racket
(require (for-syntax
Another day, another typed racket question!
I was experimenting with memoize library in Racket and noticed that it does not
always work with typed racket functions (or, may be I was not 'require'ing it
properly). So I came up with this crude implementation below and it seems to be
working for
3 matches
Mail list logo