A Guiler's Year of Racket

Подписаться 25 тыс.

Просмотров 12 тыс.

50% 1

by Christopher Webber
At: FOSDEM 2019
video.fosdem.org/2019/K.4.201...
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 фев 2019

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист

Посмотреть позже

Комментарии : 13

@batlin 3 года назад

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 4 года назад

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

@jaythomas3180 3 года назад

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

@sinekonata 3 года назад

@@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 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 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 4 года назад

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

@jacekjacenty 3 года назад

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

@jacekjacenty 3 года назад

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

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