Micah Cantor

Software engineer @Rinse. Previously studied CS and math @GrinnellCollege. Interested in compilers, FP, web development

Moved to bluesky

[Micah Cantor @micah_cantor]

Moved to bluesky, follow me there instead!

[Micah Cantor @micah_cantor]

@ZachLowe_NBA Zach, any chance you're saying hi to fans in DC while you're here?

[Micah Cantor @micah_cantor]

@BenRitholtzNBA I wonder if he'll take a year off from podcasting to write a book

[Micah Cantor @micah_cantor]

@FPaulusma @ChShersh @kerckhove_ts You choose what's exposed from a module in the corresponding interface file, then the namespaced module is in scope in other modules. If you want to access the contents of a module without namespacing you can `open Module`

[Micah Cantor @micah_cantor]

@BenRitholtzNBA Kolek vs Brunson 1 on 1 in practice is gonna be fun

[Micah Cantor @micah_cantor]

@chiroptical I feel like where bindings are a cute trick enabled by laziness, but not really that useful otherwise

[Micah Cantor @micah_cantor]

@luctielen Adding new features is fun and not adding new features is...no fun 😆

[Micah Cantor @micah_cantor]

@BretDevereaux It's funny how in my 8th grade English class they taught us the "hamburger method" -- an essay should start with a thesis, followed by the supporting argument, followed by the conclusion.

You have to know the rules to know when to break them, but sometimes they're still useful!

[Micah Cantor @micah_cantor]

@ShriramKMurthi "Python is an imperative, interpreted programming language" -- any other adjectives we should throw in there? 😆

[Micah Cantor @micah_cantor]

Programming beyond paradigms: why the next paradigm in programming is no paradigm at all

https://t.co/lNL3oNfKmG

[Micah Cantor @micah_cantor]

I wrote this blog post about why I don't think "paradigm" is a useful term for differentiating programming languages anymore, and why I see new languages like Rust, Nim, and Gleam to be beyond traditional paradigms.

[Micah Cantor @micah_cantor]

@owickstrom I think you can often get by without functors too, just using parameterized ADTs and/or records of functions. I think in OCaml people are more likely to add another parameter to achieve generic code. See Array.sort vs. Haskell's Ord + sort approach

[Micah Cantor @micah_cantor]

@owickstrom Also knowing a bit about the implementation of functors helped...they are essentially compiled to functions of type Module -> Module

[Micah Cantor @micah_cantor]

@kc_srk @OlivierNicole1 Well deserved!!

[Micah Cantor @micah_cantor]

@TechnoEmpress Whichever ones the French call "click clack beds", which simply fold in the middle into a couch. Uncomfortable and will damage the mattress/sheets

[Micah Cantor @micah_cantor]

@ShriramKMurthi Yes that's a good point -- "can fail" should instead be "will fail," and those cases are exhaustive.

[Micah Cantor @micah_cantor]

I released a tiny Racket lang called Fig. It's an extension of JSON with a few (but not too many) features for composing reusable configuration files

[Micah Cantor @micah_cantor]

@ShriramKMurthi Yep, that is totally valid! It's designed so that every JSON program is valid Fig, and it has minimal dependencies (just brag for parsing), so it can be used even just for comments + trailing commas