คำถามติดแท็ก haskell

ปิด คำถามนี้เป็นคำถามความคิดเห็นตาม ไม่ยอมรับคำตอบในขณะนี้ ต้องการปรับปรุงคำถามนี้หรือไม่ อัปเดตคำถามเพื่อให้สามารถตอบข้อเท็จจริงและการอ้างอิงได้โดยแก้ไขโพสต์นี้ ปิดให้บริการใน4 ปีที่แล้ว ฉันเจอโครงการ Ur / Webระหว่างการค้นหากรอบงานเว็บสำหรับภาษาที่คล้ายกับ Haskell ดูเหมือนว่าโครงการที่น่าสนใจจะทำโดยคนคนหนึ่ง โดยทั่วไปมันเป็นภาษาที่ใช้งานได้เฉพาะโดเมนสำหรับการเขียนโปรแกรมเว็บโดยใช้ ML และ Haskell ได้ดีที่สุด ไวยากรณ์คือ ML แต่มีคลาสประเภทและ monad จาก Haskell และมีการประเมินอย่างเข้มงวด ฝั่งเซิร์ฟเวอร์ถูกคอมไพล์เป็นรหัสเนทีฟไคลเอนต์ถึง Javascript ดูหน้าสไลด์และคำถามที่พบบ่อยเพื่อดูข้อได้เปรียบอื่น ๆ ที่โฆษณา เมื่อดูการสาธิตและซอร์สโค้ดของพวกเขาฉันคิดว่าโปรเจ็กต์นี้มีแนวโน้มดีมาก รุ่นล่าสุดคือบางสิ่งบางอย่าง 20110123 ดังนั้นดูเหมือนว่าจะอยู่ระหว่างการพัฒนาอย่างแข็งขันในขณะนี้ มีใครที่นี่มีประสบการณ์เพิ่มเติมอีกหรือไม่ มีปัญหา / สิ่งรบกวนเมื่อเปรียบเทียบกับ Haskell นอกเหนือจากไวยากรณ์ที่ละเอียดกว่าเล็กน้อยของ ML หรือไม่

17 web-development  functional-programming  haskell  web-framework 

ในการให้สัมภาษณ์กับ John Hughesที่ซึ่งเขาพูดเกี่ยวกับ Erlang และ Haskell เขามีดังต่อไปนี้ที่จะพูดเกี่ยวกับการใช้ห้องสมุด stateful ใน Erlang: ถ้าฉันต้องการใช้ไลบรารี stateful ฉันมักจะสร้างอินเทอร์เฟซที่ไม่มีผลข้างเคียงเพื่อให้ฉันสามารถใช้อย่างปลอดภัยในส่วนที่เหลือของรหัสของฉัน สิ่งนี้หมายความว่าอย่างไร ฉันพยายามคิดถึงตัวอย่างว่าสิ่งนี้จะมีลักษณะอย่างไร แต่จินตนาการและ / หรือความรู้ของฉันทำให้ฉันล้มเหลว

16 haskell  erlang  state  side-effect 

ฉันได้อ่าน Learn You a Haskell เล่มถึงจุดที่พวกเขาแนะนำ Monads และสิ่งต่างๆเช่น Just a สิ่งเหล่านี้มีประโยชน์สำหรับฉันมากจนฉันรู้สึกอยากยอมแพ้พยายามเรียนรู้มัน แต่ฉันอยากลองจริงๆ ฉันสงสัยว่าอย่างน้อยฉันสามารถหลีกเลี่ยงแนวคิดขั้นสูงได้สักพักและเริ่มใช้ส่วนอื่น ๆ ของภาษาเพื่อทำงานที่มีประโยชน์มากมายด้วยส่วนพื้นฐานของ Haskell เช่นฟังก์ชั่นมาตรฐาน IO การจัดการไฟล์ การเชื่อมต่อฐานข้อมูลและไม่ชอบ นี่เป็นวิธีการที่สมเหตุสมผลในการเรียนรู้วิธีใช้ Haskell หรือไม่?

16 haskell 

