Re: [racket] Creating my own series of teaching languages

You will need to implement a class that satisfies the interface. The methods are specified here: http://docs.racket-lang.org/tools/drracket_language.html?q=sgn#%28def._%28%28lib._drracket%2Ftool-lib..rkt%29._drracket~3alanguage~3alanguage~3c~25~3e%29%29 (see all the indented specs). For some

Re: [racket] Creating my own series of teaching languages

Another thing I'm a bit confused about is whether or not a #lang-based language is considered to be module-based, as well. I always assumed they were, since #lang is essentially sugar syntax for a module form, but the Adding Languages section of the docs had two separate sections for these, causing

Re: [racket] Creating my own series of teaching languages

After re-reading that section more closely, I realize that I understand what it's saying; the part that I'm unsure about is how to actually go about implementing the drracket:language:language<%> interface. It would be nice if a small example was shown (like the examples shown when implementing a r

Re: [racket] Creating my own series of teaching languages

On Jun 4, 2014, at 9:26 PM, Daniel Brady wrote: > Hi all, > I've decided to undertake the project of creating a small language, and then > model the HtDP teaching languages by creating a hierarchical series of > versions of that language. My current approach is to just make each of them a > #l

[racket] Creating my own series of teaching languages

Hi all, I've decided to undertake the project of creating a small language, and then model the HtDP teaching languages by creating a hierarchical series of versions of that language. My current approach is to just make each of them a #lang language, but grouped together in a collection, and that's

Re: [racket] How to extend the syntax-checker?

Thanks very much for the nudge! syntax-parse is exactly what I needed. On Fri, May 30, 2014 at 5:16 PM, Matthias Felleisen wrote: > > On May 30, 2014, at 4:50 PM, Daniel Brady wrote: > > > Oh, nice! I didn't realize that, thanks. > > > > After playing around with it, I realized it doesn't do e

[racket] Adding a language to the Choose Language... menu

How can I add a new language or group of languages (similar to how the teaching languages are presented) to the Choose Language... menu of DrRacket? I read through Adding Languages

Re: [racket] q about code for partitions

On 06/04/2014 12:36 PM, Jos Koot wrote: Hi In share/pkgs/math-lib/math/private/number-theory I find the following two pieces of code: line 34: (define m (/ (+ 1.0 (flsqrt (+ 1.0 (* 24.0 n 6.0)) line 39: (exact-floor m) Obviously for finding the positive root of the equation n-k(3k-1)/2=0 f

Re: [racket] Scribble source file with inline images

2014-06-03 22:14 GMT+02:00 Matthew Flatt : > The piece that can't handle non-character input is the `@` reader. > > You can avoid it by a kind of `include`, so that a plain Racket reader > is used to get the source. This almost works: ... > The enclosed "flappy.scrbl" fills in the last step. The `b

Re: [racket] You're invited to Neil Toronto's Dissertation Defense

I am very interested but not in the neighbourhood, otherwise I attend. Looking forward to the recording. Good luck, Jos > -Original Message- > From: users [mailto:users-boun...@racket-lang.org] On Behalf > Of Jay McCarthy > Sent: miércoles, 04 de junio de 2014 6:48 > To: users > Subject:

[racket] q about code for partitions

Hi In share/pkgs/math-lib/math/private/number-theory I find the following two pieces of code: line 34: (define m (/ (+ 1.0 (flsqrt (+ 1.0 (* 24.0 n 6.0)) line 39: (exact-floor m) Obviously for finding the positive root of the equation n-k(3k-1)/2=0 for k in terms of n. (from wikipedia: http:

Re: [racket] You're invited to Neil Toronto's Dissertation Defense

Champagne? At BYU? We use Martinelli's for everything "fancy" in Utah. :) Jay Sent from my iPhone > On Jun 4, 2014, at 2:27 PM, Konrad Hinsen wrote: > > Matthias Felleisen writes: >> >> How are we going to toast him remotely? Are you shipping cold champagne >> first :-) > > Maybe this ingen

Re: [racket] You're invited to Neil Toronto's Dissertation Defense

Matthias Felleisen writes: > > How are we going to toast him remotely? Are you shipping cold champagne > first :-) Maybe this ingenious device can be adapted to champagne: https://www.youtube.com/watch?v=CRL1SeTJ1rk There's still one week to adapt the software, get going! ;-) Konrad. __

Re: [racket] raco pkg install with zipfile

At Sat, 31 May 2014 17:09:31 +0100, Matthew Flatt wrote: > I think it might work to have the following rule: if an archive > contains a single directory, then that archived directory's content is > used as the package, instead of the archive's content. I've pushed this change (and if it doesn't wo

Re: [racket] static analysis for finding vulnerabilities on non-executable and untyped language

On Jun 4, 2014, at 7:05 AM, J. Ian Johnson wrote: > If you can't execute programs in the language, there are no vulnerabilities. > So your analysis is > > (define (vulnerable? program) #f) > > It just isn't "available" in the A of security's CIA (confidentiality, > integrity and availability

Re: [racket] static analysis for finding vulnerabilities on non-executable and untyped language

If you can't execute programs in the language, there are no vulnerabilities. So your analysis is (define (vulnerable? program) #f) It just isn't "available" in the A of security's CIA (confidentiality, integrity and availability). In all seriousness, you'll want to learn about semantics. What

Re: [racket] Completely disallow numbers, quoted and all

Ahhh, so simple! Thanks, Matthew. I'll give it a shot. On Wed, Jun 4, 2014 at 1:11 AM, Matthew Flatt wrote: > At Wed, 4 Jun 2014 00:38:11 -0400, Daniel Brady wrote: > > So I'm playing around with the DrRacket reader, and I'm decided to see > if I > > could disallow certain types of literal data

[racket] static analysis for finding vulnerabilities on non-executable and untyped language

Hello i am working on untyped intermediate programming language and this language is not meant to be for executing so it is non-executable. and it has already AST (Abstract Syntax Tree). I want only to find a method for doing static analysis on the coding to find the potential vulnerabilities i

Re: [racket] You're invited to Neil Toronto's Dissertation Defense

How are we going to toast him remotely? Are you shipping cold champagne first :-) On Jun 4, 2014, at 12:47 AM, Jay McCarthy wrote: > Many of you have seen many emails and commits from my PhD student, > Neil Toronto, who has worked on projects like math and plot. He will > be defending his dis

Re: [racket] plt web server

There's a fundamental problem with this discussed in the FAQ: http://docs.racket-lang.org/web-server/faq.html#%28part._refresh-servlets%29 There's also the practical problem that most "servlets" are really "servers" because when you use serve/servlet, the program is starting a unique customized s

[racket] plt web server

Hello, Apparently, when we change source code of a servlet, it is necessary to restart plt webserver to obtain changes. Is there a solution to modifiy servlet without having to restart plt webserver ? Thanks for your help jeeve Racket Users list: http://lists.racket-la