Jon Purdy
187 followers
187 followers
Posts
Post has attachment
Public
Lately in Kitten #2: Closures, Boxing, Permissions, and Assumptions
Recent work on Kitten has been focused on design rather than implementation, so those of you who’ve been following the project might have noticed an apparent lull in development activity. Having figured out a few issues, I’ll be getting back to the code thi...
Post has attachment
Public
Lately in Kitten
At the turn of the new year, I resolved to work on Kitten every week of 2017, and so far it’s been going pretty well. With the success of This Week in Rust , I thought I’d make a point to continue documenting my thought processes when designing and implemen...
Post has attachment
Public
Arithmetic Types in Kitten
In order to motivate myself to work on my programming language, Kitten , I’ve decided to publish my notes on various aspects of the design as I figure them out. This is partly to solicit comments and drum up interest in the project, but mostly an exercise i...
Post has attachment
Public
“Weird” is intellectually lazy
Saying “X is weird” is equivalent to saying “I don’t understand X, and I blame X for it.” I often have to make this point in discussions of programming languages. I enjoy writing in Haskell, and I’ve taught it to a number of developers. People who are accus...
Post has attachment
Public
Thoughts on using fractional types to model mutable borrowing of substructures
In type theory, a pair is denoted by a product type , with a constructor pair and two projections fst and snd : $mathjax[ \textrm{pair}(a, b) : a \times b \\ \textrm{fst} : a \times b \to a \\ \textrm{snd} : a \times b \to b ]$ These projections are destruc...
Post has attachment
Public
Give.
When I walk down the streets of San Francisco, people sometimes ask me for money. And if I have the time, as I almost always do, I stop and talk with them about what brought them to where they are. And if I have the cash, as I almost always do, I give it to...
Post has attachment
Public
Don’t say what you mean.
In conversation, I used to think it was good to say what you meant. I thought doing so would help me be understood. But I learned very quickly when tutoring computer science students in college that this strategy does not work in general. The real challenge...
Post has attachment
Public
Consent is important. Don’t oversimplify it.
Rape happens. It’s an awful reality, which a lot of good people are working very hard to fix. That starts with teaching people about consent and why it’s essential to healthy sexual interactions. But a lot of explanations of consent, while undeniably good a...