คำถามนี้เกิดขึ้นจากคำถาม/software/25569/is-haskell-worth-learning โดยทั่วไปจะมีการกล่าวประโยคซ้ำ ๆ กันหลายครั้งเกี่ยวกับวิธีที่ Haskell พัฒนาทักษะการเข้ารหัสของคุณในภาษาอื่นและนอกจากนี้เนื่องจาก Haskell นั้นไร้สัญชาติและนั่นเป็นสิ่งที่ดี ทำไม? ฉันเคยเห็นใครบางคนเปรียบเทียบสิ่งนี้กับการพิมพ์ด้วยมือซ้ายหรืออาจหลับตาสักวันหนึ่งและพึ่งพึ่งการสัมผัส มีอะไรมากกว่านั้นอีกไหม? มันเกี่ยวข้องกับการเข้าถึงหน่วยความจำฮาร์ดแวร์หรืออย่างอื่นซึ่งเป็นผลการดำเนินงานที่ยิ่งใหญ่?

16 programming-languages  functional-programming  haskell 

λx.λf.fxในแคลคูลัสแลมบ์ดาคืออะไร? ฟังก์ชั่นที่เกี่ยวข้องมีชื่อมาตรฐานในภาษาโปรแกรมการใช้งานเช่น Haskell หรือไม่? ในการเขียนโปรแกรมเชิงวัตถุมีชื่อปกติสำหรับวิธีการfooที่ใช้ฟังก์ชั่นเป็นอาร์กิวเมนต์เช่นนั้นx.foo(f)จะส่งกลับf(x)?

15 functional-programming  haskell  lambda 

ฉันต้องการถามคนอื่น ๆ ว่าในกรณีนี้การทดสอบหน่วยการพิมพ์แบบสแตติกทำงานได้ดีตามที่เขียนใน haskell, scala, ocaml, nemerle, f # หรือ haXe (สุดท้ายคือสิ่งที่ฉันสนใจจริงๆ แต่ฉันต้องการ แตะเข้าไปในความรู้ของชุมชนที่ใหญ่กว่า) ฉันถามสิ่งนี้เพราะจากความเข้าใจของฉัน: ด้านหนึ่งของการทดสอบหน่วยคือการมีรายละเอียดในรูปแบบที่รันได้ อย่างไรก็ตามเมื่อใช้รูปแบบการประกาศที่แมปข้อมูลจำเพาะอย่างเป็นทางการกับความหมายของภาษาเป็นไปได้หรือไม่ที่จริงแล้วมันเป็นไปได้หรือไม่ที่จะแสดงรายละเอียดในรูปแบบที่รันได้ในวิธีที่แยกจากกัน ลักษณะที่ชัดเจนของการทดสอบหน่วยคือการติดตามข้อผิดพลาดที่ไม่สามารถเปิดเผยได้ผ่านการวิเคราะห์แบบคงที่ เนื่องจากรหัสการทำงานที่ปลอดภัยประเภทนั้นเป็นเครื่องมือที่ดีในการเขียนโค้ดที่ใกล้เคียงกับที่ตัววิเคราะห์สถิตของคุณเข้าใจมากดูเหมือนว่าคุณสามารถเปลี่ยนความปลอดภัยไปสู่การวิเคราะห์แบบสถิต อย่างไรก็ตามข้อผิดพลาดง่าย ๆ เช่นการใช้xแทนy(ทั้งคู่เป็นพิกัด) ในรหัสของคุณไม่สามารถครอบคลุม ความผิดพลาดดังกล่าวอาจเกิดขึ้นในขณะที่เขียนรหัสทดสอบดังนั้นฉันไม่แน่ใจว่ามันคุ้มค่ากับความพยายามหรือไม่ การทดสอบหน่วยจะนำเสนอความซ้ำซ้อนซึ่งหมายความว่าเมื่อต้องการเปลี่ยนแปลงรหัสการใช้งานและการทดสอบที่ครอบคลุมรหัสนี้จะต้องเปลี่ยนทั้งคู่ แน่นอนว่าค่าโสหุ้ยนี้เป็นเรื่องเกี่ยวกับค่าคงที่ดังนั้นเราจึงสามารถโต้แย้งได้ว่ามันไม่สำคัญ ในความเป็นจริงในภาษาอย่าง Ruby นั้นไม่ได้เปรียบเทียบกับประโยชน์ที่ได้รับ แต่เนื่องจากการเขียนโปรแกรมเชิงฟังก์ชันที่ครอบคลุมการทดสอบหน่วยภาคพื้นดินจำนวนมากนั้นมีจุดประสงค์เพื่อให้ความรู้สึกว่าเป็นค่าใช้จ่ายที่คงที่เพียงอย่างเดียว จากนี้ฉันจะอนุมานว่าการทดสอบหน่วยค่อนข้างล้าสมัยในรูปแบบการเขียนโปรแกรมนี้ แน่นอนว่าการอ้างสิทธิ์ดังกล่าวสามารถนำไปสู่สงครามศาสนาเท่านั้นดังนั้นให้ฉันตั้งคำถามนี้ง่ายๆ เมื่อคุณใช้รูปแบบการเขียนโปรแกรมคุณใช้ขอบเขตการทดสอบแบบใดและเพราะเหตุใด (คุณหวังว่าจะได้คุณภาพสำหรับโค้ดของคุณ) หรือในทางกลับกัน: คุณมีเกณฑ์ที่คุณสามารถมีคุณสมบัติหน่วยของรหัสการทำงานแบบคงที่ตามที่ครอบคลุมโดยตัววิเคราะห์แบบคงที่และโดยไม่จำเป็นต้องครอบคลุมการทดสอบหน่วย?

