The Curious Engineer

All blogs / Lisp / Clojure / Scheme

The Axis of Eval

axisofeval.blogspot.com

Manuel Simoni's blog about programming (languages).

Lisp / Clojure / SchemeCompilersFunctional / PL theory

’10’15’20’25
Posts
300 from 19 Apr 2010 to 9 Nov 2024
Posting
now and then
Kind
personal blog
Feed
https://axisofeval.blogspot.com/feeds/posts/default

2024 3

  1. An alternative idea for a typed language living alongside/inside JavaScript
  2. Delimited Generators - A more natural API for JS generators
  3. Common Lisp's BLOCK / RETURN-FROM and UNWIND-PROTECT

2016 2

  1. Peeking into the future with RDP
  2. The worm is the spice

2015 4

  1. RESTful RDP with big values
  2. What I learned about Urbit so far
  3. A trivial implementation of Reactive Demand Programming
  4. Grokking Reactive Demand Programming

2014 2

  1. Attack of the Monadic Morons
  2. Obsession with mathematics

2013 8

  1. A week of Lisp in Madrid
  2. Wat: now in Perl, Python, and Ruby, too
  3. Green threads in the browser in 20 lines of Wat
  4. A new low in programming language design and implementation
  5. Some progress on the Wat VM
  6. A quasiquote I can understand
  7. Taf's translation to O'Caml for type-checking
  8. Current project

2012 85

  1. This PLT Life moved
  2. When I see three layers of weird DSLs for configuring a single app
  3. When everybody and their dog writes a poor OOP critique
  4. When I read a discussion about Scheme fundamentals on the RnRS editors list
  5. When the designers of a bad language decide to add a poorly-understood, "powerful" new feature
  6. When someone shows me their implementation of McCarthy's EVAL
  7. When I listen to someone who knows less about PLs than me
  8. When I hear of a LISP success in industry
  9. When somebody says "it's written in C, so it must be fast"
  10. When I'm beginning to study a new area of CS
  11. When I read a script kiddie's post about PL semantics
  12. When I hear your new PL doesn't have exceptions and requires manual error handling instead
  13. When I see a discussion about scope in CoffeeScript
  14. Having both fexprs and macros
  15. Mixing first-order and higher-order control
  16. Reactive Demand Programming
  17. Mozilla Memes
  18. Switching between TCO and non-TCO at runtime
  19. Delimited continuations do dynamic-wind
  20. Scheme's missing ingredient: first-class type tags
  21. When I'm trying to read an operational semantics
  22. Understanding metacontinuations for delimited control
  23. An alternative API for continuations
  24. Continuation marks
  25. When somebody uses the word 'natural'
  26. When I can no longer tell whether my implementation is faithful to the semantics or not
  27. When I read a blog post by Robert Harper
  28. When everybody hypes a language that I find crap
  29. When a new language doesn't get lexical scope right
  30. When I heard of Dart's type system
  31. When I hear they're adding features to C++
  32. When I finally grokked delimited continuations
  33. When it comes to my mind that the 1990s project of moving OSes to dynlangs failed and now we're all using Unix
  34. When I'm about to replace an important subsystem in my VM
  35. When somebody says 'but Clojure will bring more people to Lisp'
  36. When I see that Ruby's parser is 10,000 lines of C
  37. When somebody tries to explain JavaScript's prototype system
  38. When I see that a new language makes a difference between statements and expressions
  39. When I mention first-class environments and fexprs to an academic Schemer
  40. When I try to structure data in Scheme
  41. When a language designer talks about their ideas of improving the rules of lexical scope
  42. When a code base uses a directory structure deeper than one level
  43. When I read about Perl 6 semantics
  44. When I try to design an extension or alternative to S-expressions
  45. When I see that the designer of a new dynlang knows the CLHS and RnRS by heart
  46. When somebody asks me how I added a DSL to my Lisp program in 3 minutes
  47. When somebody says he doesn't like exceptions because he likes to handle errors where they appear
  48. What I've been reading
  49. PoshLusT
  50. [Meta] Comments widget
  51. Manuel, have you lost interest in Kernel?
  52. #interactiveprogramming IRC
  53. Back to the future
  54. Physical code
  55. The Supposed Primacy of Text
  56. Escape from the Tyranny of the Typewriter
  57. What is Lisp syntax, really, and the use-mention distinction
  58. [Meta] possibly lost comment
  59. Fear and Loathing at the Lisp Syntax-Semantics Interface
  60. Xonses progress report
  61. First-class patterns
  62. Xonses
  63. Programming and boringness
  64. Current status
  65. Current status
  66. Kernel Google Group
  67. [Scheme-reports] Just a load of.. well..
  68. Nuff said
  69. Call for use cases for Dart package system
  70. "should I really take the time to learn fexprs?"
  71. Current status
  72. "I want to understand vau"
  73. Why fexprs, part N, or lambda only the penultimate
  74. S, M, L
  75. This is your brain on CBPV
  76. Yet another Kernel interpreter
  77. Algebraic Data Types
  78. Fun with Kernel
  79. Why I find Dart's production mode evil
  80. Small data and humble sequentialism
  81. Type systems vs interactivity
  82. Restartable exceptions
  83. Ringing in the new programming year
  84. (winningp) => t
  85. Isn't goto evil?

