Subscribe to:
Post Comments (Atom)
skip to main |
skip to sidebar
Manuel Simoni's blog about programming (languages).
Archives
-
▼
2012
(85)
-
▼
July
(23)
- When somebody uses the word 'natural'
- When I can no longer tell whether my implementatio...
- When I read a blog post by Robert Harper
- When everybody hypes a language that I find crap
- When a new language doesn't get lexical scope right
- When I heard of Dart's type system
- When I hear they're adding features to C++
- When I finally grokked delimited continuations
- When it comes to my mind that the 1990s project of...
- When I'm about to replace an important subsystem i...
- When somebody says 'but Clojure will bring more pe...
- When I see that Ruby's parser is 10,000 lines of C
- When somebody tries to explain JavaScript's protot...
- When I see that a new language makes a difference ...
- When I mention first-class environments and fexprs...
- When I try to structure data in Scheme
- When a language designer talks about their ideas o...
- When a code base uses a directory structure deeper...
- When I read about Perl 6 semantics
- When I try to design an extension or alternative t...
- When I see that the designer of a new dynlang know...
- When somebody asks me how I added a DSL to my Lisp...
- When somebody says he doesn't like exceptions beca...
-
▼
July
(23)
Linkroll
- Alarming Development
- Alex Payne — Online Writing
- Arcane Sentiment
- Awelon Blue
- blog.might.net
- Dependent Types Reddit
- Dynamic Aspects
- eighty-twenty
- Existential Type
- Hack the Planet
- HXA7241
- Kazimir Majorinc's Lisp Notes
- Lambda the Ultimate
- Linux Weekly News
- Loper OS
- Luke Gorrie's weblog
- Making it stick.
- One Mistake After Another
- Paul Graham
- Paul Snively's Blog
- Philosophy Made Manifest
- PiLuD: Programming Language Design
- Proggit
- Real World Technologies Forums
- Send More Paramedics
- State of Code
- Stevey's Blog Rants
- Structural insight
- Subvert the dominant paradigm
- Taylor Campbell's blag
- The BileBlog
- The ByteBaker
- Trivium
- Ward's wiki
- wingolog
3 comments:
'd point out that my sometimes-hobby horse, Call-By-Push-Value, definitely distinguishes between statements (code associated with negative types) and expressions (code associated with positive types). Certainly I think that CPBV has the potential to guide us to do this in a way that's more principled than what's frequently done in practice, but there are potentially answers to Neil Patrick Harris's emphatic question.
Right. CBPV quickly came to mind before I pushed the "publish" button.
It is simple: Expressions should have no side effects, while statements are allowed to have them. This makes reasoning about code a lot easier, especially for programmers without formal education and the ones who care about formal semantics and verification. If a language has no side effects in expressions it makes the formal semantics of a language simpler and you can define a wp-calculus directly on the statement level.
Post a Comment