15 unit-testing  functional-programming  tdd  haskell  scala 

ปิด คำถามนี้จะต้องมีมากขึ้นมุ่งเน้น ไม่ยอมรับคำตอบในขณะนี้ ต้องการปรับปรุงคำถามนี้หรือไม่ อัปเดตคำถามเพื่อให้มุ่งเน้นที่ปัญหาเดียวโดยแก้ไขโพสต์นี้ ปิดให้บริการใน5 ปีที่ผ่านมา นี่เป็นเรื่องยาว แต่ฉันจะพยายามสรุปให้ดีที่สุดเท่าที่จะทำได้ เราเป็นร้าน NET ที่เขียนซอฟต์แวร์สำหรับกองทุนประเภทต่างๆ ตัวอย่างเช่นเราเขียนซอฟต์แวร์การจัดการการเรียกร้องสุขภาพซอฟต์แวร์การจัดการบำนาญซอฟต์แวร์ 401 (k) และสิ่งอื่น ๆ ทางการเงิน ตอนนี้เรากำลังเข้าสู่อาณาจักรใหม่: อนุพันธ์และประเภทการวิเคราะห์เชิงปริมาณซึ่งดูเหมือนน่าตื่นเต้นมาก นี่คือสิ่งที่จะลงมาในอีก 8-12 เดือนข้างหน้า ตอนนี้ฉันได้เรียนรู้การเขียนโปรแกรมฟังก์ชั่นด้วยตัวเองแล้วส่วนใหญ่เป็นเพียงผิวเผินที่ใช้ภาษาต่าง ๆ ผ่านหนังสือเล่มนี้แต่ไม่เคยขุดลึกเข้าไปในนั้น ตอนนี้เนื่องจากเราเป็น. NET shop ฉันคิดว่า F # อาจเป็นทางเลือกที่ดีเพราะเราอาจใช้ประโยชน์จากไลบรารี NET. บางส่วนและความรู้ที่มีอยู่อาจเป็นไปได้ คำถามของฉันคือจะเริ่มที่ไหน ฉันมีช่วงเวลาที่ยากลำบากอย่างมากที่จะคิดออกว่าฉันควรจะไปกับ Haskell, Erlang, Scala, F # ฯลฯ พวกเขาทั้งหมดดูน่าสนใจและมีความสามารถและค่อนข้างตรงไปตรงมานี่อาจเป็นโอกาสดีที่จะแยกตัวออกจาก Microsoft มีใครมีสถานการณ์ที่คล้ายกัน? ถ้าเป็นเช่นนั้นประสบการณ์ของคุณคืออะไรที่ทำให้การทำงานเป็นไปอย่างรวดเร็วและคุณเลือกอะไรและทำไม? ฉันรู้ว่านี่เป็นคำถามที่ยิ่งใหญ่ แต่ฉันไม่รู้จักนักพัฒนาที่ใช้วิธีการทำงานในตอนนี้ดังนั้นฉันไม่มีที่อื่นที่จะหันไปนอกเหนือจาก Googling …

