nballerina
dark
nballerina | dark | |
---|---|---|
15 | 43 | |
142 | 1,601 | |
0.0% | 0.7% | |
7.6 | 9.9 | |
5 months ago | 7 days ago | |
Ballerina | F# | |
Apache License 2.0 | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
nballerina
- DBOS Operating System
- The Ballerina programming language
-
Show HN: Winglang – a new Cloud-Oriented programming language
oh boy -- lot's of work ahead for you folks, best of luck! I'll be watching this project. We do a ton with GCP so when this matures we'll be looking at it more.
How do you compete with -- if at all -- with Ballerina lang? https://ballerina.io/
-
crafting interpreters or engineering a compiler?
PS: This advice stems from my personal experience while building BallerinaLang. We spent the first two to three years working with our own bytecode interpreter before we transitioned to JVM bytecode. Our LLVM backend is still under development and has a long way to go.
-
Is there a programming language that will blow my mind?
Considering your rich background in C++ and Haskell, along with your interest in functional programming paradigms, I wouldn't necessarily predict that Ballerina will "blow your mind." However, you might find certain familiar syntax while encountering numerous "why?" questions.
-
Cloud, Why So Difficult?
Ballerina actually showed some innovative ways to do it and is an interesting language to keep an eye on... finally, Unison decided to focus on its cloud offering and seamless distributed functional programming. Also a really cool language.
-
What are some new/up and coming programming languages? Where did you find them?
Last week I found Ballerina (https://ballerina.io/) via a comment here on HN, which got me thinking that I've gotten a bit out of touch with newer/up and coming languages in development. My guess is that, if I missed Ballerina before a week ago, I've probably missed quite a bit more.
What have I missed? And it would be cool to see where people are finding these types of things too.
- Ballerina Language
-
Are there any languages with transactions as a first-class concept?
https://ballerina.io/ and https://www.asyncapi.com/ seem like two efforts to move in this direction a bit for web APIs.
-
Wing: A cloud-oriented programming language
Reminds me of https://ballerina.io/
... which looks actually pretty nice, but I suspect the name of the project is a terrible marketing decision that will hold adoption back ¯\_(ツ)_/¯
dark
- Darklang
-
WASM_of_OCaml
Yes. Darklang was originally in OCaml using js_of_ocaml, and we ported it to F# using Blazor (https://github.com/darklang/dark/tree/main/backend/src/Wasm). It works.
We found that in dotnet 6, the code was much slower, with long startup times and a much bigger download, than in js_of_ocaml. It also had a lot of issues in running in a Webworker, which wasn't the case for js_of_ocaml.
In dotnet 7, the webworker issues are better and AOT is easier, so startup is faster. Download sizes are still bad, and it's still slower than js_of_ocaml.
However, dotnet allows almost any code to run in WASM, which js_of_ocaml had large limitations. This meant a decent chunk of functionality had to be worked around to make separate js vs native targets, which also was a massive pain and took a long time. Dune's virtual targets wasn't ready at the time - I think we were one of the test cases for it.
-
It's so unfortunate they decided to go with the Clojure/Haskell type syntax, as opposed to something friendlier like Elixir. A lot of people will not even try this language as a result. [Unison]
Why should I use this instead of https://darklang.com/
-
Cloud, Why So Difficult?
First it was probably Dark. They made a lot of noise some years ago, but then I never heard of them again (looking at their current website, looks like they moved on to AI now, obviously).
-
New open-source programming language for DevOps engineers by the creator of the CDK
Reminds me of Darklang. Personally, I don't think vendoring cloud services into a language is going to be beneficial. I'm curious how the language deals with vendor updates. Do I have to upgrade the language then? If so, I see a lot conflicts coming from this. Then it comes down to Javascript or HCL, the HCL bit makes me think that the below statement is not as truthy as it is on the surface:
-
Darklang Release 9
We still don't have all that many users (~100 active), so I'm not sure you'll find an answer here. But we collect that sort of feedback publicly, which might answer your question: https://github.com/darklang/dark/discussions/categories/feed...
-
Making Something Waspy: A Review Of Wasp
I wish I could remember what took me to YCombinator's website on the 10th of October, 2022. That was when I first heard about Wasp and another language called DarkLang. After I learned about Wasp, I was intrigued and curious to know how it works, which led me to join the discord server the next day.
-
Using Rust at a Startup: A Cautionary Tale
Some languages that try to integrate an HTTP server and a database:
Ur/Web: http://impredicative.com/ur/
Dark (Darklang): https://darklang.com/
-
The Current State of Infrastructure From Code
There are others in this space I did not assess like Encore, Shuttle, Modal, and Dark. These were not assessed for the sake of time. If you're interested in IfC, I encourage you to take a look at these others.
-
Finally, we have support for negative numbers!
Oh, finally! I was waiting to build my serverless CRUD webapp in Dark (OCaml + JavaScript and Fsharp?) until they had support for returning negative numbers on a GET request!
What are some alternatives?
wing - A programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡
nvim-ts-rainbow - Rainbow parentheses for neovim using tree-sitter. Use https://sr.ht/~p00f/nvim-ts-rainbow instead
plantuml - Generate diagrams from textual description
Bracket-Pair-Colorizer-2 - Bracket Colorizer Extension for VSCode
inpla - Inpla: Interaction nets as a programming language (the current version)
unison - A friendly programming language from the future
i-use-arch-btw - "I use Arch btw" but it's a Turing-complete programming language.
nanos - A kernel designed to run one and only one application in a virtualized environment
io - Io programming language. Inspired by Self, Smalltalk and LISP.
liquibase - Main Liquibase Source
SSVM - WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices, smart contracts, and IoT devices.
terraform-cdk - Define infrastructure resources using programming constructs and provision them using HashiCorp Terraform