Haskell เป็นภาษาการเขียนโปรแกรมที่มีการกำหนดประเภทแบบคงที่ (statically typed) และเป็นฟังก์ชันล้วน (purely functional) ซึ่งเป็นที่รู้จักในด้านความสามารถในการแสดงออกและความแข็งแกร่ง มันเน้นการใช้ฟังก์ชันทางคณิตศาสตร์และความไม่เปลี่ยนแปลง (immutability) ทำให้นักพัฒนาสามารถเขียนโค้ดที่กระชับและชัดเจน Haskell ถูกออกแบบมาเพื่ออำนวยความสะดวกในการพัฒนาแอปพลิเคชันขนาดใหญ่ในขณะที่ยังคงรักษาระดับนามธรรมที่สูง มันเหมาะสมโดยเฉพาะสำหรับงานที่เกี่ยวข้องกับอัลกอริธึมที่ซับซ้อน การวิเคราะห์ข้อมูล และการเขียนโปรแกรมแบบขนาน เนื่องจากระบบประเภทที่ทรงพลังและการประเมินแบบขี้เกียจ (lazy evaluation)
Haskell ถูกคิดค้นขึ้นในปลายทศวรรษ 1980 เป็นภาษาการเขียนโปรแกรมที่มีมาตรฐานและเปิดเผยซึ่งมีเป้าหมายเพื่อรวมภาษาฟังก์ชันที่มีอยู่หลายภาษา รวมถึง Miranda และ ML ภาษาได้รับการตั้งชื่อตาม Haskell Curry นักคณิตศาสตร์และนักตรรกศาสตร์ที่งานของเขาในด้านตรรกศาสตร์เชิงรวมได้วางรากฐานสำหรับการเขียนโปรแกรมเชิงฟังก์ชัน
ความพยายามในช่วงแรกนำไปสู่การสร้างเวอร์ชันแรก Haskell 1.0 ในปี 1990 ในปีต่อมา มีการแนะนำส่วนขยายและการปรับปรุงต่างๆ โดยมาตรฐาน Haskell 98 ได้รับการเผยแพร่ในปี 1999 การสร้างมาตรฐานนี้มีเป้าหมายเพื่อสร้างฐานที่มั่นคงสำหรับระบบนิเวศของไลบรารีที่กำลังเติบโตและอำนวยความสะดวกในการนำไปใช้ในวงการวิชาการและอุตสาหกรรม
ในปัจจุบัน Haskell ได้พัฒนาเป็นภาษาที่หลากหลายซึ่งถูกใช้กันอย่างแพร่หลายในวงการวิชาการ อุตสาหกรรม และการวิจัย ด้วยการพัฒนาเครื่องมือเช่น GHC (Glasgow Haskell Compiler) และไลบรารีเช่น Haskell Platform ชุมชนได้ส่งเสริมการสนับสนุนอย่างกว้างขวางสำหรับแอปพลิเคชันต่างๆ โดยเฉพาะในสาขาเช่น วิทยาศาสตร์ข้อมูล การเงิน และการพัฒนาเว็บ
Haskell ได้รับแรงบันดาลใจจากภาษาฟังก์ชันและพาราไดม์หลายภาษา รวมถึงแนวคิดจากภาษาต่างๆ เช่น Lisp และ ML นอกจากนี้ยังมีรากฐานร่วมกับภาษาต่างๆ เช่น Erlang และ Scala โดยเฉพาะในด้านการเขียนโปรแกรมเชิงฟังก์ชัน ระบบประเภทของ Haskell ได้มีอิทธิพลต่อภาษาต่างๆ เช่น Rust และ Swift ซึ่งรวมเอาองค์ประกอบการเขียนโปรแกรมเชิงฟังก์ชันเข้ากับพาราไดม์เชิงบังคับ
Haskell ใช้ระบบการกำหนดประเภทแบบคงที่ที่เข้มงวด ซึ่งตรวจสอบประเภทในระหว่างการคอมไพล์ วิธีการนี้ช่วยลดข้อผิดพลาดในระหว่างการทำงานและเพิ่มความเชื่อถือได้ของโค้ด
add :: Int -> Int -> Int
add x y = x + y
Haskell สามารถอนุมานประเภทโดยอัตโนมัติ ทำให้สามารถประกาศฟังก์ชันได้อย่างกระชับในขณะที่ยังคงรักษาความปลอดภัยของประเภท
square x = x * x
กลยุทธ์การประเมินของ Haskell เป็นแบบขี้เกียจ หมายความว่า การแสดงผลจะไม่ถูกประเมินจนกว่าค่าของมันจะถูกต้องตามความต้องการจริงๆ ทำให้สามารถสร้างโครงสร้างข้อมูลที่ไม่มีที่สิ้นสุดและปรับปรุงประสิทธิภาพในบางสถานการณ์
ones :: [Int]
ones = 1 : ones -- สร้างรายการที่ไม่มีที่สิ้นสุดของ 1
ฟังก์ชันใน Haskell เป็นพลเมืองระดับหนึ่ง ซึ่งหมายความว่าสามารถส่งเป็นอาร์กิวเมนต์ คืนค่าจากฟังก์ชันอื่น และเก็บในโครงสร้างข้อมูลได้
applyTwice f x = f (f x)
การจับคู่รูปแบบให้วิธีที่กระชับในการแยกข้อมูล ทำให้โค้ดอ่านและเขียนได้ง่ายขึ้น
describeList :: [a] -> String
describeList [] = "รายการว่างเปล่า."
describeList [x] = "รายการมีหนึ่งองค์ประกอบ."
describeList xs = "รายการมีหลายองค์ประกอบ."
ข้อมูลทั้งหมดใน Haskell เป็นแบบไม่เปลี่ยนแปลง หมายความว่ามันไม่สามารถเปลี่ยนแปลงได้เมื่อถูกสร้างขึ้น สิ่งนี้ส่งเสริมสไตล์การเขียนโปรแกรมแบบประกาศและหลีกเลี่ยงผลข้างเคียง
x = 5
-- x = x + 1 -- นี่จะทำให้เกิดข้อผิดพลาด
Haskell ใช้มอนาดในการจัดการผลข้างเคียงและจัดการสถานะ โดยให้การนามธรรมที่ทรงพลังสำหรับการเรียงลำดับการคำนวณ
import Control.Monad
main = do
putStrLn "กรุณาใส่ชื่อของคุณ:"
name <- getLine
putStrLn ("สวัสดี, " ++ name ++ "!")
การสร้างรายการช่วยให้สามารถสร้างรายการได้อย่างกระชับและอ่านง่ายจากรายการที่มีอยู่ โดยรวมถึงความสามารถในการกรองและแมพ
evens = [x | x <- [1..10], even x] -- สร้างรายการของเลขคู่
Haskell ส่งเสริมการใช้ฟังก์ชันระดับสูง ซึ่งอนุญาตให้ฟังก์ชันรับฟังก์ชันอื่นเป็นพารามิเตอร์
map :: (a -> b) -> [a] -> [b]
map f xs = [f x | x <- xs]
คลาสประเภทของ Haskell อนุญาตให้มีพหุนิยมและช่วยให้นักพัฒนาสามารถกำหนดอินเทอร์เฟซทั่วไปที่ประเภทต่างๆ สามารถนำไปใช้ได้
class Eq a where
(==) :: a -> a -> Bool
GHC เป็นคอมไพเลอร์ Haskell ที่ใช้กันอย่างแพร่หลายที่สุด โดยมีคอมไพเลอร์ที่มีประสิทธิภาพสูงและการสนับสนุนที่กว้างขวางสำหรับฟีเจอร์ของ Haskell รวมถึงการทำงานพร้อมกันและการประมวลผลแบบขนาน
Stack และ Cabal เป็นระบบการสร้างที่ได้รับความนิยมสำหรับการจัดการโปรเจกต์ Haskell Stack มุ่งเน้นไปที่การสร้างที่สามารถทำซ้ำได้ ในขณะที่ Cabal เสนอระบบการจัดการแพ็กเกจที่ยืดหยุ่นมากขึ้น
IDE ที่ใช้กันทั่วไปสำหรับการพัฒนา Haskell ได้แก่ Visual Studio Code, IntelliJ IDEA พร้อมปลั๊กอิน Haskell และ Atom ที่รองรับ Haskell IDE เหล่านี้มีฟีเจอร์ต่างๆ เช่น การเน้นไวยากรณ์ การดีบัก และการรวมเข้ากับ GHC
ในการสร้างโปรเจกต์ Haskell โดยใช้ Stack คุณจะต้องสร้างโปรเจกต์ใหม่ด้วย stack new project-name และจากนั้นใช้ stack build เพื่อคอมไพล์โค้ด สำหรับ Cabal กระบวนการเริ่มต้นด้วย cabal init เพื่อกำหนดค่าโปรเจกต์ ตามด้วย cabal build
Haskell ถูกใช้ในหลายโดเมน รวมถึง:
Haskell โดดเด่นในด้านพาราไดม์เชิงฟังก์ชันล้วน การกำหนดประเภทแบบคงที่ที่เข้มงวด และการประเมินแบบขี้เกียจ ซึ่งแตกต่างจากภาษาที่มีลักษณะเชิงบังคับมากขึ้น เช่น C++, Java และ Python
สำหรับนักพัฒนาที่ต้องการแปลโค้ด Haskell ไปยังภาษาอื่น เครื่องมือเช่น hsc2hs สามารถช่วยในการรวม Haskell กับไลบรารี C ได้ เครื่องมือแปลจากแหล่งที่มาไปยังแหล่งที่มาอื่นๆ มีให้บริการ แต่ส่วนใหญ่สำหรับภาษาต่างๆ เช่น C และ C++ การรักษาความชัดเจนของโค้ดและการใช้ความคิดเห็นใน Haskell สามารถช่วยให้กระบวนการแปลง่ายขึ้น