15 .net  functional-programming  haskell  erlang 

ฉันเพิ่งเสร็จสิ้นlearnyouahaskellวันอื่น ๆ และผมก็พยายามที่จะทำให้ความรู้สึกของข้อ จำกัด Monomorphism, ตามที่อธิบายไว้โดย Haskell วิกิพีเดีย ฉันคิดว่าฉันเข้าใจว่า MR สามารถป้องกันการประเมินซ้ำ ๆ ได้อย่างไร แต่ฉันล้มเหลวที่จะดูว่าทำไมการประเมินซ้ำ ๆ เหล่านั้นไม่สามารถหลีกเลี่ยงได้โดยวิธีที่ตรงไปตรงมามากขึ้น ตัวอย่างที่ฉันมีอยู่ในใจคือตัวอย่างที่ใช้โดยวิกิ: f xs = (len,len) where len = genericLength xs ที่เป็นประเภทgenericLengthNum a => [b] -> a เห็นได้ชัดว่าgenericLength xsต้องมีการคำนวณเพียงครั้งเดียวเพื่อประเมิน(len,len)เนื่องจากเป็นฟังก์ชันเดียวกันกับอาร์กิวเมนต์ที่เหมือนกัน และเราไม่จำเป็นต้องเห็นการเรียกร้องใด ๆfให้รู้ ดังนั้นทำไม Haskell ไม่สามารถทำการเพิ่มประสิทธิภาพนี้โดยไม่แนะนำกฎเช่น MR? การอภิปรายในหน้าวิกินั้นบอกฉันว่ามีบางอย่างเกี่ยวกับความจริงที่ว่าNumเป็น typeclass มากกว่าประเภทที่เป็นรูปธรรม แต่ถึงกระนั้นก็ไม่ควรที่จะรวบรวมไว้ในเวลาที่ฟังก์ชั่น pure จะคืนค่าเดิม - - และดังนั้นประเภทคอนกรีตเดียวกันของ Num …

14 optimization  haskell  type-systems 

ฉันจบการศึกษาจากมหาวิทยาลัยเมื่อประมาณห้าเดือนที่แล้วและทำงานในท้องถิ่นเมื่อสี่เดือนที่ผ่านมา ขณะอยู่ที่มหาวิทยาลัยฉันเรียน Haskell, F # และอื่น ๆ ด้วยตัวเอง เราถูกสอน Java ที่มหาวิทยาลัย แต่ฉันได้สัมผัสกับการเขียนโปรแกรมการทำงานเร็ว ๆ นี้และใช้เวลากับมันมากกว่าที่ฉันทำกับการเขียนโปรแกรมที่จำเป็น เป็นผลให้สมองของฉันมีสายสำหรับการคิดการทำงาน บริษัท ที่ฉันเข้าร่วมใช้ Python และรหัสมีความจำเป็นอย่างยิ่ง ฉันมีเวลายากมากที่จะอ่านโค้ดที่จำเป็น ฉันไม่สามารถติดตามการกลายพันธุ์ เมื่อการทำ for-if-else-for-... การซ้อนกันมีความลึกมากกว่าสี่ระดับฉันจะสูญเสียการติดตามสิ่งที่เกิดขึ้นในโค้ดอย่างสมบูรณ์ เพื่อเพิ่มเข้าไป Python เป็นภาษาแบบไดนามิกดังนั้นจึงไม่มีประเภทในรหัส มัน' หลายสัปดาห์มาแล้วที่ฉันพยายามทำความเข้าใจส่วนหนึ่งของ codebase ของเรา (ซึ่งค่อนข้างซับซ้อนพอสมควร) แต่ฉันไม่ได้ทำความคืบหน้าใด ๆ เพื่อทำความเข้าใจ กรุณาเสนอเทคนิคการปฏิบัติเกี่ยวกับวิธีที่ฉันควรจะไปเกี่ยวกับการทำความเข้าใจรหัสที่ ขอบคุณล่วงหน้า! แก้ไข: บางทีฉันควรพูดถึงว่ามีความคิดเห็นไม่มากในรหัสและชื่อยังไม่ง่ายนัก

