Live data from Hacker News

Show HN: Winglang – A new cloud-oriented programming language

github.com

11–20 of 72 posts

Re: Show HN: Winglang – A new cloud-oriented programming language

#11

I looked through the docs and I don't see any async methods, is that built into inflight like this code snippet I found? queue.setConsumer(inflight (body: str): str => { let next = counter.inc(); let key = "myfile-{next}.txt"; bucket.put(key, body); });

Yap, all inflight code is async by default.

Re: Show HN: Winglang – A new cloud-oriented programming language

#12
post #5
post #4

Can you explain the idea behind a cloud-oriented programming language? How does it works?

I'm not affiliated, but I'd guess that things like "object storage" are a first class citizen, similar to a "string" or "float" in other languages.

Hey, I'm on the Wing team, yes you are correct, cloud services, like object storage, are indeed first class citizens and you can use them as naturally in Wing as you would use basic data structures or OS services in traditional languages. The idea behind Wing is that the cloud is the computer that it targets. By having a compiler that sees the entire application, including infra and runtime code, we are able to delegate cloud mechanics (IAM policies, network topologies, etc.) to it instead of leaving these details for developers to take care of and reduce their velocity.

Re: Show HN: Winglang – A new cloud-oriented programming language

#13

I looked through the docs and I don't see any async methods, is that built into inflight like this code snippet I found? queue.setConsumer(inflight (body: str): str => { let next = counter.inc(); let key = "myfile-{next}.txt"; bucket.put(key, body); });

Yap, all inflight code is async by default.

Ok, thanks for clarifying. That is pretty slick

Re: Show HN: Winglang – A new cloud-oriented programming language

#14
post #9

Very cool! What's the difference between WinLang and Serverless?

The way I read it is that Winglang combines your IaC and your runtime logic/code. In theory it's pretty neat, I haven't given it a serious try though. I'm not totally convinced that I want my infrastructure definition intermingled with my business logic though.

Hey, I'm part of the Wing team, I see where you're coming from regarding intermingling business logic with infra definitions. If it makes sense, these infra definitions are the functional part of the infrastructure (declaring that you want a bucket and pre-populating it with objects during deployment for instance). The non-functional parts (encryption, redundancy, others) can be taken care of separately on the platform side

Re: Show HN: Winglang – A new cloud-oriented programming language

#15

Very cool! What's the difference between WinLang and Serverless?

Hey, I'm part of the Wing team, Winglang is a general purpose programming language, not a framework, so there are less limitations on how far it can take the development experience. It let's developers work at a higher level of abstraction, is fully extensible and is cloud and provisioning engine agnostic. It comes with a local cloud simulator, allowing you to get instant feedback and enjoy very short iteration cycles. It also comes with a visualisation console to interact with the local app and debug and test it.

Re: Show HN: Winglang – A new cloud-oriented programming language

#16

> infrastructure and runtime code in one language This is fertile ground for new languages, apparently they call this the "Construct Programming Model" but there appears to be no meat to the theory. If programming language theory was leveraged properly I think they'd really be on to something. See the success of Rust for example. I just did some cursory research and came across a paper on "ABS: A high-level modeling…

Hey, I'm part of the Wing team, funny you mention the construct programming model as it comes from the CDK, which is Elad's (Wing's creator) previous project. Wing is also built around this concept.

I will read the article you mentioned, sounds interesting

Re: Show HN: Winglang – A new cloud-oriented programming language

#18
Look interesting but my first thought is I don't see any error case code.

Given this language is really about abstracting network calls to external services as objects/methods wouldn't it make sense to have return values be maybes and then be able to pattern match on that given that these are not local calls and networks/services do fail?

My guess is an actor pattern where you are sending messages to these services and waiting for responses instead of faking a local call would surface the error conditions in a much cleaner way, ala Erlang or Elixir.

This may be helpful: https://www.joelonsoftware.com/2002/11/11/the-law-of-leaky-a...

Re: Show HN: Winglang – A new cloud-oriented programming language

#19
It's a coincidence I just went through the getting started guide yesterday. It would be nice to have a two-way sync between the simulator diagram and the generated code. I'm also curious how Winglang handles existing infrastructure and what it looks like to introduce Winglang to a project that already uses CF or TF.

I've used CF, and TF and was an early adopter of CDK. I'm curious how this compares with Pulumi (never tried it). I liked the idea behind CDK but was shy about going all in because it was AWS-specific. Looks like this is the natural progression.

Post reply on HN