2011 94

  1. PL Predictions for 2012
  2. Call-by-push-value
  3. Looking back at predictions for 2011
  4. what distinguishes a good program from a bad one
  5. Urls
  6. The extensible way of thinking
  7. Happy Birthday Go
  8. Is JavaScript a Lisp in disguise?
  9. Linkdump
  10. Open, extensible composition models
  11. They said it couldn’t be done, and he did it
  12. Toolstrapping is everywhere - can you see it?
  13. It's called programming
  14. How to beat the CAP theorem
  15. Programming Language Checklist
  16. Alan Kay on type systems
  17. Delimited continuations papers 2
  18. The Kernel Underground
  19. Syntax is a monad
  20. Oleg cat
  21. Mortal combat
  22. On macros
  23. I endorse this
  24. SRII 2011 - Keynote Talk by Alan Kay
  25. Zippers
  26. Totally awesome: FOSS Patents: Samsung cites "2001" movie as prior art against iPad patent
  27. Software is a branch of movies
  28. Praising Kernel
  29. Virtua subjotting
  30. The Virtua programming language
  31. Notes on delimited continuations
  32. A little Scheme interpreter
  33. Going co-nuclear
  34. Intellectual badass Sunday reading
  35. Linux kernel word cloud
  36. The meaning of forms in Lisp and Kernel
  37. The War Between Developers, Designers, & Project Managers
  38. Some history
  39. Some nice paperz on delimited continuations and first-class macros
  40. Everything you always wanted to know about JavaScript...
  41. On the absence of EVAL in ClojureScript
  42. Frankenprogramming
  43. Atwood's Law
  44. it is nice to have the power of all that useful but obsolete software out there
  45. PL nerds: learn cryptography instead
  46. State of Code interview
  47. John Shutt's blog
  48. David Barbour's soft realtime model
  49. Everything in JavaScript, JavaScript in Everything
  50. No No No No
  51. WADLER'S LAW OF LANGUAGE DESIGN
  52. Extreme software
  53. Ouch
  54. TermKit
  55. Secret toplevel
  56. The why of macros
  57. Hygiene in EdgeLisp
  58. Compiling, linking, and loading in EdgeLisp
  59. Land of Lisp - The Music Video!
  60. Unlimited number of runtimes
  61. on quotation
  62. A new Cambrian explosion
  63. R7RS discussion warming up
  64. Taylor Campbell's blag
  65. What's a condition system and why do you want one?
  66. Lisp hype danger
  67. Hypercode
  68. Original Dylan Manual
  69. EdgeLisp progress
  70. Truth IS stranger than fiction
  71. Duke's Law
  72. Syntax puns considered harmful (well, not really)
  73. Don't diss Java - Be Happy
  74. Computational Trinitarianism
  75. OOP, again and again and again
  76. That explains it
  77. Understanding Hygiene (part 2) -- SRFI 72
  78. Language design criticism = art criticism (?)
  79. Applied Types
  80. Emscripten
  81. Wittgenstein for programmers
  82. Browsers will let PLs break free from plain text
  83. Free as in Freedom
  84. Dear Lazyweb: RMS on namespace management
  85. The LISP עץ החיים
  86. Proglangs are machines, not media
  87. Maniacal, religious dedication to code beauty
  88. The dark, dark, dark art of unwinding the stack
  89. A Lisp slogan
  90. Curing PL Anxiety
  91. On Python and Ruby
  92. Why Lisp is a Big Hack (And Haskell is Doomed to Succeed)
  93. random notes
  94. More fully-featured, modern Lisps, pulleezz

