Live data from Hacker News

Borgo is a statically typed language that compiles to Go

github.com

31–40 of 559 posts

Re: Borgo is a statically typed language that compiles to Go

#31

The only language I can think of that has pulled off “compiles to another totaling language” and gained mainstream adoption is typescript, and I’m sure it wouldn’t have done so if it were possible to run in the browser otherwise. Can anyone think of another example?

C++ used to compile to C.

Re: Borgo is a statically typed language that compiles to Go

#32

The only language I can think of that has pulled off “compiles to another totaling language” and gained mainstream adoption is typescript, and I’m sure it wouldn’t have done so if it were possible to run in the browser otherwise. Can anyone think of another example?

Elixir compiles to Erlang, I think.

Correct Elixir runs on the BEAN.

Re: Borgo is a statically typed language that compiles to Go

#34

The only language I can think of that has pulled off “compiles to another totaling language” and gained mainstream adoption is typescript, and I’m sure it wouldn’t have done so if it were possible to run in the browser otherwise. Can anyone think of another example?

CoffeeScript was pretty popular about 10 years ago and did this.

Re: Borgo is a statically typed language that compiles to Go

#35

The only language I can think of that has pulled off “compiles to another totaling language” and gained mainstream adoption is typescript, and I’m sure it wouldn’t have done so if it were possible to run in the browser otherwise. Can anyone think of another example?

Elixir compiles to Erlang, I think.

Not exactly correct, it does have "core erlang" as a compilation step, but they both have that as a compilation step ultimately compiling to beam bytecode.

Re: Borgo is a statically typed language that compiles to Go

#38
post #7

Why would you target Go?

it's literally the 2nd sentence of README: "It's fully compatible with existing Go packages." It's a nice way to bootstrap ecosystem IMHO. No one wants to use a brand-new language without library support for common tasks.

It doesn't make sense that that is the reason. Surely C++ has way more packages. So Go would be a bad choice if package availability was a very important concern.

Re: Borgo is a statically typed language that compiles to Go

#39
post #25

Earlier quoted context omitted.

This is a terrible take. It's like one of those people who buys a massive over priced knife block with 48 knives in it that they never use. Most go devs have lived through bloated java/php/python/ruby/js projects that become a pile of dependencies. Go is to coding what brutalism is to architecture. Simple, functional, efficient. Dont build a massive dependency chain, dont build magic, repeating yourself is OK. Be an…

I don’t think any of that is contradicted by what this seems to be trying to do. In fact, Go doesn’t make you deal with your errors (you’re free to ignore the returns) whereas this would (via exhaustive pattern match).

> In fact, Go doesn’t make you deal with your errors

Your right, it does not. I will _ =: an error in a throw away script all the time.

I see that in a code review, in production code... Big red flag. This is a departure from an exception, that might be thrown in one place and handled far far away from the code you're looking at.

Re: Borgo is a statically typed language that compiles to Go

#40
Wow, this is everything I want from a new Go!

Having worked on multiple very large Go codebases with many engineers, the lack of actual enums and a built-in optional type instead of nil drive me crazy.

I think I'm in love.

Edit: Looks like last commit was 7 months ago. Was this abandoned, or considered feature complete? I hope it's not abandoned!

Post reply on HN