miniblog.

← Back to all posts
May 10, 2026 at 17:13
2
I've been iterating further on how Garden shows type errors. For types in the standard library, I'm now showing "a String" but "an Int". I'm also doing basic syntax highlighting of the code excerpt. What do you think?

Related Posts

May 27, 2026 at 21:28
25
I'm writing a Path type in my programming language but not sure what methods belong on a Path. Should I have some_path.read_string() or fs::read_string(some_path) instead? I love .method() for IDE completion, but I don't want Path to be cluttered. I'm also trying to avoid UFCS.
May 12, 2026 at 15:56
2
What's the best string representation of a function? Comparing with other PLs: Python: <function __main__.add_one()> JS: [Function: addOne] Clojure: #function[user/add-one] Scheme: #<procedure add-one (x)> I'm currently thinking about <fun add_one() foo.gdn:123>
May 10, 2026 at 10:21
2
What types should you infer when code is invalid? In Garden, + only applies to integers. What should the type of "x" + "y" be? (1) Int: This produces cascading errors. (2) String: We've already emitted an error anyway. (3) Bottom. Opinions?