increased interactivity: Haskell is

increased interactivity: Haskell is moving towards a more interactive workflow. We recently got deferred type errors which let you turn type errors into warnings. This means that you can load and interact with code that doesn't typecheck, making the repl much more useful.

The next step after this is the addition of type holes. Type holes let you leave a hole in your program and the compiler tells you what type it expects for the hole. This is very useful if you get confused or are just working on something complicated. The feature was borrowed from Agda and the general idea is to let you develop in a "goal-oriented" way: you can develop step-by-step where, at each step, you know what types you already have and what types you need. Your task now is just to fill in that gap.

In essence, the goal is to turn a more batch-oriented experience into a conversation with the compiler. You can expect some editors to start taking advantage of these features, behaving more like Agda mode.
improved tooling: Recently, there has been a greater push to improve the general Haskell ecosystem. A new version of Hackage has been rolled out. FP complete was founded and released a commercial web-based IDE. Cabal has been noticeably improved including native support for sandboxes.

I expect this trend to continue, including improvements to popular Haskell editors like Emacs. I mentioned increased interactivity earlier, which is at least partly an editor feature. I also imagine that somebody is likely to add Haskell support to Light Table at some point, although that might take a while yet.

One particularly exciting project to point out is IHaskell. This builds an improved Haskell repl on top of IPython, enabling richer output like images or HTML. It's still somewhat experimental, but getting there. It plays well with visual Haskell libraries like diagrams and Chart.
more uptake: functional programming has been getting more and more press lately, and Haskell has definitely benefitted. I've certainly met an increasing number of people in the valley who are interested in using Haskell for projects or startups. We've certainly seen a marked increase in the number of people coming to meetups and hackathons, which is a good indicator.

I don't think Haskell will become super popular in the near future, but I do think it will see more use and be less marginalized.

I really can't make many predictions about the long term. Haskell is still going strong and I don't see it losing steam for a long time yet. There is still plenty of research to do and people are still interested and willing to work on the language itself and its ecosystem.

The Haskell community is not the largest, but it's extremely active and productive. Haskell is still going to be well supported and actively developed for a long time, so it's a good choice for a long-term language.

ผลลัพธ์ (ไทย) 1:

