Haskell

Tình báo kỹ thuật>プログラミング> Haskell

Haskell:: Functional Programming with Types

HaskellはQuan sổ hình ngôn ngữであり, tha のプログラミング ngôn ngữ を xúc ったことのある đọc giả なら, Haskellのやり phương は tha の ngôn ngữ とは đa thiếu dị なっていることが phân かるでしょう.

Haskellの độc tự tính は nhị つあります. Nhất つは, “Thuần 粋” quan sổ hình ngôn ngữ であることです. Thuần 粋 quan sổ hình ngôn ngữ では, đồng じ quan sổ を đồng じ dẫn sổ で hô び xuất した tràng hợp, tất ず đồng じ lệ り trị になることが bảo chứng されます. Nhị つ mục は, Haskellが cực めて hiện đại đích な hình lý luận を bị えていることです. Haskellでは, hình クラスや đại sổ đích データ hình などの hình を tráp うことができます. これらの nan giải な khái niệm は, kim は toàn く lý giải できないかもしれませんが, この bổn を đọc み chung えた hậu には, より thân cận なものに cảm じられるでしょう.

さて, Haskellerたちはこの ngôn ngữ のどこに mị lực を cảm じているのでしょうか. ユニークで tân しい cảm 覚を đắc られるからでしょうか. しかし, Haskellの tối も ưu れた tính chất は, thuần 粋 quan sổ のみによって thư かれていることで, プログラムを dung dịch に lý giải でき, プログラムの chính しさを giản 単に kỳ せることです. さらに, ưu れた hình システムは, ngộ ったプログラムの tu chính にも dịch lập ちます. 単 thuần なミスだけでなく, căn の thâm い, ách giới な vấn đề の giải quyết にも dịch lập つのです.

この bổn では, Haskellおよびプログラミング nhất bàn に quan するトピックを tráp います. Thục luyện プログラマの đọc giả は, tối sơ の gian は thiếu し tân bão して đọc み tiến めていただきたいです. Haskellは, đọc giả が quán れ thân しんできたであろう tha の ngôn ngữ のほとんどと toàn く dị なっており, tha の ngôn ngữ での tích み thượng げてきた tập quán がかえって lý giải の phương げになるかもしれません. Haskellの sĩ tổ みは単 thuần ですが, tha の ngôn ngữ とは dị なっているのです. Tha の ngôn ngữ でのプログラミング kinh nghiệm のある đọc giả は, dĩ tiền とは toàn く dị なる thế giới, phục tạp な đối tượng への xảo みなプログラミングと, quan sổ hình プログラマの sổ học đích tư khảo pháp の thế giới を tham kiểm するつもりでいてほしい.

はじめに

この bổn は3つの bộ phân, sơ cấp giáo trình, thượng cấp giáo trình, thật dụng プログラミングのセクションからできている. Thật dụng プログラミングの hạng mục では, thật tế の tràng diện で sử うプログラミングの phương pháp について giải thuyết する. これは sơ cấp giáo trình だけの tri thức で đọc むことができる.

Sơ cấp giáo trình

このセクションでは, Haskellの tối も cơ bổn đích な bộ phân と, tần phồn に lợi dụng するライブラリを thiệu giới する. この giáo trình によって, 単 thuần なプログラムを thư くことができるようになる. ほとんどの chương には diễn tập vấn đề があり, tân しく học んだ tri thức について luyện tập することができる. Giải đáp つき.

Haskellの cơ bổn はじめに

Haskell - sơ cấp テンプレート:Haskell chapter/Elementary Haskell

Haskell - trung cấp モジュール ファンクタ hình クラス

モナド テンプレート:Haskell chapter/Monads

Thượng cấp giáo trình

このセクションでは, quan sổ hình プログラミング ngôn ngữ Haskellの tráp う dạng 々な lý luận đích khái niệm を thiệu giới する. Hình lý luận, データ cấu tạo の giải thuyết に gia えて, プログラムの tịnh hành tính といった thật dụng đích な nghị luận もここで hành う.

Haskell - thượng cấp Arrow hình Arrowとは hà か 継続 độ しスタイル (CPS) 変 canh khả năng なオブジェクト Zippers Applicative Functors モノイド Tịnh hành tính

Hình のいろいろ Đa tương hình の cơ sở Tồn tại lượng hóa された hình Hình クラス Phantom hình Generalised algebraic data-types (GADT) Datatype algebra Hình コンストラクタとKind

より quảng い lý luận Biểu kỳ đích ý vị luận Quyển luận カリー=ハワード đồng hình Bất động điểm と tái quy

Haskellの cao tốc hóa Đạo nhập Lệ グラフ giản ước Trì diên tính Thời gian と sử dụng lĩnh vực のプロファイリング Chính cách tính アルゴリズムの phục tạp tính データ cấu tạo Tịnh liệt tính

Haskellで thật dụng プログラミング

このセクションでは, より thật tế の vấn đề をプログラミングする tràng diện で tất yếu になる, tiêu chuẩn ライブラリの sử い phương やGUIの tác り phương, データベースへの tiếp 続といった nội dung を giải thuyết する.

Libraries Reference テンプレート:Haskell chapter/Libraries Reference

General Practices テンプレート:Haskell chapter/General Practices

Specialised Tasks テンプレート:Haskell chapter/Specialised Tasks

Appendices

Answers to exercises

Authors and Acknowledgements

Experimental Modules

List of topics

Notes for contributors

Syntactic sugar

Templates for the Haskell wikibook

To do

Alternate tutorials

• Haskell Meta-tutorial- the tutorial to find other tutorials
• 48 thời gian でSchemeを thư こう- (imported) An alternate approach to teaching Haskell (and perhaps Scheme), aimed at a more advanced audience (though not necessarily one that knows how to program!)
• Yet Another Haskell Tutorial- (imported) is aimed at beginners and takes a practical approach to things. It is now part of this wikibook and will eventually be mixed in to the main text.

Additional resources

• haskell.org - Resources for learning Haskell.
• The resource pageforHaskell: the craft of functional programming