Re: [racket] fl vs. unsafe-fl

2014-09-02 Thread Dmitry Pavlov
I agree with you; however, I think I am in an unlucky situation. I actually have to write code that works with flonums or (optionally) with extflonums. As Extflonums are not part of the numeric tower, Typed Racket will not allow me to use "+" instead of "extfl+". But `fl+` and `unsafe-fl+` al

Re: [racket] fl vs. unsafe-fl

2014-09-02 Thread Sam Tobin-Hochstadt
On Tue, Sep 2, 2014 at 11:53 AM, Dmitry Pavlov wrote: > > >> The best thing about Typed Racket is that you can delegate that >> >> problem. Not only do you not need to write unsafe-fl+, you don't even >> need to write fl+. You can write +. Typed Racket will determine if + >> can safely be replaced

[racket] missing solution 20.1.2 ex:syn-funcs

2014-09-02 Thread Daniel Bastos
Exercise 20.1.2. Argue why the following sentences are legal definitions: (define (f x) (x 10)) (define (f x) f) (define (f x y) (x 'a y 'b)) Solution. The relevant part of the grammar is the following. = (define ( ...) ) | (define ) | (define-struct ( ...)) (*) First d

Re: [racket] fl vs. unsafe-fl

2014-09-02 Thread Dmitry Pavlov
Greg, > The best thing about Typed Racket is that you can delegate that problem. Not only do you not need to write unsafe-fl+, you don't even need to write fl+. You can write +. Typed Racket will determine if + can safely be replaced with unsafe-fl+. (Assuming you typed things as Float a.k.a. Fl

[racket] missing solution 20.1.1 ex:sem-funcs

2014-09-02 Thread Daniel Bastos
A candidate for a solution. Exercise 20.1.1. Assume the Definitions window in DrScheme contains (define (f x) x). Identify the values among the following expressions: (1) (cons f empty) (2) (f f) (3) (cons f (cons 10 (cons (f 10) empty))) Explain why they are values and why the remaining express

[racket] Third call for papers, IFL 2014

2014-09-02 Thread publicityifl
Hello, Please, find below the third call for papers for IFL 2014. The submission page is now open. The submission date has been delayed to Sep. 8 2014 anywhere on the world. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Ju

[racket] Third call for papers, IFL 2014

2014-09-02 Thread publicityifl
Hello, Please, find below the third call for papers for IFL 2014. The submission page is now open. The submission date has been delayed to Sep. 8 2014 anywhere on the world. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Ju