Twitter | Search | |
Chris Martin
I teach Haskell with via and ! Personal alt:
55,344
Tweets
3
Following
5,264
Followers
Tweets
Chris Martin Oct 19
"Trivial" = "Oh, it's nothing." "Nontrivial" = "I mean, it's not nothing."
Reply Retweet Like
Chris Martin Oct 18
Replying to @chris__martin
Reply Retweet Like
Chris Martin Oct 18
Replying to @chris__martin
I've been outdone
Reply Retweet Like
Chris Martin Oct 18
Reply Retweet Like
Chris Martin Oct 18
you bake the blue flour, you stay in Wonderland
Reply Retweet Like
Chris Martin Oct 17
Replying to @adam_chal
I don't know how it is elsewhere, but in Atlanta the tax rate on your primary residence is significantly lower than on additional properties
Reply Retweet Like
Chris Martin Oct 17
Replying to @taylorfausak
Personally, I guess I have a heretical linux opinion - I don't actually like command line apps? I'd usually rather have a Haskell library and ghci. Making a command line argument parser always feels like going through extra work just to make a user interface that is Worse
Reply Retweet Like
Chris Martin retweeted
Steve Bullock Oct 15
Replying to @GovernorBullock
We all need to play on the same team. We know what measures will protect us, they just need to be taken seriously. Avoid large gatherings, wash your hands, stay home and get tested if you’re sick, and
Reply Retweet Like
Chris Martin Oct 15
Replying to @chris__martin
I had always heard that programs and recipes were just sequences of steps. I was pleasantly surprised that programming isn't as difficult as that made it seem. And frustrated that cooking isn't as easy as that made it seem.
Reply Retweet Like
Chris Martin Oct 13
A computer program is like a recipe: *not* an exact series of steps to perform, but rather a graph mapping inputs to outputs along with various constraints, recommendations, and dependencies, leaving many execution details up to the executor
Reply Retweet Like
Chris Martin Oct 13
Replying to @chris__martin
I'm always trying to work in a way that provides continual calm and assurance, and keeping the code compilable at most all times (with ghcid always visible to show it) is a big help to that end
Reply Retweet Like
Chris Martin Oct 13
Replying to @chris__martin
Other than by explicitly leaving holes, it's also very nice to be able to leave code in an unfinished-yet-compilable state by simply omitting from a case expression the cases that I haven't written yet. The resulting compiler warnings serve as a sort of to-do list.
Reply Retweet Like
Chris Martin Oct 13
One of my favorite things about the "ergonomics" of haskell is being able to leave underscores in code that isn't finished yet, and the type checker still works and provides useful information about the incomplete code. ("holes" -- )
Reply Retweet Like
Chris Martin Oct 11
Pressure and time. That's all it takes, really. Pressure. And time.
Reply Retweet Like
Chris Martin Oct 11
I have suspicious mixed feelings about why this tweet still keeps doing the rounds every now and then
Reply Retweet Like
Chris Martin Oct 10
Replying to @mwotton
sure i'll come back around someday, always do
Reply Retweet Like
Chris Martin Oct 10
Replying to @mwotton
mostly given up on the concept of IDEs trying to help. I've had a few glorious moments of integration - and then some update to either the editor, the editor extension, or the compiler breaks it again - and I can't take the heartache anymore
Reply Retweet Like
Chris Martin Oct 10
Replying to @mwotton
no I just look at it, I'm pretty low tech with vscode
Reply Retweet Like
Chris Martin Oct 10
Replying to @mwotton
I usually have ghcid running in the vscode terminal with the --test option
Reply Retweet Like
Chris Martin Oct 9
I think I read once that looking at raw meat has a calming effect, so here's some pork ribs, lamb ribs, and lamb tails to start you off on a relaxed weekend
Reply Retweet Like