A Guiler's Year of Racket

[@batlin]

Great presenter -- I don't know much about Racket, but it's hard not to be excited about all of this when you have someone so enthusiastic giving the talk and doing demos!

[@sinekonata]

This talk taught me so much. And I'm not even serious about emacs yet. The speaker is much fun. Big love.

[@jaythomas3180]

His talk "The Lisp machine and GNU" is pretty entertaining and informative too, and doing the presentation within emacs is great!

[@sinekonata]

@@jaythomas3180 Thanks. I'll be checking it. I'm now a lot more invested in emacs :D

[@raretapes8057]

Really well presented

[@ws9691]

IMPOSTER SYNDROME... omg

[@jacekjacenty]

Last time I tried Racket I gave up because of immutable top-level. That was few months ago. The documentation on the subject was awful. I can do cross-platform GUI in SBCL and GTK and enjoy the best REPL I have ever seen. Let me know when the experience with Racket becomes similarly good enough and the top-level problems are properly documented.

[@alexv2553]

What do you mean by 'immutable top-level'? I think Racket is less REPL oriented than a lot of other Lisp languages, though.

[@jacekjacenty]

@SamuraiSquirrel Vala is good language to consider for gtk elementary.io/docs/code/getting-started#gtk-application

[@jacekjacenty]

@@akhetopnu344 yes, but the types still have loopholes.

[@jacekjacenty]

I have not tried wrapping those imperfect types into structures. Do you have any suggestions?

[@jacekjacenty]

@@akhetopnu344 It's 'I think I can go pretty far' vs formal reasoning. If you look at ACL2 you can see how far you can go. But at that point, you are creating another language.