Live data from Hacker News

Show HN: Wyzer Programming Language

github.com

11–20 of 116 posts

Re: Show HN: Wyzer Programming Language

#11

docs.wyzer-lang.org doesn't resolve for me, and it's prominently linked from https://wyzer-lang.vercel.app/ . Since I'm not familiar with wyzer or perceus, how would one write, say, a doubly linked list in wyzer?

docs are under development, you can check them out soon :)

Re: Show HN: Wyzer Programming Language

#12
post #4

Your README and docs don’t describe any of the interesting or unique things here. You cover `if` in README but not choreographic programming or perceus. Did i miss some big link? Where’s the cool stuff?

you did read RESEARCH.md didn't you? :)

i poked around in there, under choreographic programming there’s one example of something not in the language as a discarded idea.

if you claim X and Y make us cool and different, then you should document X and Y in your readme. don’t tell me something is the star, and then hide it away. this is baffling to me.

Re: Show HN: Wyzer Programming Language

#13

docs.wyzer-lang.org doesn't resolve for me, and it's prominently linked from https://wyzer-lang.vercel.app/ . Since I'm not familiar with wyzer or perceus, how would one write, say, a doubly linked list in wyzer?

docs are under development, you can check them out soon :)

maybe wait until you have something to share before Show HN? overall your work seems like a cool thing that i’d like to look at in a few months once there’s more substantial education stuff to read about it.

Re: Show HN: Wyzer Programming Language

#14
One thing I don’t understand is how you can guarantee the lack of a distributed deadlock. I’m sure it’s covered in the underlying research, but just conceptually it’s hard to picture.

What stops a choreography where Claire send a message to Bob but Bob is waiting for Alice and Alice is waiting for Claire?

Is it like Rust memory safety where not all valid programs are accepted but all invalid programs are rejected?

I think some examples of the distributed code in action on a trivial and non trivial distributed example is more compelling than a 3d donut render

Re: Show HN: Wyzer Programming Language

#15
post #4

Your README and docs don’t describe any of the interesting or unique things here. You cover `if` in README but not choreographic programming or perceus. Did i miss some big link? Where’s the cool stuff?

you did read RESEARCH.md didn't you? :)

GitHub hides RESEARCH.md for my convenience. I have to click "Show All Files" to see that it even exists.

Re: Show HN: Wyzer Programming Language

#16
I saw this medium post from you https://medium.com/@atixwasfound/how-i-began-writing-my-own-...

In there it says you started this journey when you were 8 years old and that you are a 14 year old programmer

I'm not sure how I feel about this to be honest, I need to process that.

Re: Show HN: Wyzer Programming Language

#18
Very interesting. Maybe this would benefit from concrete examples, of things that are difficult or impossible in other languages, but well supported in Wyzer? I see there's a few high level examples, but I'm thinking concrete scenarios with code snippets might be helpful.

Re: Show HN: Wyzer Programming Language

#19

I saw this medium post from you https://medium.com/@atixwasfound/how-i-began-writing-my-own-... In there it says you started this journey when you were 8 years old and that you are a 14 year old programmer I'm not sure how I feel about this to be honest, I need to process that.

time flies :) the grass was greener before though and i miss that!

Re: Show HN: Wyzer Programming Language

#20

docs.wyzer-lang.org doesn't resolve for me, and it's prominently linked from https://wyzer-lang.vercel.app/ . Since I'm not familiar with wyzer or perceus, how would one write, say, a doubly linked list in wyzer?

docs are under development, you can check them out soon :)

Great. I'm also writing a new language with the same memory management idea (Perceus-style reference counting / ownership). My language [1] is not functional and currently lacks multi-threading and networking, so there are big differences. But I really like the moto "easy to use memory safety without tracing GC".

[1] https://github.com/thomasmueller/bau-lang/tree/main

Post reply on HN