keithasaurus

5 ms·

1.
by keithasaurus 1mo ago
Blorp. https://blorp-lang.org It takes inspiration from Python, Rust, Go, and functional programming. It's oriented toward readability, safety, and speed. I'm finishing up the journey of completely self-hosting. Then I
2.
by keithasaurus 2mo ago
https://blorp-lang.org Taking a bit of a detour with self-hosting the language, now that the syntactic surface, standard library, and initial dependency strategy are on a decent footing. With any luck, by the end of the week, I&
3.
by keithasaurus 4mo ago
The memory management model is automatic reference counting, with some optimizations, such as perseus for compile time reference counting where possible, and copy-on-write at runtime.
4.
by keithasaurus 4mo ago
I'm the creator of Blorp -- this made me chuckle a bit. I hadn't even considered that possibility.
5.
by keithasaurus 4mo ago
Yes, it's python-inspired. Some notable differences are: - no return keyword - match/if are expressions - it's functional - =? is used for early returns or binding, depending on the variant of an Option or Result that is retu
6.
by keithasaurus 4mo ago
Yeah, this is the idea. This chaining is exactly the same as the pipeline operator in some some function languages, except that it hopefully reads in a more familiar way to programmers of non-functional languages.
7.
by keithasaurus 4mo ago
Yes, blorp does that. And it also allows local mutation and loops inside pure functions, so performance doesn't need to be left on the table in most cases.
8.
by keithasaurus 4mo ago
Hi, maintanier of blorp here. I think you mean that [1,2,3].map(func(x): x *2).filter(func(x): x > 5) would iterate twice, correct? Under the hood blorp optimizes that away for the functions we can. It constructs a loop and combines log
9.
by keithasaurus 4mo ago
Hey - I'm the creator of Blorp, and like a lot of the ideas you have in Roc! Did you consider having opt-in purity? Or some other means of conveying impurity other than "!"?
10.
by keithasaurus 4mo ago
It's called blorp because it's the name of a stegosaurus my kids and I made up.
11.
by keithasaurus 4mo ago
Hey... I'm the maintainer and had no idea this was posted. The reason pure is required is because it's clear and opt-in. There's a CLI subcommand called purify that will help identify pure functions that haven't been dee
12.
by keithasaurus 4mo ago
Still incomplete there. But yeah performance should be decent. Not aiming for parity either rust or go entirely but in the same ball park is the expectation.
13.
by keithasaurus 4mo ago
Yeah, no shared mutable memory; coordination is done via channels.
14.
by keithasaurus 4mo ago
How is compiling to zig? I considered doing it but chose C instead because of how much zig is still changing. I've considered using it's C compiler for targeting multiple platforms locally.
15.
by keithasaurus 4mo ago
No, blorp doesn't use affine types (one or zero uses). In blorp, ownership is not explicitly controlled by users at all, so it's opaque. Under the hood, it's perceus for compile-time ownership and borrowing and automatic refe
16.
by keithasaurus 4mo ago
I have some similar goals. Have you considered leaning more into inference than gradual typing? One pattern I like is allowing the compiler to develop a more complex mental model, but keeping it straightforward for users -- you can do that
17.
by keithasaurus 4mo ago
Yeah, concurrency in blorp doesn't allow shared mutable references, so deadlocks aren't really a concern. Otherwise it's meant to be simple-ish -- virtual threads, channels, no async/await. Pure functions allow safe para
18.
by keithasaurus 4mo ago
Working on something kinda similar. No GC, Python feel, managed memory, performance approaching C. It's here: https://blorp-lang.org if you want to compare approaches.
19.
by keithasaurus 1y ago
It's not the core of koda-validate, and yeah lots of libraries have a similar capacity. Feedback I'd be interested in is if there are gaps. In general the value prop of koda-validate is that it turns validation into typesafe buil
20.
by keithasaurus 1y ago
Updating my validation library for python, koda-validate ( https://github.com/keithasaurus/koda-validate ). Focusing on ergonomics improvements. Just released an improvement to the __repr__ for Invalid types. Potentially
21.
by keithasaurus 1y ago
could java please also learn that stand-alone functions are cleaner than static methods? even if it's just syntax sugar...
22.
Ask HN: What makes a programming language great for code generation?
3 points by keithasaurus 1y ago|3 comments
23.
by keithasaurus 1y ago
For me the variation is one of the places where dynamic typing gets really dangerous, because as variations increase, the requirement for code archaeology does as well. At some point there is enough variation that nobody could reasonably be
24.
by keithasaurus 1y ago
static types: here's what this piece of data is dynamic types: go look through code, tests, comments and project history to try figure out what this data is supposed to be dynamic types are exhausting
25.
by keithasaurus 2y ago
There's a bunch of these kinds of html renderers. Here's mine: https://pypi.org/project/simple-html/ But there are many others. Not sure I understand the point of async rendering, unless you want to mix
26.
by keithasaurus 2y ago
I learned about Leonard Cohen by watching the movie McCabe and Mrs Miller. Recommended.
27.
by keithasaurus 2y ago
Don't remember that -- not even sure at the time I would have realized it was a business? I can imagine some version of that taking off in the mid 90s. Would've beat Descent on my Pentium.
28.
by keithasaurus 2y ago
Wild to see a Jackson Crossing reference on Hacker News. Haven't been there since around the time you would've had your business, but I don't think I remember an arcade like that. What was it called?
29.
by keithasaurus 3y ago
mypy is essentially the reference implementation. pyright probably is better as a type checker, but, for the referential aspect alone, I suspect many libraries will continue targeting mypy. One potential benefit of mypy is that it comes wit
30.
by keithasaurus 3y ago
A few quick suggestions about the landing page: - less text - more spacing in your text - try not to let your text span the entire width of the window

More ›