> On Aug 22, 2016, at 13:18, Vincent St-Amour
> wrote:
>
> On Mon, 22 Aug 2016 11:38:37 -0500,
> Andrew Gwozdziewycz wrote:
>>
>> This discussion has reminded of SHILL
>> (https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-moore.pdf)
>> which is less user focused, and more sec
On Mon, 22 Aug 2016 11:38:37 -0500,
Andrew Gwozdziewycz wrote:
>
> This discussion has reminded of SHILL
> (https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-moore.pdf)
> which is less user focused, and more security / capabilities focused,
> but the prototype (in Racket) utilizes
This discussion has reminded of SHILL
(https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-moore.pdf)
which is less user focused, and more security / capabilities focused,
but the prototype (in Racket) utilizes contracts to enforce
capabilities checks.
I'm really into the idea of a
On Mon, Aug 22, 2016 at 09:34:28AM -0400, Matthias Felleisen wrote:
>
> > On Aug 22, 2016, at 12:59 AM, William G Hatch wrote:
> >
> > is scsh what you consider natural?
>
>
> I’d like two different entry points:
>
> — one for people who program in zsh, bash, tcsh, csh, sh, and perhaps even
On Sat, 20 Aug 2016 14:45:24 -0500,
William G Hatch wrote:
>
> > Is this at all related to Vincent's work? [1]
> >
> > [1]: https://github.com/stamourv/rash
>
> I had no idea that existed. (in my defense, I did google "racket
> shell", "racket rash", etc before starting this)
>
> I'll have to
> On Aug 22, 2016, at 12:59 AM, William G Hatch wrote:
>
> is scsh what you consider natural?
I’d like two different entry points:
— one for people who program in zsh, bash, tcsh, csh, sh, and perhaps even more
primitive things (if they exist); scsh syntax appeals to those
— one for peopl
I've looked over the scsh docs at various times, though I've never
actually used it -- it's never been pre-packaged for distros I've used,
and every time I've tried to build it I've run into errors. Perhaps I
should try again. As far as the process syntax goes, a little bit of
macros over my pi
I just ran across this little thing:
https://asciinema.org/a/0utgivr7glk3ssn01fn5uwtey
People who want more shell ought to watch. It’s 2mins and cute — Matthias
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this gr
William & Norman,
as much as I give credit to scsh, I just think that taking clues from scsh is
enough. One could expand surface syntax into William’s pipe library for
example.
The irony is of course that scsh’s start-up time was so bad back then, that we
couldn’t use it for anything real.
William, hello.
On 20 Aug 2016, at 23:23, Matthias Felleisen wrote:
You may wish to read up on scsh. While it was way ahead of its
time, Olin Shivers made the syntax as natural as possible so it
would be quickly useful to people used to basic shell scripting
syntax. After all, this syntax has
I would use `system*` or `process*` with `(find-exe)` [1] as the first
argument.
You might also like `find-console-bin-dir` [2].
[1]
http://docs.racket-lang.org/raco/exe.html#%28def._%28%28lib._compiler%2Ffind-exe..rkt%29._find-exe%29%29
[2]
http://docs.racket-lang.org/raco/dirs.html#%28def._%28%
Hello users,
I am trying to eradicate *.bat files running Racket scripts.
What is the idiom to make Racket script to start itself recursively
(system, process, subprocess) when main script is started from shell
and all outputs are printed to console?
"racket mscript.rkt args" => (system *.bat)
I’d love to use a Racket shell and script Unix in a ‘natural’ way.
You may wish to read up on scsh. While it was way ahead of its
time, Olin Shivers made the syntax as natural as possible so it
would be quickly useful to people used to basic shell scripting
syntax. After all, this syntax has
Is this at all related to Vincent's work? [1]
[1]: https://github.com/stamourv/rash
I had no idea that existed. (in my defense, I did google "racket
shell", "racket rash", etc before starting this)
I'll have to look at it as well.
--
You received this message because you are subscribed to th
Cool! Will definitely check it out.
Is this at all related to Vincent's work? [1]
[1]: https://github.com/stamourv/rash
On Sat, Aug 20, 2016 at 3:17 PM, William G Hatch wrote:
> Hello everyone,
>
> Being obsessed with shells and wanting very badly to have a racket
> shell, I've spent a good chu
Hello everyone,
Being obsessed with shells and wanting very badly to have a racket
shell, I've spent a good chunk of time over the last couple of weeks
working on shell-related stuff for Racket. First is a library for shell
pipelines (that may also contain racket functions). The interface is
ro
On 8/16/2016 3:57 PM, Kristjan Siimson wrote:
Basically when I said "query" I meant the SQL-language strings, which
can be copy-pasted and executed independently. Some utilities (Percona
tools) call it "dry run"; the queries are printed as strings for end
user verification, and they never reac
On 8/16/2016 12:33 PM, Kristjan Siimson wrote:
Ah, yes. I should of have clarified that I'm trying to build queries,
but I don't want them to be executed. I guess, alternatively, I could
solve it by creating a blackhole database and viewing the executed
queries from the general log. If Im go
On 8/16/2016 10:04 AM, ksiimson wrote:
Hi!
I'm a new user of Racket and I am trying to make a simple application which
interfaces a MySQL database.
Fetching the data is quite straightforward, but I am having trouble coming up
with a reasonable way to insert the data back into database. Basica
Hi!
I'm a new user of Racket and I am trying to make a simple application which
interfaces a MySQL database.
Fetching the data is quite straightforward, but I am having trouble coming up
with a reasonable way to insert the data back into database. Basically the
fetched vector contains many dif
To a first approximation, Racket places have that same property:
different places do not share mutable data, so each place has its own
GC.
More precisely, there is a shared space that is used to set up
communication, but GCs there are rare and triggered only by creating
new place channels. Passing
Do Racket places suffer performance-wise in comparison to Erlang in that the
garbage collector cannot assume that everything in one thread is immutable and
inaccessible to anyone else so that each thread can have its own garbage
collector.
--
You received this message because you are subscribe
> On Aug 10, 2016, at 9:08 AM, Robby Findler
> wrote:
>
> On Wed, Aug 10, 2016 at 8:10 AM, Alex Knauth wrote:
>>> I believe this fixes a bug in DrRacket but the way these handlers are
>>> set up is pretty complicated. Here's an example program that behaves
>>> differently in 6.6 and the versio
On Wed, Aug 10, 2016 at 8:10 AM, Alex Knauth wrote:
>> I believe this fixes a bug in DrRacket but the way these handlers are
>> set up is pretty complicated. Here's an example program that behaves
>> differently in 6.6 and the version with those commits. I think the 6.6
>> behavior is wrong (i.e.
> On Aug 10, 2016, at 8:04 AM, Robby Findler
> wrote:
>
> This is the change to DrRacket:
>
>
> https://github.com/racket/drracket/commit/edfea2c649d4d1cfdc2c9facf4dbdb4663be0a07
>
> (you'll want the subsequent commit too, tho).
>
> I believe this fixes a bug in DrRacket but the way these
This is the change to DrRacket:
https://github.com/racket/drracket/commit/edfea2c649d4d1cfdc2c9facf4dbdb4663be0a07
(you'll want the subsequent commit too, tho).
I believe this fixes a bug in DrRacket but the way these handlers are
set up is pretty complicated. Here's an example program that b
> On Aug 10, 2016, at 7:34 AM, Delphine Demange
> wrote:
>> The `constructor-style-print` function isn't supposed to add a newline.
>
> Okay, I got confused because in DrRacket, running
>
> --
> #lang constructor-style-print racket
> true
> false
> (cdr (list 1 2 3))
> --
>
The lack of newlines is probably because of a bug that I pushed a fix
for. Maybe try a shapshot build?
https://pre.racket-lang.org/installers/
Robby
On Wed, Aug 10, 2016 at 7:34 AM, Delphine Demange
wrote:
>
>> Yes, DrRacket's "constructor" mode does this. This code was based on the
>> teachin
> Yes, DrRacket's "constructor" mode does this. This code was based on the
> teaching languages though, and the teaching languages set
> `booleans-as-true/false` to false here:
> https://github.com/racket/htdp/blob/master/htdp-lib/htdp/bsl/runtime.rkt#L15
>
> Neither one is really more "constru
> On Aug 10, 2016, at 4:53 AM, Delphine Demange
> wrote:
>
> Hi,
>
> Just for the sake of completeness.
>
> In constructor-style-print.rkt, I've switched on the printing of booleans as
> "true" and "false" as follows (editing line 14):
>
> ;; print-convert/constructor-style : Any -> Any
> (
Hi,
Just for the sake of completeness.
In constructor-style-print.rkt, I've switched on the printing of booleans as
"true" and "false" as follows (editing line 14):
;; print-convert/constructor-style : Any -> Any
(define (print-convert/constructor-style v)
(parameterize ([constructor-style-pr
So, I can start a racket REPL in Emacs geiser. Then I can type
(require typed/racket)
and it seems to take, i.e., I'm ready to go with basic typed racket. This works
as well from org-mode "babel" code blocks. Now I'd like to do the same with
plai-typed -- so I can follow along with the PLAI boo
Cool, I've updated the package, and it works great now!
Thanks again,
Delphine
--
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...@googlegr
> On Jul 28, 2016, at 12:32 PM, Delphine Demange
> wrote:
>
>
>> I have just added `constructor-style-print/racket/init` to the `quote-bad`
>> package so that you can do this:
>>
>> $ racket -I constructor-style-print/racket/init
>> [...]
>> What it does is require `racket/init` and
>> `con
> I have just added `constructor-style-print/racket/init` to the `quote-bad`
> package so that you can do this:
>
>
> $ racket -I constructor-style-print/racket/init
> [...]
> What it does is require `racket/init` and
> `constructor-style-print/lang/runtime-config`, and then call the `configur
> On Jul 27, 2016, at 5:26 PM, Delphine Demange
> wrote:
> For my current use-case, using the racket in module mode, with the right
> #lang directive at the top of the .rkt file is enough.
>
> For the interactive mode, however, I was expecting something like
>
> racket -I 'constructor-style
Thanks for the prompt reply!
I managed to install the package.
For my current use-case, using the racket in module mode, with the right #lang
directive at the top of the .rkt file is enough.
For the interactive mode, however, I was expecting something like
racket -I 'constructor-style-print r
One option is to use Alex Knauth's package quote-bad.
https://docs.racket-lang.org/quote-bad/index.html?q=constructor#%28part._.Changing_the_printing_style_to_avoid_printing_bad_uses_of_quote%29
If you want to see how he sets the print handler:
https://github.com/AlexKnauth/quote-bad/blob/master
Hi,
I'd like to use the Constructor printing style in the command-line REPL, so
that it behaves the same as in my current DrRacket config, e.g.
> (list 1 2 3)
(list 1 2 3)
Using https://docs.racket-lang.org/reference/printing.html, I've been trying to
set (interactively) the right parameters t
Racket version 6.6 is now available from
http://racket-lang.org/
- The new Macro Profiler command-line tool (`raco macro-profiler`) shows
how macros contribute to the final expanded code size of a program.
- Typed Racket supports intersection types. This allows the type system
to track m
Hi all,
I remember this topic came up on the list a while back. I've made a
Docker image of the latest Racket from alpine 3.3 with just musl libc. I
had to monkey patch some Racket internals to get this working, so it
might be badly and subtly broken. Feedback is appreciated!
Dockerfile etc.
On 07/07/2016 11:27, Jay McCarthy wrote:
Hi Jaap,
That is the part I am talking about too. If you restart it, it will
detect the work done previously. Furthermore, it uses multiple
processes for parallelism by default (one for each cpu, although you
can set the number with the "-j" option.)
Hm
On Thu, Jul 7, 2016 at 5:54 AM, Jaap Boender wrote:
> The "raco setup" phase seems to build the entire standard library in one go,
> using one process, which creates trouble with our bulk builds (amongst other
> things). So would there be a way to split that particular phase? (for
> example, have
On 06/07/2016 18:58, Jay McCarthy wrote:
Hi Jaap,
Second, if you did want, you could break it up into a few chunks: "make"
will build the VM, "make plain-install" will install it, then "raco
setup" will do the compiling (or you could do "make install".)
I hope this is useful
Thanks for your re
On Sun, Jul 3, 2016 at 9:16 AM, Jaap Boender wrote:
> Hello list,
>
> When packaging racket for NetBSD, I noticed that:
> a) the standard library gets built as part of the install make target
> b) this happens during one long process, which can take several hours
> c) if said process gets interru
Hello list,
When packaging racket for NetBSD, I noticed that:
a) the standard library gets built as part of the install make target
b) this happens during one long process, which can take several hours
c) if said process gets interrupted, it seems to start all over again rather
than restarting wh
Hello,
This is version 6.5.0.5.
(define-syntax (define-tokens stx)
(syntax-case stx []
[(_ token
#:+ Token (extra ...)
#:with [[subtoken #:+ SubToken subrest ...] ...]
[id #:+ ID #:-> parent #:as Type rest ...] ...)
(with-syntax ([token->datum (format-id #'token
Are you running on OS X? It's a bug in `choice%`, and I've pushed a
repair.
Unfortunately, I don't have a good workaround for the current release,
other than to ignore and revert changes to the control when it's
supposed to be disabled.
At Wed, 18 May 2016 11:22:02 -0700, Kevin Forchione wrote:
>
Hi guys,
What does “enable” do for choice%? I’ve noticed that other wedges prevent
interaction when enabled #f, but not choice%. Here’s an example:
#lang racket
(require racket/gui)
(define frame (new frame%
[label "Testing"]
[x 0]
[y 0]
Is there anything we could do at the distro packaging level that would
make this automatic?
Vincent
On Thu, 05 May 2016 09:05:25 -0500,
Alex Knauth wrote:
>
>
> > On May 5, 2016, at 9:55 AM, phil jones wrote:
> >
> >> Ubuntu just upgraded me to Racket 6.5.
> >>
> >> However my program which
Ah . OK. That seems to work.
Many thanks.
One question. Does this import older versions of the libraries? If the
libraries have also been updated, does it get the newest versions? Or does that
need a different installation?
cheers
Phil
On Thursday, 5 May 2016 11:05:32 UTC-3, Alex Knauth wr
> On May 5, 2016, at 9:55 AM, phil jones wrote:
>
>> Ubuntu just upgraded me to Racket 6.5.
>>
>> However my program which uses sxml is now broken.
>> Is this a library / package I need to reinstall after the 6.5 upgrade? Is
>> the sxml library itself not working in 6.5?
> Frog also isn't wo
Hi,
Ubuntu just upgraded me to Racket 6.5.
However my program which uses sxml is now broken.
I get this error message :
standard-module-name-resolver: collection not found
for module path: sxml
collection: "sxml"
in collection directories:
Anyone got any ideas?
Is this a library / pac
Hi Asumu,
Thanks for maintaining this! It's great to have it for my Ubuntu machine!
/David
--
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+unsubsc
Hi all,
The Racket PPA for Ubuntu has been updated for v6.5:
https://launchpad.net/~plt/+archive/ubuntu/racket
As usual, let me know if you find any packaging bugs. Thanks to the Debian
folks for the base packaging.
Cheers,
Asumu
--
You received this message because you are subscribed to th
Racket version 6.5 is now available from
http://racket-lang.org/
- Typed Racket and the `racket/contract` library generate code with lower
overhead, speeding up typed/untyped interaction in a number of gradual
typing programs we studied.
- Macros written using `syntax-parse` automatical
On Mon, Apr 18, 2016 at 4:03 AM, Asumu Takikawa wrote:
> On 2016-04-18 03:47:45 +0800, WarGrey Gyoudmon Ju wrote:
> >And here is another question. Developing GUI Application involves
> typed
> >class system heavily, which makes the compiling time terribly long (if
> >this is the root
On 2016-04-18 03:47:45 +0800, WarGrey Gyoudmon Ju wrote:
>And here is another question. Developing GUI Application involves typed
>class system heavily, which makes the compiling time terribly long (if
>this is the root cause).
It's possible that typed classes are slowing down typechec
On Sun, Apr 17, 2016 at 3:35 PM, Asumu Takikawa wrote:
> If you can send me whatever code is necessary to reproduce the bug (even if
> it's not very minimal), I can try to fix it.
>
Thank you Asumu for caring about this bug.
But now I cannot reproduce it in the real world code either, just like
Hi WarGrey,
(sorry for the delayed response)
On 2016-04-09 14:39:31 +0800, WarGrey Gyoudmon Ju wrote:
>So, is it safe to just ignore the non-paired value in instantiate.rkt?
This error is coming up likely due to some bug in the Typed Racket contract
generation code (which is what that instan
At Sun, 10 Apr 2016 08:18:50 -0700 (PDT), Theodor Berza wrote:
> The purpose of this project is to make a GUI Builder where the user drags
> buttons on a frame and the position of the cursor changes in the code the X
> and Y axis.
I case you haven't found it already, you might want to take a loo
2016-04-10 17:18 GMT+02:00 Theodor Berza :
> I have a button in a frame and when I change the vert-margin and
> horiz-margin in the code the button doesn't change it's location but rather
> the frame gets smaller or larger.
>
...
> Someone suggested me to create a vertical-panel that has 2 rows o
I have a button in a frame and when I change the vert-margin and horiz-margin
in the code the button doesn't change it's location but rather the frame gets
smaller or larger.
This is the code:
(require racket/gui/base)
(define frame (new frame% [label "GUI BUILDER"]
[widt
This bug happened to appear two days ago and never disappear (both in
version 6.4.0.13 and 6.5.0.1) in my codebase, however if I copy the minimal
relative code into a fresh file, it disappears. In the original one's REPL,
it disappears too.
(define-type Card%
(Class #:implements Darc-Card%
>
> [Still waiting for the verified compiler guys to look at reflective
> methods.
>
http://www.mpi-sws.org/~marcopat/marcopat/Publications_files/paper_4%20%283%29.pdf
(They give the attacker an alpha-equivalence predicate. It's a start.)
--
You received this message because you are subscribed
> On Apr 5, 2016, at 1:04 PM, Matthew Flatt wrote:
>
> I think Racket offers so many ways to turn data into
> code that an attacker probably shouldn't bother with techniques to find
> pages of memory that are specific to JIT and libffi generation. (I do
> see how W^X could be useful for securin
At Tue, 5 Apr 2016 10:03:59 -0400, George Neuner wrote:
> On 4/5/2016 9:50 AM, Matthew Flatt wrote:
> > Pro tip for pirates: jump to scheme_eval().
>
> Would that be possible if Racket implemented W^X?
Yes, as long as an attacker can somehow overwrite a function pointer,
W^X won't prevent jumping
On 4/5/2016 10:01 AM, George Neuner wrote:
However, W^X isn't panacea - overrun attacks against the CPU still can
result in remote code execution.
Of course, that should have been "against the CPU *stack*".
George
--
You received this message because you are subscribed to the Google Groups
On 4/5/2016 9:50 AM, Matthew Flatt wrote:
Pro tip for pirates: jump to scheme_eval().
Would that be possible if Racket implemented W^X?
George
--
You received this message because you are subscribed to the Google Groups "Racket
Users" group.
To unsubscribe from this group and stop receiving
On 4/5/2016 9:32 AM, Philippe Meunier wrote:
Suppose instead the racket web server uses W^X: it has a
writable-not-executable page somewhere, the JIT writes code into that
page, then uses the mprotect system call to flip the page's
permissions from writable-not-executable to executable-not-writ
Pro tip for pirates: jump to scheme_eval().
At Tue, 5 Apr 2016 09:32:04 -0400, Philippe Meunier wrote:
> Robby Findler wrote:
> >How is it possible to generate code at runtime and also enforce W^X?
>
> Short answer: using the mprotect system call (see the second paragraph
> below).
>
> Suppose y
At Tue, 5 Apr 2016 08:42:28 -0400, Philippe Meunier wrote:
> Matthew Flatt wrote:
> >Since, as you note, units of JIT
> >generation tend to be smaller than a page, this creates trouble if
> >JITted code running in one thread is allocated on the same page as
> >JITting in progress in another thread.
I see. Thanks.
Robby
On Tuesday, April 5, 2016, Philippe Meunier wrote:
> Robby Findler wrote:
> >How is it possible to generate code at runtime and also enforce W^X?
>
> Short answer: using the mprotect system call (see the second paragraph
> below).
>
> Suppose your racket web server has a me
Robby Findler wrote:
>How is it possible to generate code at runtime and also enforce W^X?
Short answer: using the mprotect system call (see the second paragraph
below).
Suppose your racket web server has a memory page somewhere which is
both writable and executable. A pirate uses a buffer overf
How is it possible to generate code at runtime and also enforce W^X?
(Which should probably actually be !(W&&X), but whatever.)
Robby
On Tue, Apr 5, 2016 at 7:42 AM, Philippe Meunier wrote:
> Matthew Flatt wrote:
>>Since, as you note, units of JIT
>>generation tend to be smaller than a page, thi
Matthew Flatt wrote:
>Since, as you note, units of JIT
>generation tend to be smaller than a page, this creates trouble if
>JITted code running in one thread is allocated on the same page as
>JITting in progress in another thread.
My guess is that from the point of view of security the proper way
At Mon, 4 Apr 2016 17:47:15 -0400, George Neuner wrote:
> On 4/4/2016 4:57 PM, 'John Clements' via users-redirect wrote:
> > FWIW, it appears that the restriction here is much simpler;
> > specifically, pages can’t be writable and executable *simultaneously.*
> > Moreover, a comment by Matthew on
On 4/4/2016 4:57 PM, 'John Clements' via users-redirect wrote:
FWIW, it appears that the restriction here is much simpler;
specifically, pages can’t be writable and executable *simultaneously.*
Moreover, a comment by Matthew on the github bug suggests that this
might … have a relatively straigh
> On Apr 2, 2016, at 1:40 PM, Jos Koot wrote:
>
> A compiler produces code (in this phase data) that can be executed.
> Babbage started with a machine that made distinction between program and
> data.
> In a Von Neuman machine there is no distinction between data and programs.
> In lambda calcul
On Saturday, April 2, 2016 at 9:03:30 PM UTC+8, Robby Findler wrote:
> After you make the changes, run "raco setup" from the command line and just
> wait. Everything should be good after that. (No need to delete anything.)
Thanks, Robby, this worked.
Alex.
--
You received this message because y
@googlegroups.com]
On Behalf Of Philippe Meunier
Sent: viernes, 01 de abril de 2016 17:33
To: us...@racket-lang.org
Subject: [racket-users] racket not W^X?
Hello,
I was reading a discussion about "an upcoming Common Criteria
requirement that no memory may be executable and writable at the same
After you make the changes, run "raco setup" from the command line and just
wait. Everything should be good after that. (No need to delete anything.)
Robby
On Saturday, April 2, 2016, Alex Harsanyi > wrote:
> Hi Matthew,
>
> Thanks for the quick reply. I will try a snapshot build of Racket in a
Hi Matthew,
Thanks for the quick reply. I will try a snapshot build of Racket in a few
days.
Unfortunately, if I just make the changes you suggested in Racket 6.4 and
remove the corresponding .zo and .dep files, I just get linkage errors when I
start Racket. However, this is due to my lack
I've pushed a repair for this problem.
For v6.4, I don't have a workaround except to patch
"collects/syntax/private/modcollapse-noctc.rkt"
by changing line 330 from
(normalize-submod `(submod ,(normalize-recur (cadr s)) ,@relto-submod ,@(cddr
s)))])]
to
(normalize-submod `(submod ,(norma
On 2016-04-01 11:32:51 -0400, Philippe Meunier wrote:
> In that discussion there is a link to a list of programs that Linux's PaX
> believes do not meet the W^X requirement:
> https://github.com/thestinger/paxd/blob/master/paxd.conf For your
> information, racket is on that list (I guess because th
Hello,
I was reading a discussion about "an upcoming Common Criteria
requirement that no memory may be executable and writable at the same
time": https://readlist.com/lists/openbsd.org/misc/33/168358.html
(Common Criteria = the Common Criteria for Information Technology
Security Evaluation standar
Hi,
I'm getting an error when trying to create an executable for a program that
uses the math/statistics module. The simplest example that reproduces the
issue is:
#lang racket
(require math/statistics)
(let* ([s empty-statistics]
[s (update-statistics s 1)]
[s (upd
I made a pull request here: https://github.com/racket/typed-racket/pull/328
but it fails, the error report shows that failures do not caused by my
changes, I think...
On Tue, Mar 29, 2016 at 7:27 PM, Sam Tobin-Hochstadt
wrote:
> You can use `Editor-Snip%` by requiring it from `typed/racket/gui`
It is a note from the contract system to itself to help track down places
that should be improved. Please feel free to ignore it.
... Unless you want to try to fix it? I am happy to supply more of that
kind of infor if you care.
Robby
On Wednesday, March 30, 2016, Tim Brown wrote:
> Robby,
>
>
Robby,
Maybe I’m being a bit thick, but that reply is a bit too cryptic for me
:-/
Should I be doing something?
[Can’t see how, since I’m just running racket]
Are the Racket devs being pestered to pass late-neg-projection where
they aren’t currently?
Or what?
Regards,
Tim
On 29/03/16 13:23,
It is well known but maybe not well liked. :)
Robby
On Tuesday, March 29, 2016, Tim Brown wrote:
> Folks,
>
> I have just upgraded some software to use Racket 6.4. My code sets
> log-max-level to debug, and then cranks up the level on the more
> chatty contributors.
>
> In 6.4, a new warning (o
Folks,
I have just upgraded some software to use Racket 6.4. My code sets
log-max-level to debug, and then cranks up the level on the more
chatty contributors.
In 6.4, a new warning (or collection of warnings) is thrown by the
racket/contract topic.
Is this intentional?
The warning is raised by
Oh, yes, it works. Thank you.
On Tue, Mar 29, 2016 at 7:27 PM, Sam Tobin-Hochstadt
wrote:
> You can use `Editor-Snip%` by requiring it from `typed/racket/gui`.
>
> Sam
>
> On Tue, Mar 29, 2016 at 4:09 AM, WarGrey Gyoudmon Ju
> wrote:
> > Hello, I am currently building a desktop application (whi
You can use `Editor-Snip%` by requiring it from `typed/racket/gui`.
Sam
On Tue, Mar 29, 2016 at 4:09 AM, WarGrey Gyoudmon Ju
wrote:
> Hello, I am currently building a desktop application (which is a component
> of a production system for customer) in typed racket.
>
> I found that typed/private/
Hello, I am currently building a desktop application (which is a component
of a production system for customer) in typed racket.
I found that typed/private/gui-types.rkt does have the definition of
Editor-Snip% but does not provide it in typed/racket/base. I do not know
where is your prefer place
The goal for the core Urlang language is to be almost 1-to-1 with
JavaScript.
Therefore I haven't used any JavaScript libraries. As Dan's examples
shows (see urlang/urlang-examples) it is straightforward to use existing
JavaScript libraries.
There are a few predefined macros that one can optionall
On Sun, Mar 20, 2016 at 9:44 AM, Matthew Butterick wrote:
> When you put it that way, subjectively it still sounds good. I'd use it.
> But objectively I can't foresee that it would be a wise investment of
> anyone's Racket time. Let's face it: any web framework is lucky to live 5
> yrs before dev
On Wed, Mar 16, 2016 at 5:56 AM, Daniel Prager
wrote:
> Awesomely, Jens has been working on Urlang: a Racket-ish syntax for
> JavaScript, using the nanopass compiler infrastructure:
>
> https://github.com/soegaard/urlang
>
> and more ambitiously, a Racket (subset) ->JavaScript compiler (rjs),
> t
Hi,
I'm new to Racket, but not to lisp. I have been a Clojure user for some time.
I began developing a web game in clojure/clojurescript, but I am considering
switching languages.
How good is Racket for web-related development?
Thanks
--
You received this message because you are subscribed
Awesomely, Jens has been working on Urlang: a Racket-ish syntax for
JavaScript, using the nanopass compiler infrastructure:
https://github.com/soegaard/urlang
and more ambitiously, a Racket (subset) ->JavaScript compiler (rjs), taking
a distinct approach from Whalesong.
* * *
Just using plain U
701 - 800 of 1060 matches
Mail list logo