Glasgow Haskell Compiler

Nó hiện đang hỗ trợ các ngôn ngữ toàn bộ Haskell 98 và một loạt các phần mở rộng ngôn ngữ

Tính năng .

• GHC có hỗ trợ đặc biệt tốt cho đồng thời và xử lý song song, bao gồm hỗ trợ cho phần mềm giao dịch Memory (STM).
• GHC tạo mã nhanh, đặc biệt cho chương trình đồng thời. Hãy nhìn vào hiệu suất GHC trên The Computer Language Benchmarks Game, và một số ý kiến ​​về Haskell bởi các tổ chức hiện tại của các loạt đá luân lưu, Brent Fulgham.
• GHC hoạt động trên nhiều nền tảng bao gồm cả Windows và hầu hết các giống Unix, và một số kiến ​​trúc vi xử lý khác nhau. Có hướng dẫn chi tiết cho porting GHC một nền tảng mới.
• GHC có khả năng tối ưu hóa rộng lớn, bao gồm tối ưu hóa liên module.
• GHC biên dịch mã Haskell hoặc bằng cách sử dụng một trình biên dịch C trung gian (GCC), hoặc bằng cách tạo ra mã nguồn gốc trên một số nền tảng. Các môi trường tương tác biên dịch để bytecode Haskell, và hỗ trợ thực hiện các bytecode hỗn hợp / chương trình biên dịch.
• Profiling được hỗ trợ, cả theo thời gian / phân bổ và các loại khác nhau của đống hồ sơ.
• GHC đi kèm với một loạt các thư viện.

là gì mới trong phiên bản này:

• Theo mặc định, GHC đã cảnh báo mới kích hoạt, -fwarn -typed-lỗ, gây ra các trình biên dịch để đáp ứng với các loại biến cởi nó gặp trong mã nguồn.
• Bây giờ có thể tuyên bố một 'đóng' kiểu gia đình khi sử dụng phần mở rộng TypeFamilies.
• GHC bây giờ hỗ trợ quá tải danh sách các chữ bằng cách sử dụng OverloadedLists mở rộng mới.
• GHC bây giờ hỗ trợ từ đồng nghĩa mô hình, kích hoạt phần mở rộng -XPatternSynonyms.

là gì mới trong phiên bản 7.6.2:

• A lâu lỗi typechecker cho phép để unsafeCoerce được bằng văn bản đã được cố định.
• Một lỗi đã được cố định gây ra GHC để đôi khi không nhận ra rằng biên dịch lại là cần thiết.
• Nếu cả hai -H và một -M & # x3c, kích thước & # x3e; treo cờ được đưa ra, thì GHC sẽ không còn vượt quá kích thước heap tối đa.
• Một lỗi off-by-một, mà có thể gây ra segfaults, trong cờ phân tích RTS đã được cố định.
• lỗi khác nhau mà có thể gây ra GHC hoảng sợ khi biên dịch tập tin nguồn nào đó đã được cố định.
• Một số lỗi trong loại hình kiểm tra DataKinds và PolyKinds mở rộng đã được cố định.
• Hiệu suất của chương trình biên dịch đã được cải thiện trong một số trường hợp.

là gì mới trong phiên bản 7.6.1:

• loại đa hình và quảng bá dữ liệu bây giờ được thực hiện đầy đủ và các tính năng hỗ trợ:. Phần 7.8, & quot; Kind đa hình & quot;
• Windows 64bit hiện nay là một nền tảng được hỗ trợ.
• Nó bây giờ có thể trì hoãn cho đến khi loại lỗi thời gian chạy bằng cách sử dụng -fdefer-type-lỗi flag:. Mục 7.13, & quot; trì hoãn loại lỗi thời gian chạy & quot;
• Các RTS hiện nay hỗ trợ thay đổi số lượng các khả năng trong thời gian chạy với Control.Concurrent.setNumCapabilities:. Phần 4.15.2, & quot; tùy chọn RTS cho SMP song song & quot;

là gì mới trong phiên bản 7.4.2:.

• hp2ps bây giờ có thể xử lý các dấu gạch chéo ngược trong định danh chính xác
• Cố định lỗi trong việc thực hiện mặc định của popCount trong Data.Bits.
• Một tình trạng đua tiềm năng trong Control.Concurrent.Chan đã được cố định.
• Một lỗi MVAr mà có thể gây ra sự bế tắc đã được cố định.
• Khi sử dụng -fwarn-không an toàn, GHC giờ đây báo cáo mở rộng ngôn ngữ không an toàn.
• Các RTS không ren giờ tránh wakeups khi hệ thống nhàn rỗi.
• Một lỗi gây ra một vụ tai nạn với một khởi đầu rất nhỏ kích thước ngăn xếp đã được cố định.

là gì mới trong phiên bản 7.4.1:

