ภาษาของ Google เป็นภาษาที่ปลอดภัยหรือไม่

หน้านี้http://golang.org/doc/go_faq.htmlเขียน:

แม้ว่า Go จะมีประเภทสแตติก แต่ภาษาก็พยายามทำให้ประเภทรู้สึกเบากว่าในภาษา OO ทั่วไป

ดังนั้นคำถามของฉันคือว่ามันพิมพ์อย่างปลอดภัยกับ generics (เช่น C #) หรือพิมพ์อย่างอิสระ (เช่น javascript) หรือตัวเลือก (เช่นตัวเลือกเข้มงวดใน Vb.Net)

ความปลอดภัยของประเภทไม่ได้เป็นประเภทที่ปลอดภัยสีดำหรือสีขาวหรือไม่ มันมากขึ้นของคลื่นและบางภาษาสามารถเพิ่มเติมความปลอดภัยประเภทกว่าคนอื่น ๆ (และในทางกลับกัน) อย่างไรก็ตามฉันคิดว่าสิ่งที่คุณคิดด้วย C # เทียบกับจาวาสคริปต์คือการพิมพ์แบบคงที่ (ซึ่งการตรวจสอบประเภทเกิดขึ้นที่คอมไพล์เวลา) กับการพิมพ์แบบไดนามิก (ซึ่งการตรวจสอบประเภทเกิดขึ้นในเวลาทำงาน) สิ่งที่ไปคำถามที่พบบ่อยพูดคุยเกี่ยวกับ

Google Go ถูกพิมพ์แบบคงที่ แต่คุณสมบัติจำนวนหนึ่งทำให้ "ปรากฏ" เป็น (อย่างน้อยค่อนข้าง) พิมพ์แบบไดนามิก ตัวอย่างเช่นคุณไม่จำเป็นต้องทำเครื่องหมายชั้นเรียนของคุณเป็นการใช้งานอินเตอร์เฟสใด ๆ หากวิธีการลงนามในชั้นเรียนของคุณตรงกับที่อยู่บนอินเทอร์เฟซคลาสของคุณจะใช้อินเทอร์เฟซนั้นโดยอัตโนมัติ (ชนิดของการพิมพ์เป็ด) สิ่งนี้มีประโยชน์สำหรับการขยายคลาสและคลาสที่มีอยู่แล้วในไลบรารีของบุคคลที่สามเนื่องจากคุณสามารถสร้างอินเทอร์เฟซของคุณให้ตรงกับวิธีการในคลาสของบุคคลที่สามและมันจะนำไปใช้โดยอัตโนมัติ

ความปลอดภัยของประเภทนั้นแท้จริงแล้วคือ "แกน" ที่แตกต่างกันของระบบประเภท ตัวอย่างเช่น C เป็นภาษาที่พิมพ์แบบคงที่ซึ่งไม่ปลอดภัยสำหรับประเภท - พอยน์เตอร์ช่วยให้คุณทำทุกอย่างที่คุณต้องการแม้กระทั่งสิ่งที่จะทำให้โปรแกรมของคุณพัง Javascript นั้นถูกพิมพ์แบบไดนามิก แต่ก็ปลอดภัยต่อการพิมพ์ด้วยเช่นกัน: คุณไม่สามารถดำเนินการที่จะทำให้โปรแกรมของคุณเสียหาย C # ส่วนใหญ่เป็นประเภทที่ปลอดภัย แต่คุณสามารถทำเครื่องหมายส่วนต่าง ๆ ของรหัสอย่างชัดเจนunsafeและทำสิ่งที่ไม่ปลอดภัยอีกต่อไป

Google Go ยังเป็นประเภทที่ปลอดภัยในแง่ที่ว่าคุณไม่สามารถยุ่งกับประเภทและทำให้โปรแกรมขัดข้อง (ไม่มีการเข้าถึงตัวชี้โดยตรง)

มันถูกพิมพ์อย่างปลอดภัยในประเภทที่จะไม่ถูกตีความผิด แต่ประเภทที่ไม่ถูกต้องสามารถทำให้โปรแกรมตื่นตระหนก

ชนิดแผนที่ของ Go ไม่ปลอดภัยสำหรับเธรด แต่ถูกพิมพ์แบบคงที่ มันไม่ได้มีมรดกประเภทโปรแกรมทั่วไปยืนยันวิธีการบรรทุกเกินพิกัดหรือคำนวณตัวชี้ใดอย่างหนึ่งและสำหรับเหตุผลที่ดี

ความปลอดภัยประเภทและความปลอดภัยของหน่วยความจำมีจุดมุ่งหมายระยะยาวที่นี่แทนปัญหา

ความปลอดภัยของประเภทแสดงค่าใช้จ่ายในกิโลไบต์และเมกะไบต์ซึ่งเป็นที่ยอมรับ Go ได้รับการออกแบบด้วย MapReduce และ "Big data" ซึ่ง exobytes เป็นเพตาไบต์ของข้อมูลซึ่งนำเสนอปัญหาด้านประสิทธิภาพด้วยความปลอดภัยของประเภทการตรวจสอบประเภท (Boxing / unboxing) สร้างค่าโสหุ้ย

ความปลอดภัยของประเภทสามารถ จำกัด ในการพิมพ์ย่อยและ polymorphism และในการพิมพ์เป็ด (cast object to object) สิ่งนี้สร้างอันตรายและเป็นพื้นที่ที่ภาษาเช่น Go มีประโยชน์อย่างมาก C ++ และ Java ไม่ได้ถูกแทนที่ด้วย Go เป็นภาษาใหม่ที่จะช่วยกระจายการเขียนโปรแกรมและระบบขนานอย่างหนาแน่น

คำแถลงที่ยิ่งใหญ่ของ Bruce Eckel - "Go เหมาะสมกว่าสำหรับปัญหาที่ C ++ เดิมตั้งใจจะแก้ปัญหา" เป็นที่ถกเถียงกัน C ++ เป็นภาษาที่มีประสิทธิภาพมากและการใช้งาน Boost ของ MapReduce นั้นมีประสิทธิภาพมาก

การเห็นพ้องด้วยกันคืออนาคต ประเภทความปลอดภัยเป็นหัวข้อที่ถกเถียงกันมากและอาจเป็นภาษาแรกที่ใช้ในการแก้ไขปัญหานี้ใน 20 ปีหรือตั้งแต่ Algol