@samth What’s the story of generics in typed racket? I really would like to use more typed-racket but it feels generics for the way I generally write code and really important. Are there any issues that make it hard implementing types in the presence of generics or is just not enough hands on deck?

I’ve also wondered that

unrelated, I implemented traversals (a kind of optic similar to lenses which can functionally update a sequence) and they can be composed:

@pocmatos there’s currently no story in TR

anyone familiar with Racket & Julia can shed some light on pros/cons between the two in regard to writing desktop gui app?

@capfredf has done a lot of work to make struct type properties work, that will all be there in 7.9

That’s an important foundation for generics

@samth thanks - so is it something in the roadmap at some point?

It’s something I’d like to have, but I think it’s probably a lot of work, so I wouldn’t describe it as on the roadmap until I know more

Fair enough - that’s understandable. Thanks. :slightly_smiling_face: If it’s worth anything there’s at least one person interested in that.

@mflatt: currently https://www.cs.utah.edu/plt/snapshots/current/doc/index.html is down

Do you know what’s going on?

It says forbidden access to me

There seems to have been network instability last night that caused all sorts of trouble, and the snapshot site was only partially updated. I’ve reset the link to yesterday’s snapshot.

Someone messing up with the .htaccess?

Seems ok now

@sjaniska I was going to suggest the 7gui benchmark but there doesn’t appear to be a Julia Benchmark

https://eugenkiss.github.io/7guis/\|https://eugenkiss.github.io/7guis/

There is a racket set https://github.com/mfelleisen/7GUI\|https://github.com/mfelleisen/7GUI

But it hasn’t been submitted

@sjaniska https://stackoverflow.com/questions/35328468/how-to-make-a-gui-in-julia\|https://stackoverflow.com/questions/35328468/how-to-make-a-gui-in-julia

Racket gui works cross platform and is part of the distribution

Why is Julia attractive?

Why Julia? It is more performant than Python which has nice PyQt GUI and one can use PyQt via PyCall in Julia. Language looks attractive and, maybe, more approachable than Racket for someone like myself not accustomed to Scheme, but if Racket can fill the needs - e.g. I do not see tree widget, I’m ready to take a challenge since having GUI as part of distribution is great ‘pro’ :wink:

Yes, it’s one of the biggest missing pieces right now.

Hello; how does the search in the racket docs work? Is there a CLI I can hook into to do it within an IDE?

Specifically talking about the search manuals

raco docs foo will search for foo

In DrRacket you can simply put the cursor on an interesting keyword and press F1.

I have forgotten how in racket-mode (Emacs).

https://docs.racket-lang.org/mrlib/Hierarchical_List_Control.html?q=Hierlist\|https://docs.racket-lang.org/mrlib/Hierarchical_List_Control.html?q=Hierlist

Yes, but that opens in a browser; I was wondering whether there was an output which didn’t rely on the browser at all.

I think raco docs opens the default browser. So it must be possible to set it to a “cli browser” (like lynx in the good old days).

https://github.com/Metaxal/MrEd-Designer\|https://github.com/Metaxal/MrEd-Designer also has a nice tree widget - more like Windows explorer

hmm, just wonder why is that MrEd-Designer’s widget not included in ‘default’ GUI…

but, yes, it looks nice :smile:

what is recommended way to write Racket using Emacs, racket-mode or lsp-mode?

racket-mode

https://www.racket-mode.com/

Maybe check the licence

there’s a way to do it in racket-mode for emacs I think

and it can be done programmatically using the setup/xref module

Hmm - I’ll take a look around thanks.

Oh, I mean search not doc-at-point

hmm, I’m not sure then. I’ve never tried that programmatically

I have a question in general about symbols in custom languages. Say I have a reader-syntax lang such as defined <https://github.com/racket/parser-tools/blob/master/parser-tools-lib/parser-tools/examples/calc.rkt|here. > The parser does the function application on +, which is already bound. What should you do for user defined symbols? Would you maintain a context as you were going through the file and have a stateful lexer which looks up the symbol and returns the bound value? I’m imagining that something like ($1 $2) won’t work if $1 is a symbol.

Ah - I think I’ve found the relevant section.

https://docs.racket-lang.org/reference/syntax.html

TIL if you hover over an identifier link in Scribble documentation, it will show what collection to require to get the identifier. I have always… scrolled up to see it.

Oops, sorry. Just noticed there was a beginners channel. I’ll move over to there.

@yilin.wei10 https://www.racket-mode.com/#racket_002dxp_002ddescribe

Oh just saw you meant search not thing-at-point. I suppose you could use emacs’ browser, eww with that Racket search page? Otherwise idk.

There’s also a “Provided by” quickscript (in quickscript-extra) which avoids switching to the browser