The Purported Benefits of Effect Systems
Posted2 months agoActiveabout 2 months ago
typesanitizer.comTechstory
calmpositive
Debate
20/100
Programming LanguagesType SystemsEffect Systems
Key topics
Programming Languages
Type Systems
Effect Systems
The article discusses the potential benefits of effect systems in programming languages, sparking a thoughtful discussion on their applications and limitations.
Snapshot generated from the HN discussion
Discussion Activity
Light discussionFirst comment
7h
Peak period
2
120-132h
Avg / period
1.5
Key moments
- 01Story posted
Nov 1, 2025 at 7:01 PM EDT
2 months ago
Step 01 - 02First comment
Nov 2, 2025 at 1:53 AM EDT
7h after posting
Step 02 - 03Peak activity
2 comments in 120-132h
Hottest window of the conversation
Step 03 - 04Latest activity
Nov 6, 2025 at 11:47 PM EST
about 2 months ago
Step 04
Generating AI Summary...
Analyzing up to 500 comments to identify key contributors and discussion patterns
ID: 45786266Type: storyLast synced: 11/20/2025, 2:27:16 PM
Want the full context?
Jump to the original sources
Read the primary article or dive into the live Hacker News thread when you're ready.
Effects make _the right thing to do_ (proper sandboxing, testability, assertions, ...) the _easiest_ thing to do.
Build scripts aren't sandboxed because sandboxing bash functions is nigh impossible -- not because people don't want to.
The discussion on assertions is especially confusing, because that is exactly what effect systems excel at. The effect of an assertion would be Assert, and you can choose to handle it however you want, at a higher level. If you want to crash, handle Assert in main by Exit(1)ing. If you want to reject the request but keep the server alive, handle by SetResponse(500)!; CloseRequest()!. If you want to ignore it and trundle on, return to the point of the assertions continuation.