jaredforsyth Profile Banner
🦋 Jared Forsyth Profile
🦋 Jared Forsyth

@jaredforsyth

Followers
6K
Following
66K
Statuses
10K

follower of Christ. feminist. mormon. type theory, @reasonml, @reactjs, PLT Mobile dev @KhanAcademy he/him @[email protected] @jaredforsyth.com on 🦋

St Louis
Joined February 2008
Don't wanna be here? Send us removal request.
@jaredforsyth
🦋 Jared Forsyth
2 months
10 years ago, I thought "programming is too hard, I'll make tools to make it easier" 5 years ago, I thought "I'll make a new language to make it easier" now I'm working on tools to make "making new languages" easier 😂
0
0
31
@jaredforsyth
🦋 Jared Forsyth
2 days
@meekaale that is certainly one definition of coherent
1
0
0
@jaredforsyth
🦋 Jared Forsyth
2 days
@georgesboris in the languages I'm familiar with, "fallthrough" bypasses the "checking" part, and just goes to the body of the next case. This makes sense for simplistic, non-pattern-matching switch because it's impossible to have multiple cases that could match the same value.
1
0
2
@jaredforsyth
🦋 Jared Forsyth
2 days
@vpatryshev hm do you anything more specific? The first repo I found by John Pretty has an 80-line method (I may have found the wrong John Pretty)
0
0
0
@jaredforsyth
🦋 Jared Forsyth
2 days
@rtfeldman wowww that sounds super cool! In the post you don't address "why not self-host" but it sounds like it's a "Roc is still changing in fundamental ways" thing?
1
0
1
@jaredforsyth
🦋 Jared Forsyth
2 days
@rawdeg ooh fancy
0
0
1
@jaredforsyth
🦋 Jared Forsyth
2 days
@vpatryshev More seriously though; do you have a codebase you can point me to that exemplifies your ideas of "good code"? I'd be interested to read through it.
1
0
0
@jaredforsyth
🦋 Jared Forsyth
2 days
@BenjaminPrevor that is fascinating
0
0
0
@jaredforsyth
🦋 Jared Forsyth
2 days
@rawdeg Does C#'s switch allow pattern matching on algebraic data types? (this language feature only really makes sense in the context of a powerful switch)
1
0
1
@jaredforsyth
🦋 Jared Forsyth
2 days
@vpatryshev consider whether your advice could be used to argue against all modern language features
1
0
1
@jaredforsyth
🦋 Jared Forsyth
2 days
@georgesboris Guard clauses are cool, but are strictly less powerful than what I'm proposing. Here's maybe a better example to indicate why:
Tweet media one
1
0
1
@jaredforsyth
🦋 Jared Forsyth
3 days
0
0
1
@jaredforsyth
🦋 Jared Forsyth
3 days
@samth nice!
0
0
1
@jaredforsyth
🦋 Jared Forsyth
3 days
@iamwil hmmm I actually don't think you could? Like koka wouldn't allow you to "resume evaluation of this `match`, but ignore the first case"
0
0
0
@jaredforsyth
🦋 Jared Forsyth
5 days
@mholt6 presumably "being allowed to protest" is a necessary precondition for whatever the goal of the protest is, so "the police are letting us protest" is a preliminary win?
0
0
2
@jaredforsyth
🦋 Jared Forsyth
9 days
RT @kentcdodds: I'm stoked to have @jaredforsyth at #EpicWebConf in March! He’ll be diving into type inference and programming languages in…
0
1
0
@jaredforsyth
🦋 Jared Forsyth
15 days
would you believe that this is normal game of life, with a slightly different display?
0
0
10
@jaredforsyth
🦋 Jared Forsyth
15 days
@TodePond imagine, conway's game of life, but, hexagons (the rules are the same, cells still have 9 neighbors, every other row is just shifted over a bit. it's a display-only change)
Tweet media one
Tweet media two
Tweet media three
0
0
4