Re: [racket-users] What's wrong with my code?

朗 Wow! I get it, thanks. 在 2019年7月9日星期二 UTC+8下午10:04:59，Alex Knauth写道： > > > On Jul 7, 2019, at 10:24 AM, 曹朝 > wrote: > > This is a simple algorithm for compute the shortest edit distance, it can > work with `#lang racket/base`. > But in Typed Racket, I just got the error message: "insufficient

Re: [racket-users] What's wrong with my code?

> On Jul 7, 2019, at 10:24 AM, 曹朝 wrote: > > This is a simple algorithm for compute the shortest edit distance, it can > work with `#lang racket/base`. > But in Typed Racket, I just got the error message: "insufficient type > information to typecheck". I don't know why this code can't pass

Re: [racket-users] What's wrong with my code?

Alright, thank you very much. 在 2019年7月8日星期一 UTC+8上午3:50:18，Matthias Felleisen写道： > > > With some for/loops in TR you’re out of luck. The expansion are too > complex to type-check easily. > > > On Jul 7, 2019, at 10:24 AM, 曹朝 > wrote: > > This is a simple algorithm for compute the shortest edit

Re: [racket-users] What's wrong with my code?

With some for/loops in TR you’re out of luck. The expansion are too complex to type-check easily. > On Jul 7, 2019, at 10:24 AM, 曹朝 wrote: > > This is a simple algorithm for compute the shortest edit distance, it can > work with `#lang racket/base`. > But in Typed Racket, I just got the