گو (زبان برنامه‌نویسی)

اهداف ایجاد زبان گو شامل موارد زیر است:[9]

• کارایی زبان‌های ترجمه‌شده دارای سامانه نوع ایستا،[پ 1] برنامه‌نویسی زبان‌های پویا[پ 2]
• امنیت نوع‌ها، و امنیت حافظه
• پشتیبانی برای همروندی و ارتباط[پ 3]
• زمان ترجمه کوتاه

“go” به‌طور قابل توجهی در سنت C است، اما باعث تغییرات بسیاری می‌شود که به منظور شفافیت، سادگی و ایمنی ایجاد می‌شود:

یک روش نحوی و محرک پذیرش الگوهای رایج در زبان‌های پویا:

• · توصیف اولیه متغیر مختصر و اولیه از طریق استنتاج نوع (x := 0 not int x = 0; or var x = 0;).
• زمان تدوین سریع
• مدیریت بسته‌های از راه دور (به دست آوردن) و مستندات بسته آنلاین.

رویکردهای متمایز به مشکلات خاص:

• ابتکارهای همپوشانی ساخته شده: فرایندهای سبک‌وزن (goroutines)، کانال‌ها و بیانیه انتخاب.
• یک سیستم رابط به جای ارث مجازی، و نوع جایگذاری به جای ارثی غیرمجازی.

در زبان گو، ارث‌بری نوع‌ها وجود ندارد.[10] در این زبان، می‌توان برای هر نوع داده‌ای، حتی برای نوع‌های داخلی، مثل اعداد صحیح فاقد بسته‌بندی،[پ 4] تابع عضو تعریف کرد، و این عمل محدود به ساخت‌ها[پ 5] (رده‌ها) نمی‌شود.[11]

در زبان گو از رابط‌ها (به انگلیسی: Interfaces) می‌توان برای تعریف رفتار یک شی استفاده کرد. هر رابط مجموعه‌ای از تعریف توابع است، و هر نوعی که توابع این رابط را داشته باشد، این رابط را پیاده‌سازی کرده‌است.[12]

در نمونه زیر، یک رابط تعریف شده‌است که یک تابع به نام Abs و نوع خروجی float64 مشخص کرده‌است. هر نوعی که این تابع را پیاده‌سازی کند، در واقع این رابط را پیاده‌سازی کرده‌است. به عنوان نمونه، هم MyFloat و هم Vertex این چنین هستند.

type Abser interface {
 Abs() float64
}

type MyFloat float64

func (f MyFloat) Abs() float64 {
 if f <0 {
  return float64(-f)
 }
 return float64(f)
}

type Vertex struct {
 X, Y float64
}

func (v Vertex) Abs() float64 {
 return math.Sqrt(v.X*v.X + v.Y*v.Y)
}

func main() {
 var a Abser
 f := MyFloat(-math.Sqrt2)
 v := Vertex{3, 4}
        a = f  // a MyFloat implements Abser
        fmt.Println(a.Abs())
        a = v // a Vertex implements Abser
        fmt.Println(a.Abs())
}

گوروتین (به انگلیسی: goroutine) که برگرفته از نام کوروتین (به انگلیسی: coroutine) می‌باشد، تابعی است که به صورت همروند با بقیه گوروتین‌ها در فضای حافظه یکسان اجرا می‌شود.[13] گوروتین‌ها معادل با ریسمان‌های[پ 6] سیستم‌عامل نیستند، بلکه چندین گوروتین بین چندین ریسمان سیستم‌عامل تسهیم[پ 7] می‌شوند.

برای ایجاد یک گوروتین، قبل از فراخوانی تابع، عبارت go را استفاده می‌کنیم. در نمونه زیر، یک گوروتین به‌صورت همروند با گوروتین فعلی ایجاد و اجرا می‌شود:

go list.Sort() // run list.Sort concurrently; don't wait for it.

گوروتین‌ها برای تبادل داده از کانال‌ها (به انگلیسی: channel) استفاده می‌کنند. در نمونه زیر، یک کانال به نام c ایجاد می‌شود که برای مشخص کردن تکمیل اجرای گوروتین داخلی استفاده می‌شود:

c := make(chan int) // Allocate a channel.
// Start the sort in a goroutine; when it completes, signal on the channel.
go func() {
    list.Sort()
    c <- 1  // Send a signal; value does not matter.
}()
doSomethingForAWhile()
<-c // Wait for sort to finish; discard sent value.

زبان گو شامل همان نوع اشکال زدایی و تست است که در بسیاری از زبان ای توزیع شدهٔ دیگر هم استفاده می‌شود.

• go build، برای ساخت نسخه قابل اجرای برنامه
• go test، برای مقاصد تست واحد (Unit Testing) و محک (Microbenchmark) استفاده می‌شود.
• go fmt، برای قالب بندی کد
• go get، نرم‌افزار مدیریت بسته (Package manager) و وابستگی (Dependency manager) برای بازیابی و نصب بسته‌ها از راه دور است.
• go vet، یک تحلیلگر استاتیک به دنبال خطاهای احتمالی در کد
• go run، یک میانبر برای ساخت و اجرای کد
• godoc، برای نمایش اسناد یا ارائه آن از طریق HTTP
• gorename، برای تغییر نام متغیرها، توابع و غیره

منتقدان زبان گو می‌گویند:

• فقدان ژنریک‌های زمان کامپایل منجر به تکرار کپی می‌شود، metaprogramming نمی‌تواند به صورت ایستا بررسی شود و کتابخانه استاندارد نمی‌تواند الگوریتم‌های عمومی ارائه دهد.
• فقدان گسترش زبان (از طریق، به عنوان مثال، بیش از حد اپراتور) باعث می‌شود تا وظایف خاص به صورت مقدماتی انجام شود.
• یک پارچگی نبودن همروندی اطلاعات در کامپایل خروجی رم به حافظه.
• عدم وجود سیستم نوع Hindley-Milner برای تأیید ایمنی.
• کندی سرعت و اشغال حافظه بیش از حد رم به شکل معماری گوروتین

در روز ۱۰ نوامبر ۲۰۰۹، روز انتشار عمومی زبان، فرانسیس مک کیب، توسعه دهنده زبان برنامه‌نویسی !Go درخواست تغییر نام از زبان گوگل را برای جلوگیری از سردرگمی با زبان خود، که ۱۰ سال در حال توسعه آن است، کرد.

در ۱۲ اکتبر ۲۰۱۰، این مسئله توسط راس ککس (rsc@) توسعه دهنده گوگل با وضعیت سفارشی «متأسفانه» همراه با توضیح زیر بسته شد:

«بسیاری از محصولات و خدمات محاسباتی از نام Go استفاده می‌کنند. در ۱۱ ماه پس از انتشار ما، این شباهت نام کمترین میزان سردرگمی را به‌وجود آورده‌است.»

• وبگاه رسمی گو (en)