Live data from Hacker News

The Borgo Programming Language

borgo-lang.github.io

11–20 of 204 posts

Re: The Borgo Programming Language

#12
post #6

I love it. This is a language that everyone here says they want but no one will use, even though it's stable and mature (I assume because it compiles to stable and mature Go and can use every existing Go library). It hits all the "ok, Go is popular but made by morons for morons and if only it had this X advanced feature, it would be totally great". It has immutability. It has advanced enums. It has algebraic types. I…

> made by morons for morons

The creators of Go have also built the foundation of everything you take for granted. The real "harsh truth" here, of course, is that the Go team exhibits engineering genius, taste, and particularity that is rare to find in our industry, such that the likes of Rust "death by committee" people may only dream of. The long-lasting obsession that Rust people have with Go and the Go team has become a meme.

Borgo is the recognition of that: a handout to Rust people that they will never appreciate.

Re: The Borgo Programming Language

#13
There are some interesting design ideas, but I'm not sure where the project is going. Based on the commit history, it was created by one person and there has been almost no activity in the last 12 months.

The current status is unclear (is anyone willing to use it in production) and the lack of license is of course a concern.

Re: The Borgo Programming Language

#15
post #6

I love it. This is a language that everyone here says they want but no one will use, even though it's stable and mature (I assume because it compiles to stable and mature Go and can use every existing Go library). It hits all the "ok, Go is popular but made by morons for morons and if only it had this X advanced feature, it would be totally great". It has immutability. It has advanced enums. It has algebraic types. I…

I do agree with you to a degree, but let's not forget the monumental successes that are TypeScript and Kotlin.

There have been lots of such languages that transpiled to JavaScript or worked on the JVM, adding nicer syntax and features. Many of them went nowhere, but quite a few of them did get widely adopted. Off the top of my head, CoffeeScript was also relatively popular for a while, and Clojure builds on top of both ecosystems, Scala comes to mind too.

Go might be in a similar situation right now, where it has become entrenched in certain domains (like DevOps), and lots of people are not entirely satisfied with it but they can't to switch to something else. Is Go getting a similarly bad reputation as JavaScript or Java to push this through? Is the lock-in as strong as in browsers or Android? No, I wouldn't say it's there yet, but still, it is worth a shot to try to build such an alternative language.

I do agree that Borgo will probably not be adopted widely, the pains it addresses are not strong enough and the language does not seem to be properly maintained and supported. But history shows it is not as unlikely as you suggest.

Re: The Borgo Programming Language

#17
post #14
post #11

Note that the compiler is not open source. https://github.com/borgo-lang/borgo/issues/11

Even worse than that, it has no license at all. It cannot legally be used.

> It cannot legally be used.

Not true at all.

If you create and/or upload a repository to GitHub, you're giving others the permission to see and fork it. From the "Licensing a repository":

> If you publish your source code in a public repository on GitHub, according to the [Terms of Service](https://docs.github.com/en/site-policy/github-terms/github-t...), other users of GitHub.com have the right to view and fork your repository.

https://docs.github.com/en/repositories/managing-your-reposi...

Re: The Borgo Programming Language

#18
post #5

That's very close to what I want, I wonder if we'd ever have customization for programming languages on the client side but when pushing to git it would get transpiled to the most common subset. A small change I would have loved at first glance would be the double colons (::) for namespace path along with explicit extraction and pub for public types.

> when pushing to git it would get transpiled to the most common subset.

That would mean pulling from git would get you code that’s harder to read than what you pushed (if that’s not the case, you wouldn’t have used that transpiler)

There also isn’t agreement on the common subset.

For example, scala has lazy sequences, Rust wants programmers to have control over memory deallocation, go (sort-of) requires threads to have small stacks, Swift has copy-on-write collections, python’s numbers automatically become bignums, many languages really need efficient boxing to have efficient implementations, etc.

Strip all that, and you end up with WASM (or, possibly, even something even smaller), and various language ecosystems would build libraries on top of that that are incompatible with each other (possibly sometimes in non-obvious ways, leading to hard to detect bugs)

Re: The Borgo Programming Language

#19
post #17
post #14

Earlier quoted context omitted.

Even worse than that, it has no license at all. It cannot legally be used.

> It cannot legally be used. Not true at all. If you create and/or upload a repository to GitHub, you're giving others the permission to see and fork it. From the "Licensing a repository": > If you publish your source code in a public repository on GitHub, according to the [Terms of Service]( https://docs.github.com/en/site-policy/github-terms/github-t... ), other users of GitHub.com have the right to view and fork y…

Corrections welcome, but I don’t think the right to view and fork code gives you the right to run it.

Also, GitHub’s terms say:

“If you set your pages and repositories to be viewed publicly, you grant each User of GitHub a nonexclusive, worldwide license to use, display, and perform Your Content through the GitHub Service and to reproduce Your Content solely on GitHub as permitted through GitHub's functionality (for example, through forking). You may grant further rights if you adopt a license.”

Part of that reads as if you are only allowed to fork it into other GitHub repos.

Whether copying to your local machine or running are allowed will depend on what “use through the GitHub Service” and “perform through the GitHub Service” mean.

Re: The Borgo Programming Language

#20
post #17
post #14

Earlier quoted context omitted.

Even worse than that, it has no license at all. It cannot legally be used.

> It cannot legally be used. Not true at all. If you create and/or upload a repository to GitHub, you're giving others the permission to see and fork it. From the "Licensing a repository": > If you publish your source code in a public repository on GitHub, according to the [Terms of Service]( https://docs.github.com/en/site-policy/github-terms/github-t... ), other users of GitHub.com have the right to view and fork y…

Yeah, but "view and fork" does not imply "compile and run", unfortunately.
Post reply on HN