เพิ่มลักษณะแบบโต้ตอบ: Haskell จะย้ายลำดับมากขึ้นโต้ตอบ เราเพิ่งได้รับข้อผิดพลาดชนิดที่เลื่อนเวลาซึ่งช่วยให้คุณสามารถเปลี่ยนชนิดของข้อผิดพลาดคำเตือน หมายความ ว่า คุณสามารถโหลด และทำงาน ด้วยรหัสที่ไม่ typecheck ทำ repl มีประโยชน์มากขั้นตอนต่อไปหลังจากนี้เป็นการเพิ่มชนิดของหลุม ชนิดหลุมให้คุณออกจากหลุมในโปรแกรมของคุณ และคอมไพเลอร์บอกชนิดคาดว่าในหลุม การทำเช่นนี้มีประโยชน์มากถ้าคุณสับสน หรือจะทำงานในสิ่งที่มีความซับซ้อน คุณลักษณะถูกยืมมาจาก Agda และเป็นความคิดทั่วไปเพื่อ ให้คุณพัฒนาในลักษณะที่ "มุ่งเน้นเป้าหมาย": คุณสามารถพัฒนาขั้น ที่ คุณรู้อะไรชนิดที่คุณมีและสิ่งพิมพ์คุณต้องการ งานของคุณตอนนี้เป็นเพียงการ กรอกข้อมูลในช่องว่างที่ในสาระสำคัญ เป้าหมายคือการ เปิดตัวเพิ่มเติมชุดอาชีพเข้าสนทนากับคอมไพเลอร์ คุณสามารถคาดหวังบางอย่างแก้ไขเพื่อเริ่มใช้ประโยชน์จากคุณลักษณะเหล่านี้ ศีลธรรมมากขึ้นเช่นโหมด Agdaปรับปรุงเครื่องมือ: เมื่อเร็ว ๆ นี้ มีการผลักดันมากขึ้นเพื่อปรับปรุงระบบนิเวศ Haskell ทั่วไป รุ่นใหม่ของ Hackage ได้ถูกรีดออก FP สมบูรณ์ก่อตั้ง และนำออกใช้ IDE เชิงพาณิชย์เว็บ องคมนตรีคามีได้อย่างเห็นได้ชัดการปรับปรุงรวมถึงการสนับสนุนพื้นเมืองสำหรับ sandboxesผมคาดว่าแนวโน้มนี้จะดำเนินต่อไป รวมทั้งปรับปรุงการบรรณาธิการ Haskell นิยมเช่น Emacs ฉันกล่าวขึ้นโต้ตอบก่อนหน้านี้ ซึ่งเป็นคุณลักษณะการแก้ไขบางส่วนเป็นอย่างน้อย ผมยังคิดว่า ผู้ชายมีแนวโน้มการเพิ่มการสนับสนุน Haskell ตารางไฟในบางจุด แม้ที่อาจใช้ในขณะที่ยังหนึ่งโครงการที่น่าตื่นเต้นอย่างยิ่งไปเป็น IHaskell นี้สร้าง repl Haskell การปรับปรุงบน IPython เปิดผลยิ่งขึ้นเช่นรูปภาพหรือ HTML มันมียังค่อนข้างทดลอง แต่รับ มันเล่นดีกับไลบรารี Haskell ภาพไดอะแกรมและแผนภูมิดูดซับเพิ่มเติม: เขียนโปรแกรมทำงานได้รับข่าวมาก ขึ้นเมื่อเร็ว ๆ นี้ และแน่นอนมี benefitted Haskell แน่นอนฉันได้พบการเพิ่มจำนวนคนในหุบเขาที่มีความสนใจในการใช้ Haskell สำหรับโครงการ startups เราได้เห็นเพิ่มเครื่องในจำนวนคนที่มา meetups และ hackathons ซึ่งเป็นตัวบ่งชี้ที่ดีแน่นอนผมไม่คิดว่า Haskell จะกลายเป็นสุดยอดนิยมในอนาคตอันใกล้ แต่ฉันคิดว่า มันจะดูมากขึ้นใช้ และทำได้น้อยจริง ๆ ทำการทำนายมากมายเกี่ยวกับระยะยาว Haskell ยังจะแข็งแรง และไม่เห็นการสูญเสียไอน้ำเป็นเวลานานได้ มียังมายวิจัย และคนยังสนใจ และเต็มใจที่จะทำงานกับภาษาตัวเองและระบบนิเวศของการ ชุมชน Haskell ไม่ใหญ่ที่สุด แต่ก็ใช้งานอย่างมาก และประสิทธิผล Haskell ยังคงกำลังสนับสนุนอย่างดี และกำลังพัฒนาเป็นเวลานาน ดังนั้นจึงเป็นทางเลือกที่ดีสำหรับภาษาระยะยาว

ผลลัพธ์ (ไทย) 2:

