Noel Welsh is @[email protected]
@noelwelsh
Followers
3K
Following
9K
Statuses
8K
Joined September 2008
A "Philosophy of Software Design" presents the Unix file interface as a good design. I find this perplexing. `read`, for instance, is N different functions, where the actual function is determined by some bullshit global state. Brought to you by 4 hours debugging terminal code.
0
0
1
@mmynsted I think of the denotational explanation as describing what something is, and the operational one as describing how something works. E.g. for type classes: * Denotational: a constrained type parameter * Operational: dictionary passing by implicit parameters
0
0
1
RT @ScalaBridgeLON: Our next event is in-person at Mercator's London office: We have a great list of projects (mu…
0
1
0
RT @scalarconf: Welcome Noel Welsh as a next #Scalarconf speaker! Tagless Final for Humans. Grab your ticket 🛒 #…
0
4
0
RT @ScalaTimes: Scala Times Issue #566 - - powered by @arturaz_ @BayAreaScala @goshacodes @LambdaDays @neskeip @noe…
0
8
0
RT @ScalaBridgeLON: A reminder that our next meeting is this Thursday. It's online, and anyone can attend (so long as you can make 7-9pm UT…
0
2
0
I wrote up a case study on designing a DSL for terminal interaction. You might find it a good read if you like to see programming theory jargon (codata! monads! composition!) tied to actual use cases.
0
3
7
Google Summer of Code organization applications are opening soon, and the Scala Center will again be applying. This means you---yes you!---have a chance to get your project on the list that the Scala Center will be advertising: Go make a PR; I will be!
0
2
3
This plus named tuples is a huge step for accessible metaprogramming
Still experimental, but while this might seem as a very small #Scala feature, it's going to make pattern matching so much easier and useful - and hence more widespread. Pattern matching + immutable data is one of *the* most useful traits of FP!
0
1
7
RT @scala_lang: 📯 Scala 3.6 is out! 💪 Improved syntax for givens, context bounds (SIP-64) 💪 Multiple, interleaved type parameter lists (SIP…
0
72
0
RT @velvetbaldmime: After serveral months, the most embarassing bug in cue4s has been fixed. So it now has a 0.0.1 release – you should i…
0
2
0
RT @Evolving_Moloch: The vast majority of cultural variation that has ever existed is gone, the remnants of which are confined to archaeolo…
0
56
0
RT @Lambda_World: Why are effect systems attracting so much attention? Watch @noelwelsh talk "Rethinking Effects with Effect Systems" to l…
0
2
0
RT @Lambda_World: Exciting interview with Scala developer Kim Morgan! With a unique background as a Japanese translator, Kim shares her j…
0
1
0
@_alice_evans That's"Grand Moff Tarkin", and, no, I have no idea what a Moff is, grand or otherwise 😂
0
0
1