Comments on: Go http://www.airs.com/blog/archives/273 Ian Lance Taylor Fri, 03 Sep 2010 00:33:37 +0000 hourly 1 http://wordpress.org/?v=3.0.1 By: Ian Lance Taylor http://www.airs.com/blog/archives/273/comment-page-1#comment-18181 Ian Lance Taylor Tue, 17 Nov 2009 00:15:39 +0000 http://www.airs.com/blog/?p=273#comment-18181 It's entirely likely that Thompson or Pike would recognize it. I only said that I didn't. It’s entirely likely that Thompson or Pike would recognize it. I only said that I didn’t.

]]> By: uriel http://www.airs.com/blog/archives/273/comment-page-1#comment-18180 uriel Mon, 16 Nov 2009 23:44:09 +0000 http://www.airs.com/blog/?p=273#comment-18180 @jldugger Spin is included in the standard Plan 9 distribution, and I think some of its developers have worked on Plan 9, also I know for certain that Russ Cox used it to check some of his Plan 9 work (IIRC it was the APE select() implementation), and I'm quite sure Rob is familiar with it. So I would think that they more than recognize it, but are actually quite familiar with it. @jldugger Spin is included in the standard Plan 9 distribution, and I think some of its developers have worked on Plan 9, also I know for certain that Russ Cox used it to check some of his Plan 9 work (IIRC it was the APE select() implementation), and I’m quite sure Rob is familiar with it.

So I would think that they more than recognize it, but are actually quite familiar with it.

]]> By: jldugger http://www.airs.com/blog/archives/273/comment-page-1#comment-18179 jldugger Mon, 16 Nov 2009 21:01:22 +0000 http://www.airs.com/blog/?p=273#comment-18179 Promela is the language used for <a href="" rel="nofollow">SPIN</a>: "Spin is a popular open-source software tool, used by thousands of people worldwide, that can be used for the formal verification of distributed software systems. The tool was developed at Bell Labs in the original Unix group of the Computing Sciences Research Center, starting in 1980." You would think Thompson or Pike would recognize it... Promela is the language used for SPIN:
“Spin is a popular open-source software tool, used by thousands of people worldwide, that can be used for the formal verification of distributed software systems. The tool was developed at Bell Labs in the original Unix group of the Computing Sciences Research Center, starting in 1980.”

You would think Thompson or Pike would recognize it…

]]> By: Ian Lance Taylor http://www.airs.com/blog/archives/273/comment-page-1#comment-18178 Ian Lance Taylor Mon, 16 Nov 2009 20:01:38 +0000 http://www.airs.com/blog/?p=273#comment-18178 fche: I do think Go has a chance to be a useful programming language. It's quite easy to write code in it. Having goroutines and channels be builtin and relatively cheap makes it easy and natural to use them. There is about 130,000 lines of Go code in the library. There have not been any really substantial Go programs written to date. jldugger: I'm not familiar with Promela. When you create a channel, you make it buffered or unbuffered. When you send on an unbuffered channel, you block until there is a receiver. So an unbuffered channel is a rendezvous. fche: I do think Go has a chance to be a useful programming language. It’s quite easy to write code in it. Having goroutines and channels be builtin and relatively cheap makes it easy and natural to use them.

There is about 130,000 lines of Go code in the library. There have not been any really substantial Go programs written to date.

jldugger: I’m not familiar with Promela. When you create a channel, you make it buffered or unbuffered. When you send on an unbuffered channel, you block until there is a receiver. So an unbuffered channel is a rendezvous.

]]> By: jldugger http://www.airs.com/blog/archives/273/comment-page-1#comment-18177 jldugger Mon, 16 Nov 2009 19:47:16 +0000 http://www.airs.com/blog/?p=273#comment-18177 Finally watched the talk today. My first impression is that Go channels aren't much different than say Promela's. Except maybe they're a bit more thought out. Although I was confused about one bit; at one point he says that channels are synchronized by default, but later implies that sending is not. I guess he means that readers block on the channel, but senders do not? So is this rendezvous or not? Finally watched the talk today. My first impression is that Go channels aren’t much different than say Promela’s. Except maybe they’re a bit more thought out. Although I was confused about one bit; at one point he says that channels are synchronized by default, but later implies that sending is not. I guess he means that readers block on the channel, but senders do not?

So is this rendezvous or not?

]]> By: fche http://www.airs.com/blog/archives/273/comment-page-1#comment-18176 fche Mon, 16 Nov 2009 15:34:37 +0000 http://www.airs.com/blog/?p=273#comment-18176 Reading the golang.org FAQ, it's not clear how much systems-programming code has been written in go so far. Are there any impressive bodies of code yet? Reading the golang.org FAQ, it’s not clear how much systems-programming code has been written in go so far. Are there any impressive bodies of code yet?

]]> By: fche http://www.airs.com/blog/archives/273/comment-page-1#comment-18175 fche Mon, 16 Nov 2009 14:55:42 +0000 http://www.airs.com/blog/?p=273#comment-18175 Do you have a sense whether there is something sufficiently charming about Go to become more of a success than other message-passing style concurrency systems, whether they be libraries like MPI, or programming languages like OCCAM and its descendants? Do you have a sense whether there is something sufficiently charming about Go to become more of a success than other message-passing style concurrency systems, whether they be libraries like MPI, or programming languages like OCCAM and its descendants?

]]>