Re: [racket-users] Re: Programming paradigms supported by Racket (according to wikipedia)

2017-02-12 Thread Matthias Felleisen 

> On Feb 12, 2017, at 4:51 PM, Jack Firth  wrote:
> 
> Somewhat reductionally, anyone can write a Racket library that implements a 
> `#lang` with the semantics of any language on that list, so Racket therefore 
> supports all paradigms. This doesn't really say anything useful.


If you want to use this form of a claim, you need to add a constraint: 

subject to interoperability with existing Racket libraries without 
recompiling them. 

Google expressive power of programming languages. It is radically different 
from Turing’s concept of universality, and I think more useful to developers. 
If you accept this restriction on the mapping space between languages, you will 
realize that even Racket can’t express it all. 

— Matthias

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[racket-users] Re: Programming paradigms supported by Racket (according to wikipedia)

2017-02-12 Thread Jack Firth 
Somewhat reductionally, anyone can write a Racket library that implements a 
`#lang` with the semantics of any language on that list, so Racket therefore 
supports all paradigms. This doesn't really say anything useful.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.