http://dspace.mit.edu/handle/1721.1/5731
"Those who cannot remember the past are condemned to repeat it" -- Santayana
Racket Users list:
http://lists.racket-lang.org/users
What would a Racket OS on an FPGA be used for???
I wrote the assembler/compiler/simulator development package MFX for the
MiniForth processor, which ran Forth as its native language. That thing had a
specific use --- it was for a motion-control board, primarily used in a laser
etcher. The MiniF
Worth noting that last month, Nov '12, the triple digit stratosphere was
broached.
On Wed, Dec 5, 2012 at 2:48 PM, Joe Marshall wrote:
> I don't object to the silliness, I object to it being called a measure!
> The number that shows up on the search results page is a pure
> guess made by a part
I'd use `lazy-require` with the `redex` module to fix this.
On Wed, Dec 5, 2012 at 3:56 PM, David Van Horn wrote:
> On 12/5/12 3:44 PM, Ryan Culpepper wrote:
>>
>> Require redex/reduction-semantics and redex/pict instead of redex.
>
>
> But the langauge actually needs redex -- running a module la
At Wed, 05 Dec 2012 15:56:35 -0500, David Van Horn wrote:
> On 12/5/12 3:44 PM, Ryan Culpepper wrote:
> > Require redex/reduction-semantics and redex/pict instead of redex.
>
> But the langauge actually needs redex -- running a module launches
> traces windows if you write #lang pcf traces.
>
>
On 12/5/12 4:03 PM, Matthew Flatt wrote:
At Wed, 05 Dec 2012 15:38:59 -0500, David Van Horn wrote:
Unfortunately, my language
depends on redex, and therefore racket/gui/base, which causes:
raco setup: error: during Building docs for
/Users/dvanhorn/Documents/git/pcf/scribblings/pcf/main.scrbl
r
At Wed, 05 Dec 2012 15:38:59 -0500, David Van Horn wrote:
> Unfortunately, my language
> depends on redex, and therefore racket/gui/base, which causes:
>
> raco setup: error: during Building docs for
> /Users/dvanhorn/Documents/git/pcf/scribblings/pcf/main.scrbl
> raco setup: cannot instantiat
On 12/5/12 3:44 PM, Ryan Culpepper wrote:
Require redex/reduction-semantics and redex/pict instead of redex.
But the langauge actually needs redex -- running a module launches
traces windows if you write #lang pcf traces.
So doing this fixes the docs but breaks the language.
David
On 12/05/2012 03:38 PM, David Van Horn wrote:
On 12/5/12 2:33 PM, Matthew Flatt wrote:
At Wed, 05 Dec 2012 14:24:09 -0500, David Van Horn wrote:
Am I doing something wrong, or is this a buggy interaction between the
sandbox and raco link?
The sandbox's default settings probably don't interact
On 12/5/12 2:33 PM, Matthew Flatt wrote:
At Wed, 05 Dec 2012 14:24:09 -0500, David Van Horn wrote:
Am I doing something wrong, or is this a buggy interaction between the
sandbox and raco link?
The sandbox's default settings probably don't interact nicely with
`raco link', and if not, we should
Dear Matthias,
NOW: as we conduct this study, we might be able to articulate
performance "contracts" (that's probably the wrong word) and possibly
learn how to add those to library implementations as a secondary
interface. Doing so would once again distinguish Racket from other
programming la
I don't object to the silliness, I object to it being called a measure!
The number that shows up on the search results page is a pure
guess made by a part of the system that doesn't have access to
the actual index. Really, Google Trends is a much better tool.
http://www.google.com/trends/explore#c
At Wed, 05 Dec 2012 14:24:09 -0500, David Van Horn wrote:
> I am trying to scribble some examples using a custom evaluator. if I
> use the example from the documentation, things work:
>
> @(require racket/sandbox
>scribble/eval)
> @(define my-evaluator
> (parameterize ([sandbox-o
Before Joe points it out: yes, this is a silly measure. And yet, it appears to
be (a substantial component of) the TIOBE index--another silly measure. The
actual news is this: Using google's "verbatim" results, the query +"Racket
Programming" is reported as having "About 360,000 results". Given
On Wed, Dec 5, 2012 at 10:30 AM, Patrick Li wrote:
> Hello,
>
> I have only done system programming in assembly and C, and found that I
> frequently did a lot of manual placement and shuffling of data in memory,
> with the usual pointer tricks.
>
> Off the top of my head, I do not how those same t
I am trying to scribble some examples using a custom evaluator. if I
use the example from the documentation, things work:
@(require racket/sandbox
scribble/eval)
@(define my-evaluator
(parameterize ([sandbox-output 'string]
[sandbox-error-output 'string])
(ma
e code that pops up the menu with the check syntax items).
> > >
> > > Robby
> > >
> > >
> > >
> > >
> > > Racket Users list:
> > > http://lists.racket-lang.org/users
> > >
> >
> >
> &
they know it, they have introduced bad dependences
> and performance problems and whoknowswhat.
>
> ---
>
> Having said that, I think Ian's point is equally good. So here
> is what I am wondering.
>
> I
ving said that, I think Ian's point is equally good. So here
> is what I am wondering.
>
> Isn't the case of graphs worth a case study where we define
> a WIDE interface for graphs and their operations, which we
> can do so with contracts. Then we implement it in severa
ntracts" (that's probably the wrong word) and
possibly learn how to add those to library implementations as
a secondary interface. Doing so would once again distinguish
Racket from other programming languages.
It is probably a dissertation, possibly more.
On Dec 4, 2012, at
You are making a very good point here, especially the last one,
which in a sense exposes the folly of Perlis's maxim (it is better
to have one data type with a 100 operations than 10 data types
with 10 operations each). One, the maxim biases programmers
and before they know it, they have introd
21 matches
Mail list logo
