U
Languages and libraries
programming language
SHOW HN2025
1points
7comments
#3,767of 3,837 in 2025
Top 99%of 2025 by points
How HN took it
QuietFewer than 5 comments about the project
0 positive, 0 neutral or asking, 0 mixed, 3 critical, out of 3 comments about the project.
Design: 0 for, 2 againstDocs: 0 for, 1 against
The thread, comment by comment
Each row is a top-level comment and its replies, in HN's order. Select a cell to open that comment on HN.
positive neutral or mixed critical about another commenter or something else the maker
What HN said
Objections
Syntax and examples are hard to read and confusing
From 2 comments
How about an example that is actually readable and easy to follow?
CureYooz on HN``` f addAndSubtract(first:I, second:I) addAndSubtract => (first + second, first - second) sumResult:I; diffResult:I [sumResult, diffResult] := addAndSubtract(10, 3) ``` Weird…
Someone on HN
Type modifiers like :I-R and +R are unclear
From 2 comments
``` f addAndSubtract(first:I, second:I) addAndSubtract => (first + second, first - second) sumResult:I; diffResult:I [sumResult, diffResult] := addAndSubtract(10, 3) ``` Weird…
Someone on HN> +R means "remote" or "retained", i.e. the variable doesn't live on the stack I think that’s a bad name. Both “remote” (https://en.wikipedia.org/wiki/Remote_procedure_call) and…
Someone on HN
Term 'remote' or 'retained' clashes with existing programming terms
From 1 comment
> +R means "remote" or "retained", i.e. the variable doesn't live on the stack I think that’s a bad name. Both “remote” (https://en.wikipedia.org/wiki/Remote_procedure_call) and…
Someone on HN
Requests
Clearer, readable example code
From 1 comment
How about an example that is actually readable and easy to follow?
CureYooz on HN
Better naming for the +R modifier, such as reference
From 1 comment
> +R means "remote" or "retained", i.e. the variable doesn't live on the stack I think that’s a bad name. Both “remote” (https://en.wikipedia.org/wiki/Remote_procedure_call) and…
Someone on HN
Questions
What does the :I-R type modifier mean
From 1 comment
``` f addAndSubtract(first:I, second:I) addAndSubtract => (first + second, first - second) sumResult:I; diffResult:I [sumResult, diffResult] := addAndSubtract(10, 3) ``` Weird…
Someone on HN
Alternatives named
Rust
From 1 comment
Yeah, I shouldn't have used ChatGPT to create the example I posted. It still messes up (since it wasn't trained on the language at all, of course). I will fix up the examples,…
EGreg on HN