A Guiler's Year of Racket

Поділитися
Вставка
  • Опубліковано 27 сер 2024
  • by Christopher Webber
    At: FOSDEM 2019
    video.fosdem.o...
    Having used Guile for the previous number of years and being an enthusiastic supporter of and occasional contributor to Guix, what's it like switching to Racket, a different but in many ways similar Scheme language, for the last year? What can Guile learn from Racket? What can Racket learn from Guile?
    Room: K.4.201
    Scheduled start: 2019-02-02 16:20:00+01

КОМЕНТАРІ • 13

  • @batlin
    @batlin 3 роки тому +6

    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
    @sinekonata 4 роки тому +9

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

    • @jaythomas3180
      @jaythomas3180 4 роки тому +2

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

    • @sinekonata
      @sinekonata 4 роки тому

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

  • @raretapes8057
    @raretapes8057 Рік тому

    Really well presented

  • @ws9691
    @ws9691 Рік тому +1

    IMPOSTER SYNDROME... omg

  • @jacekjacenty
    @jacekjacenty 4 роки тому +4

    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
      @alexv2553 4 роки тому +4

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

    • @jacekjacenty
      @jacekjacenty 4 роки тому +1

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

    • @jacekjacenty
      @jacekjacenty 3 роки тому

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

    • @jacekjacenty
      @jacekjacenty 3 роки тому

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

    • @jacekjacenty
      @jacekjacenty 3 роки тому

      @@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.