14 python  functional-programming  haskell  f#  reading-code 

ฉันชอบ Haskell ธรรมดาและเรียบง่าย แม้ว่า Haskell จะใช้ในซอฟต์แวร์การผลิต แต่ก็ไม่ได้ปรับใช้อย่างกว้างขวางจากสิ่งที่ฉันเคยเห็น อะไรคือภาษาที่คล้ายกันมากที่สุดและยังใช้กันอย่างแพร่หลายเกี่ยวกับโครงการผลิตเพื่อที่ฉันจะได้มีโอกาสสโนว์บอลในการใช้สิ่งที่ยอดเยี่ยมเหมือนกันในอุตสาหกรรม? ภาษาเดียวกันจากส่วนแรกมีให้บนแพลตฟอร์มจำนวนมากหรือไม่ ถ้าไม่เป็นทางเลือกที่ดีที่สุดที่มีการปรับใช้แพลตฟอร์มกว้างอะไร ฉันต้องการภาษาเดียวที่จะใส่ในรายการที่ต้องทำของฉันมากกว่าฝูงใหญ่หรือครอบครัว หลักฐานที่ยากจะเป็นข้อดี

14 programming-languages  functional-programming  haskell 

ปิด. คำถามนี้เป็นคำถามปิดหัวข้อ ไม่ยอมรับคำตอบในขณะนี้ ต้องการปรับปรุงคำถามนี้หรือไม่ อัปเดตคำถามเพื่อให้เป็นหัวข้อสำหรับ Software Engineering Stack Exchange ปิดให้บริการใน5 ปีที่ผ่านมา ในฐานะที่เป็นHaskell Wiki ระบุว่า : มีไลบรารี GUI จำนวนมากสำหรับ Haskell น่าเสียดายที่ไม่มีมาตรฐานใด ๆ เลยและทั้งหมดนั้นไม่สมบูรณ์ไม่มากก็น้อย โดยทั่วไปแล้วแผ่นไม้อัดระดับต่ำจะทำได้ดี แต่ก็มีระดับต่ำ abstractions ระดับสูงเป็นการทดลองที่ค่อนข้างดี ไม่จำเป็นต้องมีไลบรารี GUI ระดับกลางที่รองรับ อาจารย์ที่วิทยาลัยของฉันขอให้ฉันและวิชาเอกวิทยาการคอมพิวเตอร์อีกสามคนพิจารณาที่จะทำงานในห้องสมุด GUI สำหรับ Haskell ความคิดเริ่มต้นของเขาสำหรับโครงการคือการเขียนเลเยอร์บน OpenGL ที่เลียนแบบมอร์ฟิคไลบรารีที่พบใน Smalltalk ; อย่างไรก็ตามนี่เป็นเพียงข้อเสนอแนะและระบบอื่น ๆ ก็เป็นสิ่งที่ควรค่าแก่การพิจารณา นี่นำเราไปสู่คำถามที่เกิดขึ้นจริงและมีหลายส่วน ห้องสมุดของเรามุ่งมั่นในระดับใด Haskell Wiki ดูเหมือนจะบ่งบอกอย่างชัดเจนว่าต้องการ GUI ไลบรารีระดับกลาง อย่างไรก็ตามยินดีต้อนรับสู่ห้องสมุดระดับสูง ห้องสมุดของเราควรสร้างอะไร …

14 project-management  gui  haskell  project-structure  opengl 

