Re: [racket-users] Reasons not to use match or define/match?

2018-12-19 Thread Philip McGrath
On Mon, Dec 17, 2018 at 4:08 PM Jens Axel Søgaard wrote: > However if you add a field to a struct foo, then you need to a new field > to all patterns matching foos. > If on the hand you used foo-bar then adding a field baz requires no > changes to the existing code. > You can avoid this issue

Re: [racket-users] t-test (student's, welch's)

2018-12-19 Thread Jesse Alama
On 19 Dec 2018, at 4:42, 'John Clements' via users-redirect wrote: I often find myself wanting to use a t-test. Wikipedia suggests that really, I should probably be using Welch’s t-test, because it works well when variances and sample sizes are different, and about as well as student’s t-test

Re: [racket-users] typed racket backend/ir & gpu computing

2018-12-19 Thread wanderley.guimar...@gmail.com
Can you give an example of a simple eDSL language? Not that I am not lazy but I don’t have an idea of what to search. On Wed, Dec 19, 2018 at 1:19 PM Matthias Felleisen wrote: > > embedded as opposed to stand-alone > > > On Dec 19, 2018, at 3:08 PM, Greg Hendershott > wrote: > > > > What is the

Re: [racket-users] How to disallow certain characters in identifiers?

2018-12-19 Thread Milo Turner
Another option, which probably has a lot of terrible consequences, is to transform "a.b" into "3-d syntax" (a struct embedded in syntax) that can now be interpreted differently by forms that are interested. For instance a custom "define" could grab the 3d-syntax in the name and use it to make a

[racket-users] Re: Reasons not to use match or define/match?

2018-12-19 Thread Milo Turner
This is similar to the argument of "why not use let* everywhere you use let?" and there is no convincing answer IMO. I too am a big fan of pattern matching, and I would appreciate a #lang where every binding form is a pattern (ala ML, Haskell, ...). But in Racket as it exists today, I don't

Re: [racket-users] typed racket backend/ir & gpu computing

2018-12-19 Thread Matthias Felleisen
embedded as opposed to stand-alone > On Dec 19, 2018, at 3:08 PM, Greg Hendershott > wrote: > > What is the "e" in "eDSL"? > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails

Re: [racket-users] typed racket backend/ir & gpu computing

2018-12-19 Thread Greg Hendershott
What is the "e" in "eDSL"? -- 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] typed racket backend/ir & gpu computing

2018-12-19 Thread michael.ballantyne
To clarify: neither my work nor Stephen's would allow you to re-use Typed Racket's typechecking or inference. Rather, we're working to make it easy to implement new eDSLs with custom type systems and intermediate representations while remaining macro-extensible. A few projects that have been

Re: [racket-users] typed racket backend/ir & gpu computing

2018-12-19 Thread Matthias Felleisen
> On Dec 19, 2018, at 4:12 AM, Jesse Alama wrote: > > On 18 Dec 2018, at 0:39, Matthias Felleisen wrote: > >> Michael Ballantyne’s core language > > I somehow can't find this -- do you have a link? It’s in the works/ -- You received this message because you are subscribed to the Google

Re: [racket-users] typed racket backend/ir & gpu computing

2018-12-19 Thread Jesse Alama
On 18 Dec 2018, at 0:39, Matthias Felleisen wrote: > Michael Ballantyne’s core language I somehow can't find this -- do you have a link? -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails