one of my favorite features of scribble is that the racket docs search searches not just for functions and types and code stuff but also page titles, filenames, and importantly technical terms which have a specific way to define them in the markup and then you can quickly look for terms like "synchronizable event" and immediately jump to the definition of the term
which is really good!!! it makes the docs extremely usable, much more than javadocs
@ionchy Yup. Ryan Culpepper gave a talk on proper design with macros; I can't find it though. Common mistakes are (1) using macros when functions will do and (2) expanding to lots of code when you ought to expand to a function call (3) not let-binding expressions that are inputs that appear multiple times in the template, causing duplicate evaluation.
@ionchy I'm not so sure. If the language is designed to allow the user to extend it, it seems like the editor must have some way to adapt to user-defined extensions. Making that external to the language is leads to a ton of code duplication (each editor will invent it's own language for control customization, which will not be portable). Making it possible to do language-extension with IDE-extension as a first-class feature is probably a good idea.
@wilbowma well both are good... we can coexist in peace and harmony... all we need now is an avatar, master of both macros and monads
racism, spicy take on iq
history of iq tests:
-invented by racists with confirmation bias
-historically used by racists to justify racist education policies and also eugenics
-currently used by racists to justify racist education policies and also eugenics
-debunked countless times
-still taken seriously because ????????
I like programming languages, functional programming, macros, and type systems
pronouns: he/him or they/them
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.