การติดต่อสื่อสารที่เพิ่มขึ้น: Haskell มีการเคลื่อนไหวไปสู่ขั้นตอนการทำงานการโต้ตอบมากขึ้น เราเพิ่งได้เลื่อนข้อผิดพลาดชนิดที่ช่วยให้คุณสามารถเปิดข้อผิดพลาดในการพิมพ์คำเตือน ซึ่งหมายความว่าคุณสามารถโหลดและโต้ตอบกับรหัสที่ไม่ typecheck ทำให้ REPL ประโยชน์มากขึ้นขั้นตอนต่อไปหลังจากนี้คือนอกเหนือจากหลุมชนิด หลุมประเภทให้คุณออกจากหลุมในโปรแกรมของคุณและคอมไพเลอร์จะบอกสิ่งที่พิมพ์คาดว่าหลุม นี้จะเป็นประโยชน์มากถ้าคุณได้รับสับสนหรือเป็นเพียงการทำงานในสิ่งที่ซับซ้อน คุณลักษณะที่ยืมมาจาก Agda และความคิดทั่วไปคือการปล่อยให้คุณพัฒนาใน "เป้าหมายที่มุ่งเน้น" วิธีที่คุณสามารถพัฒนาขั้นตอนโดยขั้นตอนที่ในแต่ละขั้นตอนที่คุณรู้ว่าสิ่งที่ประเภทคุณมีอยู่แล้วและสิ่งที่ประเภทที่คุณต้องการ . งานของคุณตอนนี้เป็นเพียงการกรอกข้อมูลลงในช่องว่างที่ในสาระสำคัญเป้าหมายคือการเปิดประสบการณ์ชุดที่มุ่งเน้นมากขึ้นในการสนทนากับคอมไพเลอร์ คุณสามารถคาดหวังบรรณาธิการที่จะเริ่มต้นการใช้ประโยชน์จากคุณลักษณะเหล่านี้มีพฤติกรรมเหมือนโหมด Agda การขับรถดีขึ้น: เมื่อเร็ว ๆ นี้ได้มีการผลักดันมากขึ้นเพื่อปรับปรุงระบบนิเวศ Haskell ทั่วไป รุ่นใหม่ของ Hackage ได้รับการรีดออก FP สมบูรณ์ก่อตั้งขึ้นและปล่อย IDE บนเว็บในเชิงพาณิชย์ พันธมิตรได้รับการปรับปรุงให้ดีขึ้นอย่างเห็นได้ชัดรวมทั้งการสนับสนุนพื้นเมืองสำหรับเรียงรายผมคาดว่าแนวโน้มนี้จะดำเนินต่อไปรวมถึงการปรับปรุงถึงบรรณาธิการ Haskell เป็นที่นิยมเช่น Emacs ที่ผมกล่าวถึงการติดต่อสื่อสารที่เพิ่มขึ้นก่อนหน้านี้ซึ่งเป็นส่วนน้อยที่มีการแก้ไข ผมยังคิดว่าคนที่มีโอกาสที่จะเพิ่มการสนับสนุน Haskell ตารางแสงในบางจุด แต่ที่อาจจะใช้ในขณะที่ยังหนึ่งในโครงการที่น่าตื่นเต้นอย่างยิ่งที่จะชี้ให้เห็นเป็น IHaskell นี้สร้างขึ้น Haskell REPL ด้านบนของ IPython ทำให้การส่งออกที่ดียิ่งขึ้นเช่นภาพหรือ HTML ก็ยังคงค่อนข้างทดลอง แต่การเดินทาง มันเล่นได้ดีกับห้องสมุด Haskell ภาพเช่นไดอะแกรมและแผนภูมิการบริโภคมากขึ้น: การเขียนโปรแกรมการทำงานได้รับการกดมากขึ้นเมื่อเร็ว ๆ นี้และได้รับประโยชน์ Haskell แน่นอน ฉันได้พบอย่างแน่นอนการเพิ่มจำนวนของคนที่อยู่ในหุบเขาที่มีความสนใจในการใช้ Haskell สำหรับโครงการหรือเพิ่งเริ่มต้น เราได้เห็นอย่างแน่นอนชัดเจนมากขึ้นในจำนวนคนที่มาถึง meetups และ hackathons ซึ่งเป็นตัวบ่งชี้ที่ดีฉันไม่คิดว่า Haskell จะกลายเป็นสุดที่เป็นที่นิยมในอนาคตอันใกล้ แต่ฉันไม่คิดว่ามันจะเห็นการใช้มากขึ้นและ ด้อยน้อยผมไม่สามารถทำให้การคาดการณ์มากมายเกี่ยวกับระยะยาว Haskell จะยังคงแข็งแกร่งและผมไม่เห็นว่ามันสูญเสียไอน้ำเป็นเวลานานยัง ยังคงมีความอุดมสมบูรณ์ของการวิจัยที่จะทำและผู้คนที่ยังคงสนใจและเต็มใจที่จะทำงานในภาษาตัวเองและระบบนิเวศของชุมชน Haskell ไม่ใหญ่ แต่ก็ใช้งานมากและมีประสิทธิภาพ Haskell จะยังคงได้รับการสนับสนุนเป็นอย่างดีและได้รับการพัฒนาอย่างแข็งขันเป็นเวลานานดังนั้นจึงเป็นทางเลือกที่ดีสำหรับภาษาในระยะยาว

