[racket-users] racket in geiser (in Emacs): switch language in live REPL to plai-typed?

2016-08-06 Thread Lawrence Bottorff
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

[racket-users] Racket module creation in org-mode?

2016-09-06 Thread Lawrence Bottorff
Just wondering if creating a module always has to be based on a .rkt file? Would there be any way to create, say, modules (one or more) in an org-mode file, perhaps one module per babel code block? . . . Trying to get org-mode to be more "modular." -- You received this message because you are

[racket-users] Vector or array type for math vector?

2016-09-15 Thread Lawrence Bottorff
I'm trying out some of the math capabilities of Racket and I'm guessing the linear algebra concept of a vector is actually an Array type in Racket, not a Vector. Is this correct? Racket's Vector is a data (as with Java's Vector) structure, right? -- You received this message because you are

Re: [racket-users] Using the graph library

2016-10-29 Thread Lawrence Bottorff
On Saturday, October 29, 2016 at 3:06:18 PM UTC-4, jhemann wrote: > Stephen's talk at 4th Racketcon (https://www.youtube.com/watch?v=SvYJF5HC19w) > gave me a good tutorial-ish introduction.  > > > JBH > > > On Sat, Oct 29, 2016 at 8:59 PM, Lawrence Bottorff <bor..

[racket-users] Using the graph library

2016-10-29 Thread Lawrence Bottorff
I see the Racket Generic Graph Library, but I don't know how to use it. Where would one go to learn, tutorial-style" the ins and outs of using this library? I take it this library allows you to "roll your own" graph database? I did notice the HTDP has a section on graph things. Would this help?

[racket-users] Literate program a math course with Racket?

2016-11-28 Thread Lawrence Bottorff
I'm tackling SICP -- using Racket and Emacs/orgmode, which I think is the best combination (YMMV). I like SICP because it puts computational math in the mix of learning functional programming. Then Sussman did SICM (...Classical Mechanics; 2nd edition) -- which is way over my head. But again,

[racket-users] Good Data Structures Book?

2016-12-13 Thread Lawrence Bottorff
Can someone suggest a good text for data structures that would compatible with Racket? All I see are treatments using C/C++, Java, Python, i.e., the usual suspects. Or, how do you people at Racket-friendly/based universities teach undergrad data structures? -- You received this message

[racket-users] Re: Good Data Structures Book?

2016-12-14 Thread Lawrence Bottorff
On Wednesday, December 14, 2016 at 12:19:51 PM UTC-5, Prabhakar Ragde wrote: > > I am developing such a course for a spring term (May-August) offering at > the University of Waterloo (though it will probably use OCaml). There > does not appear to be an ideal textbook; I plan to synthesize

Re: [racket-users] Re: Racket graphics?

2017-01-14 Thread Lawrence Bottorff
This is all very impressive, indeed. I was wondering if Racket could be used to create a new sort of GIS app, i.e., geographic information system. It would have to do "vector graphics," which is to say every primitive drawing object is real, i.e., isn't just a setup step toward creating a

[racket-users] Racket graphics?

2017-01-13 Thread Lawrence Bottorff
I've seen Racket graphics doing some basic graphics. How expressive is it? Could it do diagrams as well as TikZ or gnuplot? What output formats are there? Could it be like Processing and do 3-d and motion? -- You received this message because you are subscribed to the Google Groups "Racket

[racket-users] Is this a closure?

2017-04-20 Thread Lawrence Bottorff
Looking at HTDP-1 (http://htdp.org/2003-09-26/Book/curriculum-Z-H-25.html#node_chap_19), I see this: (define (filter predicate alon) (cond [(empty? alon) empty] [else (cond [(predicate (first alon)) (cons (first alon) (filter predicate (rest

[racket-users] Racket/Dr. Racket on Android?

2017-04-20 Thread Lawrence Bottorff
Is there a version of Racket for Android yet? -- 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

[racket-users] Typed Racket error in REPL but not when command-line-loaded

2017-04-18 Thread Lawrence Bottorff
I'm looking at this from https://github.com/dparpyani/99-Lisp-Problems-in-Racket: #lang racket (require typed/racket) ;; Question: ;; Find the last box of a list. ;;Example: ;; (my-last '(a b c d)) ;; => '(d) ;; Consumes a list and returns the last element in it. (define (my-last

[racket-users] foldl reverses lists?

2017-04-19 Thread Lawrence Bottorff
I see this: > (foldl cons '() '(1 2 3 4)) '(4 3 2 1) and have to conclude that foldl is reversing the list. This is bolstered by this: (define (my-reverse lst) (foldl cons empty lst)) which is a way of reversing a list. Good. But then I see this: (foldl (lambda (a b result) (begin

Re: [racket-users] foldl reverses lists?

2017-04-19 Thread Lawrence Bottorff
Yes, thank you both for your help. -- 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

Re: [racket-users] Science graphics with Racket?

2017-10-23 Thread Lawrence Bottorff
h width] >> [height height] >> [output filename] >> [exists exists])) >> (send dc start-doc "An SVG Test") ; a message >> (send dc start-page) >> (draw-pict p dc 0 0) >> (send dc

[racket-users] Science graphics with Racket?

2017-10-23 Thread Lawrence Bottorff
I'd like to use Racket to generate scalable (svg?) graphics like gnuplot or GeoGebra does. For example, I'd like to create a cartesian coordinate graph system, then draw functions on it. One thing in particular would be to draw a graph of a circle based on the standard form of a circle, e.g., x^2

[racket-users] Lambda calculus done in Racket

2020-02-17 Thread Lawrence Bottorff
I found these blowing down the sidewalk today ; TRUE = λx.λy.x (define mytrue (lambda (t) (lambda (f) t))) and ; FALSE = λx.λy.y (define myfalse (lambda (t) (lambda (f) f))) Two problems, I don't understand them and AFAICT, they don't work. I traced them back to this