2010 102

  1. Nice quotations
  2. PL Predictions for 2011
  3. Quick, what does this machine do?
  4. On Git
  5. HTTP request visualization
  6. objectophilia alert!
  7. User space? Almost certainly not.
  8. Ghosts of Unix Past
  9. Nulla Salus Extra Ecclesiam
  10. Wow
  11. Systems programmers relax, most advice isn't for you
  12. That looks like one fine book
  13. Numbers Everybody Should Know
  14. Foundations for Structured Programming with GADTs
  15. Boltzmann Samplers for the Random Generation of Combinatorial Structures
  16. Why are objects so unintuitive
  17. Dependent types linkdump
  18. Concurrency as Basis for Scalable Parallelism
  19. Notes on Dependent Types
  20. Keeping up with the GNUses
  21. Split stacks!
  22. al-Khwārizmī
  23. Program Your Size
  24. Linus on transactional memory
  25. The ghosts of blog posts past
  26. The far side of the lambda cube
  27. Higher kinds are sexier
  28. Formalizing generics
  29. Minimal generics for an untyped language
  30. Fast dynamic casting
  31. Programmer feel-good quote
  32. The three great virtues of programming language designers
  33. The many forms of polymorphism
  34. I, for one, welcome our new, optically-interconnected blade overlords
  35. From Choosing VMs to Feng Shui for HCI
  36. No more "minimal early Lisps", pulleezz
  37. Dalvik DEX
  38. The 2010 Linux Storage and Filesystem Summit
  39. Meta: Blogging is difficult
  40. No Paranoia Rule
  41. You know you're reading LtU when...
  42. Three Principles of Lisp
  43. So true
  44. Concurrency's Shysters
  45. Happenings in GCC-land
  46. Efficient Method Dispatch in PCL
  47. Piet
  48. Proof that parsing is evil
  49. This is getting silly
  50. On Understanding Types, Data Abstraction, and Polymorphism
  51. What's phase separation and when do you want it? (Part 1)
  52. semantic, adj.
  53. I, for one, welcome our new app-inventing grandchildren of Interlisp overlords
  54. Optimism
  55. (no longer a) PSA
  56. Using multiple kinds of parentheses in Lisp considered silly
  57. C# 4.0: The industrial response to Lisp?
  58. Manifesto on JAR's Next Language
  59. Weekly notes
  60. Programmer Proverb
  61. Compile-Time Resolution
  62. What Makes Lisp Great
  63. Quo Vadis, Cons?
  64. Refining Syntactic Sugar
  65. A Theory of Typed Hygienic Macros
  66. Letter to a Young PL Enthusiast
  67. It's a VM world, or is it?
  68. Some more notes on Newspeak
  69. Newspeak: A Principled Dynamic Language?
  70. Get the Parallelism out of My Cloud
  71. The Republic of Perl
  72. Frank A. is back?!
  73. REST & the next Emacs
  74. The Unbearable Simplicity of C
  75. The Quotable Linus Torvalds
  76. Term rewriting ftw!
  77. Geeks crazed over news that LLVM's Clang will be a compiler
  78. What's that ATS thing?
  79. Dynlang Wizards Series
  80. Java's hot new syntax for closures
  81. The Resurgence of Parallelism
  82. Type Constructor Polymorphism
  83. Revisiting Multimethod Dispatch
  84. Type systems for dynamic languages
  85. Typeful Dynamic Programming, or, Java/C# Generics and what does F-bounded polymorphism have to do with it?
  86. Note to you
  87. The Lisp Ethos of Total Dynamicity
  88. Concurrency FUD
  89. No New Ideas, Please
  90. Ell Kernel Language
  91. My Next Lisp
  92. Next Lisps
  93. Doing the Right Thing
  94. Understanding Hygiene (part 1)
  95. Dylan and the Lisp family tree's central branch
  96. Forms
  97. LISP (de)Motivator
  98. Code is (more than) data
  99. Why I ignore Clojure
  100. Mr. Pestov @ Third World Languages Camp
  101. That Ragged Old Lisp
  102. First post!