nice, yes, I've long wanted that, in general. Like, I want to use
{erlang,ADA,haskell,typescript,go,...} but with s-expr's and macros.
One could instead perhaps leverage Graal and things like ABCL or
Clojure? You could in theory use something like XMLVM and Clojure to
at least cover C#/.net and Ja
Clueless newb here. Wait, why can't we have both? As a joe programmer
on the street I would want the blame to be on b.rkt, and also on any
function calling f() incorrectly from inside a.rkt. Reading this
thread it sounds to me like that's not easily available?
On Wed, Apr 7, 2021 at 4:22 PM Robby
$0.02, whitespace sensitivity is just bad ux in the long run. haskell can
get away with it more than python because haskell can be written more
concisely i feel than python. but even in H it is sorta unfortunate.
i like how iirc clojure uses sexprs but allows other kinds of parens,
fairly arbitrar
i should think any "real" fp would support it. where real is a bijection
with having such support. well, at least necessary if not sufficient.
On Apr 27, 2017 4:01 PM, "brendan" wrote:
> Dr. Felleisen,
>
> Thanks for the informative response. Is Racket the only language with
> unbounded recursi
Does/could the IDE hilight places based on this:
http://docs.racket-lang.org/ts-guide/more.html#%28part._when-annotations~3f%29
I'd like to not have to manually mentally worry about the rules. :-}
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group
>> Maybe some Racketeers would scout Gambit, Chicken, Bigloo, Guile, etc.,
>> communities for any useful packages that Racket doesn't yet have, and
#lang Gambit
?
!
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group
Er, and in other languages that support/stress/require (certain forms
of) static-strong typing? :)
--
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+u
It looks like it is a perennial truth of the universe that math is
hard. I don't know of a language ecosystem where "equals" is 'easy',
because it is subjective. Seems like offering different kinds of
equality testing is a reasonable approach. Having any kind of
preferred fundamental equality testi
(why are there 2 racke users groups? confusing.)
wait, who needs tests when you have static typing?! sheesh
:-)
--
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
> the agnostic, cross-platform GUI support.
"That trick never works!"
--
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.
whenever I get the itch to dream about gc, inevitably I end up at a
paper or other by Bacon; seems like Bacon is one of the go-to guys on
GC. random e.g.
http://researcher.watson.ibm.com/researcher/files/us-bacon/Bacon04Unified.pdf
--
You received this message because you are subscribed to the Go
Evil question: Has anybody ever looked at how the bytecode could be
interpreted on another VM e.g. JVM?
--
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-us
the only reason i know is because i finally bit the bullet and got
something "modern" (as in: pci-x instead of agp), for Minecraft. :-)
Racket Users list:
http://lists.racket-lang.org/users
> Currently, the vertex data for frozen shapes is transferred every frame. The
> 3D engine is saturating your AGP bus.
the year 2003 called and wants its technology back. :-)
Racket Users list:
http://lists.racket-lang.org/users
in theory only the "top level" things should validate. by which i mean
those things which get input from something other than your own code.
the problem is when you re-work the code, do you know for sure that
you moved the contract/assertion/validation/checking appropriately.
test coverage can he
>> add type declarations to variables and fields and function and method
>> signatures.
>
> A good motto, which I shall endeavour to remember.
what i do not get about TR and other languages (ocaml, haskell, etc.)
is: there are these rules of thumb that you must somehow learn to keep
yoursel
>> C - > scm
>> scm - > C
there are / are there not lots of tools that purport to help read
things into ASTs? antlr or nitra or mps or whatever. but is there
something which already has support for a bunch of different
languages, and tools to convert among them, with options / heuristics
for deali
or run it all through a proxy ;-)
https://www.google.com/search?q=convert+html+to+xhtml
Racket Users list:
http://lists.racket-lang.org/users
did you post this on LtU yet? would be cool! :-)
On Wed, Apr 23, 2014 at 10:52 AM, Robby Findler
wrote:
> James successfully defended his dissertation today. Below is a taste.
Racket Users list:
http://lists.racket-lang.org/users
cool, thanks for the note.
i wish i were filthy rich and could throw money at people to
"productize" these wonderful efforts. :-)
Racket Users list:
http://lists.racket-lang.org/users
(i bing'd but didn't hit anything)
any experiments with doing "advanced" typing?
Racket Users list:
http://lists.racket-lang.org/users
>> Hey users, I'm experimenting with some simple games using big-bang from
>> 2htdp/universe and I keep running into stuttering problems. It seems to be
>> the garbage collector slowing things down (green recycle symbol in drracket
>> is on whenever the program is frozen).
i believe games (wel
On Tue, May 21, 2013 at 2:36 PM, Eli Barzilay wrote:
> (...and therefore having types go through macro-expansion is even more
> obviously missing...)
could the macros+types be something as strong as e.g. metaocaml?
http://stackoverflow.com/questions/3037643/typed-metaprogramming-languages
__
> I'm fine with large types that happen to be useful theorems. They've caught
> errors, made many dynamic checks unnecessary, and taught me things about the
> code I'm writing. Kudos to the TR team.
i am curious to know what other statically typed + checked languages
you've used, and how you feel
On Thu, Dec 20, 2012 at 5:32 AM, mulhern wrote:
> "People hang on his every line; but usually he needs just one."
> "He can write Lisp programs, in C."
> "He once had a seg fault, just to see how it feels."
> Stuff like that seems pretty easy to come up with.
please, contract mulhern to redo the
On Thu, Sep 20, 2012 at 3:40 PM, Matthias Felleisen
wrote:
> If these people were serious, Xanadu would get a lot more play. From what I
> can tell, it is a dependently typed language that worked. (But yes, it has
> been abandoned.)
do you mean http://www.cs.bu.edu/~hwxi/Xanadu/Xanadu.html? 'ca
> Yes, but you can't infer the _definitions_ of types. So what I meant was,
> you must define your types before writing programs. In Racket, you can just
> think about a class of data (e.g. "all the numbers and strings") and write a
not sure this is a black and white situation; seems like haskel
> No, by "types first" I think John and Vincent are talking about a conceptual
> order. I would phrase it a little more subtly: an ML (or Haskell)
> programmer writes their types, then their programs (as you must); a TR
> programmer thinks about their data, writes down a program, then writes down
http://shootout.alioth.debian.org/u32/benchmark.php?test=all&lang=racket&lang2=ghc
?
Racket Users list:
http://lists.racket-lang.org/users
consider
((lambda (x y) (+ x y)) 1 2)
try it in http://www.wescheme.org/openEditor
Racket Users list:
http://lists.racket-lang.org/users
On Tue, May 15, 2012 at 11:00 AM, Chad Albers wrote:
> injecting it's own state into the hash, with hacky namespaces on the
> keys to prevent key collisions. I would like to avoid that.
off the top of my head, it seems like if there is sharing, yet you
want to avoid collisions, then you either h
> but *write it down*. How are we to know, as reader's of your contract and
> purpose statements, that we have to provide non-empty strings?
er, can you make a new EmptyString type and use that in the contract
part of the comment?
Racket Users list:
http://lists.racket-l
On Tue, Feb 28, 2012 at 2:12 PM, David Van Horn wrote:
> How to Design Classes
> http://www.ccs.neu.edu/home/matthias/htdc.html
> It's written for Java, but easily translates to Racket's class system.
(here i am being a broken record) when i skimmed it, it appeared to be
in the "start with the da
On Wed, Jan 18, 2012 at 1:14 PM, Neil Van Dyke wrote:
> IMHO, a good perspective on OO is to think first that behavior emerges from
> the *interactions* of objects.
sure, but where did you get the objects that are doing the interacting?
do you get them from nouns in the real world? or do you sta
On Tue, Jan 17, 2012 at 7:43 AM, Matthias Felleisen
wrote:
> On Jan 17, 2012, at 10:40 AM, Jordan Schatz wrote:
>> But as someone who employees developers I place very little
>> value on knowledge of Java and wish students would learn more functional
>> programming, and more then OOP design patter
On Mon, Jan 2, 2012 at 8:42 AM, Mark Engelberg wrote:
> I find your comparison to Shen somewhat ironic, because, as much as I
> admire Shen, I think the PLT team has produced something of far
> greater practicality, with substantially better tools and
> documentation.
horses for courses, to some
On Mon, Nov 14, 2011 at 5:19 AM, Shriram Krishnamurthi
wrote:
> This is a pretty poor example to illustrate your point, because Racket
> still does not have static type checking.
my bad word choice or understanding of Typed Racket aside, the point
is that some people think static typing is "emin
On Mon, Nov 14, 2011 at 4:41 AM, Shriram Krishnamurthi
wrote:
>> i do it in emacs usually if we are talking about being able to
>> evaluate chunks.
>
> In short, you're expecting that DrRacket's functionality is going to
> include a traditional IDE AND Emacs? Is that a reasonable demand?
what i
On Sun, Nov 13, 2011 at 4:54 PM, Shriram Krishnamurthi
wrote:
> When you do this in Eclipse, what exact steps do you follow? And what
> does Eclipse do in response? Can you show an example?
i do it in emacs usually if we are talking about being able to
evaluate chunks. when using clojure or sc
p.s. and i should and do explicitly sincerely humbly apologize for my
acerbic and incorrect bitching on that point.
On Sun, Nov 13, 2011 at 11:35 AM, Raoul Duke wrote:
> On Sat, Nov 12, 2011 at 7:46 PM, Eli Barzilay wrote:
>> use strong language like "stab in the eye" a
On Sat, Nov 12, 2011 at 7:46 PM, Eli Barzilay wrote:
> use strong language like "stab in the eye" and "bad taste in my
> mouth". Yet you have not justified this in any concrete way, so I
> find it surprising that something would be equivalent to a stabbed
> eye, yet it's vague enough to not come
sincere thanks for everybody's bluntness.
On Sat, Nov 12, 2011 at 8:11 PM, Sam Tobin-Hochstadt wrote:
> We, and in particular Robby, have put a lot of effort into making
> DrRacket a useful programming environment. If you have specific ways
> of making it better, or even specific things that you
On Sat, Nov 12, 2011 at 7:07 PM, Robby Findler
wrote:
> For the above, however, what do you mean? From what I read of Apple's
> UI guidelines, DrRacket conforms. For example, the apple menu has the
> specified menu items, as do the file and edit menus, in the places
> where they are supposed to be
On Sat, Nov 12, 2011 at 6:35 PM, Grant Rettke wrote:
> New IDEs always feel weird. Try out EiffelStudio and it seems so weird
> but after a few days it feels right at home. DrRacket is the same.
for sure there are lots of ways to look at this issue. what is the
real target audience? what can we e
On Sat, Nov 12, 2011 at 6:46 PM, Shriram Krishnamurthi
wrote:
> too vague (and, if you don't mind my saying, a bit too inflammatory)
(a) oh based on previous experience, i expect you of all people to be
blunt! so i don't mind at all! :-)
(b) i just did the 5 (okay maybe 7) minute thing that i
On Sat, Nov 12, 2011 at 6:28 PM, Grant Rettke wrote:
> The 15 or so developers that I know personally who tried out DrRacket
> at my recommendation all complained about the UI. "It is a toy." and
> "Does anyone actually use this?" were a running theme. I told them
> that I use it and it is pretty
hi,
> That's an amazing statement.
in my experience which is now out of date, it was that i felt the ide
was like something from the 70s when it comes to the usability /
intuitiveness of it. it seemed weird and modal and confusing and just
not something that came across quickly and easily.
i'm i
On Fri, Nov 11, 2011 at 7:43 PM, Neil Van Dyke wrote:
> That's a topic for a different discussion thread, but... I'm guessing some
> factors that would affect this comparative assessment:
>
> (1) How much experience and skill one has with each.
> (2) What kind of work one is doing.
> (3) What prec
On Fri, Nov 11, 2011 at 7:43 PM, Neil Van Dyke wrote:
> The Racket book I am writing will emphasize the everyday "small DSLs for big
> wins". I'll also suggest "pervasive local DSLs" as an optional practice of
> style, And finally suggest when "#lang" can be a big win (e.g.,
> all-encompassing D
> http://queue.acm.org/detail.cfm?id=2068896
certainly sounds cool and featureful.
my knee jerk reaction is that i believe it is probably really hard to
avoid making a language/dialect/syntax/extension/whatever that isn't
doomed to be a horrible heckdom shoved onto the users. so the tools
might l
On Thu, Jun 23, 2011 at 3:04 PM, Eli Barzilay wrote:
>> You probably want something like parameters.
> (What people *probably* want is something like CL, where you can
> declare a specific variable as special -- and then when you use it in
> a `let' or as a function argument, that binding is done
On Thu, Jun 16, 2011 at 6:17 PM, Richard Lawrence
wrote:
>> tho i read that even if there are ways to use it, there be dragons in
>> terms of getting the new language just right wrt type enforcement.
>
> Where did you read this?
possibly misunderstood the intention behind:
http://www.ccs.neu.edu
hi,
to what degree can one leverage typed racket for new languages in the
racket ecosystem? tho i read that even if there are ways to use it,
there be dragons in terms of getting the new language just right wrt
type enforcement.
thanks.
_
For list
On Mon, Jun 13, 2011 at 3:50 PM, Sam Tobin-Hochstadt wrote:
> That is not true. The event-driven structure of all JavaScript code is
> an important part of why node is fast. That's what JS engines are
> good at, among other things.
imho everything is a trade-off. event-driven has major suck abou
On Wed, Nov 24, 2010 at 9:53 AM, Neil Van Dyke wrote:
> through HtDP, is about ten copies. Even if we view writing the book as an
> investment in the platform, then the question is whether the platform would
> be better served by expending the same effort on PLaneT packages instead.
$0.02 my cur
On Fri, Oct 22, 2010 at 5:09 AM, Shriram Krishnamurthi
wrote:
> There is no STM in Racket, so I don't see the relation. In a
> transactional world, you need to know what "that" means. In Racket,
> there's no cleverness.
>
> The refs in Clojure may be more akin to the boxes in FrTime.
ah! thank
On Thu, Oct 21, 2010 at 6:38 PM, Shriram Krishnamurthi
wrote:
> There is a variation on what Matthias said, which is when you need a
> shared structure whose value changes but whose representation may
> contain immutable constants.
akin to http://clojure.org/refs ?
__
On Thu, Sep 30, 2010 at 3:44 AM, Jay McCarthy wrote:
> So, you don't have to send things there and you can't get the deleted data
> back.
hello Ted,
note that in most gc systems, you can't say "clean up X right now!"
which can be unfortunate when you are talking about trying to clean up
some X
On Tue, Sep 21, 2010 at 10:54 AM, Will M. Farr wrote:
> it's interesting. Have a look at OCaml's Camlp4: a macro language where
> people sometimes *actually* use
there's also nemerle's approach that supports non/ast versions.
http://nemerle.org/macros.html
sincerely.
__
On Thu, Jun 24, 2010 at 11:03 AM, Matthias Felleisen
wrote:
A bit later the sites internet ticker also quit. Same reason. I have
no clue what the number 48 does to computer scientists. I would have
understood 64 perhaps, but the game went even beyond that.
for that kind of fun, i love/hate readin
60 matches
Mail list logo
