Haskell 资源库使用教程

Haskell 资源库使用教程

haskell-resources A List of Foundational Haskell Papers 项目地址: https://gitcode.com/gh_mirrors/ha/haskell-resources

1. 项目目录结构及介绍

本项目是一个Haskell资源的集合，包含了多篇关于Haskell语言的基础论文。以下是项目的目录结构：

haskell-resources/
├── .gitignore
├── LICENSE
├── README.md
├── download.js
└── papers/
    ├── A_History_of_Haskell_being_lazy_with_class.pdf
    ├── Propositions_as_Types.pdf
    ├── Type_Classes.pdf
    ├── True_Sums_of_Products.pdf
    ├── Type_Families.pdf
    ├── GADTs.pdf
    ├── First_Class_Modules_in_Haskell.pdf
    ├── Kind_Promotion.pdf
    ├── Kleisli_Arrows_of_Outrageous_Fortune.pdf
    ├── Let-floating.pdf
    ├── Parallel_Garbage_Collection.pdf
    ├── Tackling_the_Awkward_Squad.pdf
    ├── Lazy_State_Threads.pdf
    ├── General_State.pdf
    ├── The_Spineless_Tagless_G-machine.pdf
    ├── Making_a_Fast_Curry_STG_Sequel.pdf
    ├── Stream_Fusion_From_Lists_to_Streams_to Nothing_at_All.pdf
    ├── Lambda_Calculus_with_Types.pdf
    ├── The_Call_by_Need_Lambda_Calculus.pdf
    ├── The_Lazy_Lambda_Calculus.pdf
    ├── System_F_with_type_equality_coercion.pdf
    ├── System_FC_with_Kind_Equality.pdf
    ├── Parametricity.pdf
    ├── Theorems_for_Free.pdf
    ├── Free_theorems_for_TyCons.pdf
    ├── Parametric_Polymorphism.pdf
    ├── Type_Derivatives_and_Typed_Holes.pdf
    ├── Suggesting_Valid_Hole_Fits.pdf
    ├── Parametric_HOAS.pdf
    ├── Tutorial_on_Bidirectional_Type_Inference.pdf
    ├── Tutorial_Implementation_of_Dependent_Types.pdf
    ├── Pfenning's_Notes_on_Bidirectional_Type_Inference.pdf
    ├── EdK's_bound.pdf
    ├── Library_Comparisons.pdf
    ├── Bidirectional_Typechecking_for_Higher_Rank_Polymorphism.pdf
    ├── Tutorial_Implementation_of_Hindley-Milner.pdf
    ├── De_Bruijn_Indices.pdf
    ├── The_Stitch_Type_Checker.pdf
    ├── Boxes_go_Bananas.pdf
    ├── Functional_pearls.pdf
    ├── The_countdown_problem.pdf
    ├── A_program_to_solve_Sudoku.pdf
    ├── Calculating_correct_compilers.pdf
    ├── Data_types_a_la_carte.pdf
    ├── Trees_that_grow.pdf
    ├── I_am_not_a_Number_I_am_a_Free_Variable!.pdf
    ├── Notions_of_Computation_as_Monoids.pdf
    ├── Algebraic_Graphs_with_Class.pdf
    ├── Algebra_of_programming.pdf
    ├── Functional_programming_with_Bananas_Lenses_and_Barbed_Wire.pdf
    ├── Origami_programming.pdf
    ├── A_tutorial_on_the_universality_and_expressiveness_of_fold.pdf
    ├── Unifying_Structured_Recursion_Schemes.pdf
    ├── Bananas_in_Space.pdf
    ├── Conjugate_Hylomorphisms.pdf
    └── Adjoint_Folds.pdf

• papers/：存放所有Haskell相关的论文PDF文件。
• .gitignore：定义了在版本控制中应该忽略的文件和目录。
• LICENSE：项目的开源许可证文件。
• README.md：项目的说明文件，包含了项目的描述和如何使用等信息。
• download.js：用于下载资源的JavaScript脚本（本教程中不涉及此文件的使用）。

2. 项目的启动文件介绍

本项目不包含可执行的启动文件，因为它是静态资源集合。所有文件都是可以直接查看的PDF论文，不需要特定的启动步骤。

3. 项目的配置文件介绍

本项目同样不需要配置文件。所有资源都是直接存储在目录中，用户可以直接通过文件浏览器访问和查看这些论文。

以上就是本项目的基本介绍和使用方法。希望这些资源能够帮助您更好地学习和理解Haskell语言。如果您发现任何链接失效或文件损坏，请及时提出issue，以便维护者能够更新资源。

haskell-resources A List of Foundational Haskell Papers 项目地址: https://gitcode.com/gh_mirrors/ha/haskell-resources