• Có một tính năng mới Safe Haskell (-XSafe , -XTrustworthy, -XUnsafe): Mục 7.23, & quot; Safe Haskell & quot ;. Việc thiết kế đã thay đổi kể từ 7.2.
• Có một tính năng mới đa hình loại (-XPolyKinds): Phần 7.8.1, & quot; Kind đa hình & quot ;. Một tác dụng phụ của việc này là, khi phần mở rộng không được kích hoạt, trong những hoàn cảnh nhất định các loại đang mặc định để * chứ không phải được suy ra.
• Có một tính năng mới các loại hạn chế (-XConstraintKinds):. Mục 7.10, & quot; Các loại Constraint & quot;
• Nó bây giờ có thể cung cấp cho bất kỳ loại khai tại ghci nhắc:. Phần 2.4.4, & quot; Type, lớp và tờ khai khác & quot;
• Các profiling và hpc triển khai đã được sáp nhập và đại tu. Thay đổi nhìn thấy được bao gồm đổi tên của profiling cờ và các ngăn xếp chi phí trung tâm có một ngữ nghĩa mới, mà nên trong nhiều trường hợp dẫn đến profile hữu ích hơn và trực quan. Các + RTS cờ -xc bây giờ cũng đưa ra một vết đống.
• Nó bây giờ có thể viết bổ sung biên dịch:. Phần 9.3, & quot; Compiler Plugins & quot;
• hỗ trợ DPH đã được cải thiện đáng kể.
• Hiện nay có hỗ trợ sơ bộ để lập registerised trên nền tảng ARM, sử dụng LLVM.

là gì mới trong phiên bản 7.0.4:

• Một hồi quy điểm nổi trong 7.0.3 ảnh hưởng đến x86 đã được cố định.
• Các GHCi mối liên kết bây giờ xử lý các tập tin đối tượng bị tước một phần. Điều này sửa lỗi tải các gói GHC trong ghci khi nó bị tước bỏ, mà thường là trường hợp trong gói phân phối Linux.
• Một lỗi đã gây ra hậu quả xấu từ getCPUTime, getClockTime và getCurrentTime đã được cố định.
• Một lỗi hệ thống thời gian chạy với đống lớn đã được cố định.
• Một lỗi hệ thống runtime khi đống hồ sơ đã được cố định.
• Một lỗi hệ thống runtime khi đống hồ sơ đã được cố định.
• Một lỗi hệ thống thời gian chạy, mà gây ra kết quả không chính xác và segfaults khi sử dụng FFI callbacks, đã được cố định.
• Một lỗi hệ thống thời gian chạy, mà đôi khi gây ra các chương trình song song để & # x3c; & # x3c; loop & # x3e; & # x3e; khi sử dụng -feager-blackholing, đã được cố định.
• thư mục cho phép không đúng khi việc cài đặt đã được cố định.
• Một số cải tiến đã được thực hiện để hỗ trợ TestSuite mới Cabal.
• Cabal tại là 1.10.2.0 (đã 1.10.1.0).

là gì mới trong phiên bản 7.0.2:

• Compiler:
• Các cũ [$ foo | ... |]. Cú pháp làm việc trở lại, nhưng bị phản đối
• Đã có improvments đáng kể đến các loại kiểm tra mới.
• GHCi:
• tải .a thư viện hiện nay có thể trên tất cả các nền tảng. Một thư viện .o vẫn sẽ được sử dụng bởi sở thích nếu cả hai tồn tại. GHCi sẽ không còn cảnh báo về việc mất tích .o thư viện.
• Chúng tôi bây giờ đóng .ghci tập tin sau khi đọc chúng, mà trên các máy tính Windows cho phép họ được thay đổi trong khi GHCi đang chạy.
• Nó bây giờ có thể:. Unset các biến ghci (args, ăn xin, kịp thời, biên tập viên và stop)
• Runtime hệ thống:
• DTrace hiện đang được hỗ trợ trên Solaris, ngoài OS X.
• Hệ thống xây dựng:
• OS X được xây dựng trên 10,6 bây giờ làm việc trên cả hai 10,5 và 10,6.
• cài đặt Windows hiện nay bao gồm các libstdc ++ DLL.
• Haddock:
• GHC bây giờ đi kèm với cá tuyết chấm đen 2.9.0.
• GHC hiện nay bao gồm cơ sở dữ liệu hoogle cho các thư viện.

là gì mới trong phiên bản 7.0.1:

• Trên các nền POSIX, có một tôi mới / O quản lý dựa trên epoll / kqueue / thăm dò ý kiến, đa luồng cho phép mã tôi / O mở rộng để một số lượng lớn hơn nhiều (100k +) của chủ đề.
• GHC nay bao gồm một máy phát điện mã LLVM. Đối với mã số, mã nặng đặc biệt là số học, bằng cách sử dụng máy phát điện mã LLVM có thể mang lại một số cải tiến hiệu suất tốt đẹp.
• Các loại kiểm tra đã được đại tu, có nghĩa là nó bây giờ có thể xử lý một cách chính xác sự tương tác giữa các phần mở rộng hệ thống kiểu.
• Các inliner đã được đại tu, mà nên nói chung cho hiệu suất tốt hơn trong khi giảm không cần thiết nổ mã kích thước.
• : phần lớn các hệ thống thời gian chạy đã được đại tu, đặc biệt là các máy móc liên quan đến ngăn chặn và wakeup các chủ đề và các ngoại lệ ném (throwTo). Một số trường hợp bệnh lý của hiệu suất đã được cố định, đặc biệt là có số lượng lớn các chủ đề có liên quan.
• Do những thay đổi trong hệ thống thời gian chạy, nếu bạn đang sử dụng Control.Parallel.Strategies từ gói song song, hãy nâng cấp lên ít nhất là phiên bản 2 (tốt nhất là phiên bản 3). Việc thực hiện các chiến lược song song-1.x sẽ mất song song với GHC 7.0.1.