ผลลัพธ์ (ไทย) 3:

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

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

สรุปแล้ว เป้าหมายคือเพื่อเปิดชุดเพิ่มเติมที่มุ่งเน้นประสบการณ์ในการสนทนากับผู้แปล คุณสามารถคาดหวังการแก้ไขบางอย่างเพื่อเริ่มต้นการใช้ประโยชน์จากคุณสมบัติเหล่านี้ทำตัวเหมือนโหมด agda .
ปรับปรุงเครื่องมือ : เมื่อเร็วๆ นี้มีการดันมากขึ้นเพื่อปรับปรุงระบบนิเวศ ธทั่วไป เวอร์ชั่นใหม่ของ hackage ถูกรีดออก FP ที่สมบูรณ์ได้ก่อตั้งขึ้นและเปิดตัวเว็บพาณิชย์ IDE . คาบาลได้รับการปรับปรุงอย่างเห็นได้ชัดรวมถึงการสนับสนุนพื้นเมืองสำหรับ sandboxes

ฉันหวังว่าแนวโน้มนี้ต่อไป รวมทั้งการปรับปรุงความนิยม c บรรณาธิการเช่น Emacs . ผมกล่าวถึงการติดต่อสื่อสารเพิ่มขึ้นก่อนหน้านี้ซึ่งเป็นอย่างน้อยบางส่วนแก้ไขคุณลักษณะ ฉันคิดว่าใครบางคนมีแนวโน้มที่จะเพิ่มการสนับสนุนให้ฮาสเคลแสงตารางในบางจุด แต่อาจจะต้องใช้เวลาอีก

หนึ่งที่น่าตื่นเต้นโดยเฉพาะอย่างยิ่งโครงการชี้เป็น ihaskell . นี้สร้างขึ้น repl c บน ipython ให้รวยออก เช่น ภาพหรือ HTML มันก็ยังค่อนข้างทดลอง แต่ได้มีเล่นได้ดีกับ Visual c ห้องสมุด เช่น ไดอะแกรมและแผนภูมิ .
ใช้เพิ่มเติม : โปรแกรมการทำงานได้มากขึ้น และกดเพิ่มเติมเมื่อเร็ว ๆ นี้ และ ธได้แน่นอนในปัจจุบัน . ฉันได้พบการเพิ่มจำนวนของผู้คนในหุบเขาที่มีความสนใจในการใช้ c สำหรับโครงการหรือเพิ่งเริ่มต้น .เราได้เห็นการเพิ่มขึ้นเครื่องหมายในจํานวนคนมา meetups และ hackathons ซึ่งเป็นตัวบ่งชี้ที่ดี

ผมไม่คิดว่า ธจะกลายเป็นซุปเปอร์ยอดนิยมในใกล้อนาคต แต่ผมคิดว่า มันจะเห็นใช้มากขึ้นและน้อยลงชายขอบ

ฉันไม่สามารถทำให้การคาดการณ์มากเกี่ยวกับ ในระยะยาว แอสเค็ลล์จะยังคงแข็งแกร่งและฉันไม่เห็นมันสูญเสียไอน้ำเป็นเวลานานยังยังคงมีการวิจัยมากมายที่ต้องทำ และยังมีคนสนใจและยินดีที่จะทำงานกับภาษาตัวเอง และระบบนิเวศ

ชุมชน Erlang จะไม่ใหญ่ แต่มันเป็นสิ่งที่ใช้งานและมีประสิทธิภาพ แอสเค็ลล์ยังคงจะได้รับการสนับสนุนอย่างดีและกระตือรือร้นพัฒนามาเป็นเวลานาน ดังนั้นจึงเป็นทางเลือกที่ดีสำหรับภาษาระยะยาว