ฉันสนใจการเขียนโปรแกรมการทำงานและตัดสินใจที่จะเข้าร่วมกับ Haskell หัวของฉันเจ็บ ... แต่ในที่สุดฉันก็จะได้รับ ... ฉันมีความอยากรู้อยากเห็นหนึ่งทำไมทำไมไวยากรณ์ถึงคลุมเครือ (ขาดคำอื่น) มีเหตุผลทำไมมันไม่แสดงออกเพิ่มเติมใกล้กับภาษามนุษย์? ฉันเข้าใจว่า FP นั้นเก่งในการสร้างแบบจำลองแนวคิดทางคณิตศาสตร์และมันยืมบางส่วนของวิธีการแสดงออกที่กระชับ แต่ก็ยังไม่ใช่คณิตศาสตร์ ... เป็นภาษา

14 programming-languages  functional-programming  syntax  haskell 

Haskell มีความคิดเกี่ยวกับ "ฟังก์ชั่นทั่วไป" ที่มีความคล้ายคลึงกันชัดเจนกับเสียงกระเพื่อมทั่วไป - หากไม่มีประสบการณ์กับ Haskell หรือด้วยเสียงกระเพื่อมสามัญฉันอาจจะประมาณที่นี่มาก ซึ่งหมายความว่าเราสามารถกำหนดเครื่องมือto_stringอำนวยความสะดวกทั่วไปเพื่อกำหนดการแสดงสตริงสำหรับทุกประเภท แน่นอนว่าสถานที่จะต้องมีการกำหนดไว้ในกรณีพิเศษ แต่มีฟังก์ชั่นที่มีลายเซ็นto_stringα → string ประเภทจะถูกลบใน Haskell เหมือนกับที่อยู่ใน OCaml หรือไม่ ถ้าใช่การนำไปปฏิบัติของ“ ฟังก์ชั่นทั่วไป” ใน Haskell แตกต่างจากเสียงกระเพื่อมทั่วไปชนิดใดที่เป็นแบบไดนามิกและไม่ถูกลบ? ฉันเข้าใจว่ารายละเอียดการใช้งานเป็นสิ่งที่เฉพาะเจาะจงสำหรับคอมไพเลอร์ แต่อาจมีข้อกำหนดทั่วไปสำหรับการใช้งานจำนวนมากหรือทั้งหมด

13 haskell  type-systems  common-lisp 

ฉันพยายามที่จะเปรียบเทียบคลาสประเภทของ Haskell และอินเทอร์เฟซของ C # Functorสมมติว่ามี Haskell: class Functor f where fmap :: (a -> b) -> f a -> f b วิธีการใช้คลาสประเภทนี้เป็นอินเตอร์เฟซใน C #? สิ่งที่ฉันได้ลอง: interface Functor<A, B> { F<B> fmap(Func<A, B> f, F<A> x); } นี้คือการดำเนินการที่ไม่ถูกต้องและฉัน stucked จริงกับทั่วไปประเภทที่ควรจะส่งกลับโดยF fmapควรกำหนดไว้อย่างไรและที่ไหน? มันเป็นไปไม่ได้ที่จะใช้Functorใน C # และทำไม? หรืออาจมีแนวทางอื่น

13 c#  haskell 

นี่เป็นคำถามเชิงทฤษฎี แต่หลังจากหลายปีของการเขียนโปรแกรมในสิ่งที่ฉันรู้ตอนนี้คือเทคนิค "ปกติ" ที่จำเป็นโดยใช้ C ++ ส่วนใหญ่ฉันได้ค้นพบโลกแห่งการเขียนโปรแกรมเชิงปฏิบัติการอีกครั้งซึ่งฉันบังเอิญบังเอิญเรียนรู้ JavaScript นี่ทำให้ฉันสงสัยว่าคุณสามารถแทนที่โปรแกรมเชิงรัฐที่สมบูรณ์ด้วยการใช้งานที่แตกต่างกันซึ่งใช้งานได้จริงและไม่มีรัฐหรือไม่? มันเป็นความคิดที่น่าสนใจและฉันต้องยอมรับว่ามีความชัดเจนและความสง่างามในการเขียนโปรแกรมฟังก์ชั่นที่ทำให้ใจของฉันแย่จริงๆ

13 javascript  functional-programming  haskell  state  turing-completeness