Microsoft เปิดตัวภาษา Bosque เขียนโปรแกรมแบบไม่มี Loop ได้แรงบันดาลใจจาก TypeScript

Microsoft ได้ออกมาเปิดตัว Open Source Programming Language ใหม่ที่มีชื่อว่า Bosque โดยมุ่งเน้นไปที่ความง่ายดายในการพัฒนาเป็นหลัก

ภาษา Bosque นี้ได้รับแรงบันดาลใจจาก Syntax และ Type ของ TypeScript และ Semantics จาก ML และ Node/JavaScript ซึ่งการออกแบบภาษา Bosque นี้มีประเด็นสำคัญหนึ่งคือการกำจัดความซับซ้อนในการเขียนโปรแกรมอย่างเช่น Loop, Mutable State และ Reference Equality (การที่มีหลายตัวแปรชี้ไปยัง Object เดียวกัน) ออกไป ทำให้ Bosque นั้นถูกพัฒนาขึ้นมาด้วยแนวทางที่เรียกว่า Regularized Programming (อ่านเอกสารเพิ่มเติมได้ที่ https://www.microsoft.com/en-us/research/uploads/prod/2019/04/beyond_structured_report_v2.pdf)

เป้าหมายของโครงการนี้คือความหวังว่าเมื่อความซับซ้อนในการเขียนโปรแกรมลดน้อยลงไปแล้ว ก็จะทำให้ Software Quality มีมากขึ้น และทำให้เกิดการพัฒนาในฝั่งของ Compiler และเครื่องมือต่างๆ เพิ่มขึ้นตามไปด้วย

ตัวอย่างโค้ดของ Bosque จะเป็นดังนี้

//Functor (Bosque)

var a = List[Int]@{…};
//Pre: true

var b = a.map[Int](fn(x) => x*2);
//Post: List[Int]::eq(fn(x, y) => y == x*2, a, b)

สำหรับตัวอย่างของโค้ดที่เหลือ สามารถดูได้ใน GitHub ที่ https://github.com/Microsoft/BosqueLanguage

เว็บไซต์ของ Bosque นั้นอยู่ที่ https://www.microsoft.com/en-us/research/project/bosque-programming-language/ ผู้ที่สนใจสามารถเข้าไปศึกษาได้ทันที

ที่มา: https://www.theregister.co.uk/2019/04/18/microsoft_bosque_programming_language/