Haskell
A purely functional programming language known for its strong type system and lazy evaluation, supporting advanced concurrency abstractions such as software transactional memory.
Timeline (last 90 days)
In Haskell, all type constructors are curried by default and support partial application; for example, the Kind of Either String is * -> *.
Kind describes the shape of a type, while type classes describe the capabilities of a type; the two are at different levels of abstraction.
When defining an instance for Functor, the compiler checks whether the Kind of the target type is * -> *; if a type whose Kind is * (such as Int) is passed in, the compiler reports an error.
In Haskell, a Kind is the type of a type, describing how many type parameters a type constructor needs to accept before it becomes a concrete type.
The Kind of the type constructor Maybe is * -> *, and the Kind of Either is * -> * -> *.
The Kind of concrete types (such as Int and Bool) is * (now renamed Type).
Software transactional memory (STM) was once popular in Clojure and Haskell; it lets developers manipulate shared memory like database transactions, with the runtime handling conflict resolution and no explicit locking required.
Haskell's blaze-html library uses type-class constraints to guarantee the legality of HTML structure.
Version 1.1.3 removes invalid and duplicate separators in Kotlin, Rust, and Haskell (#37039).
The Result type (also known as the Either type) has been widely adopted in languages such as Rust, Haskell, and Kotlin.
6 more timeline events
All Facts (18)
用Haskell写编译器、摆弄Arduino开发板、可视化复杂数学图案等副项目在99%的情况下不会直接带来收入
70%UnverifiedXMonad is a tiling window manager written in Haskell.
60%UnverifiedKind describes the shape of a type, while type classes describe the capabilities of a type; the two are at different levels of abstraction.
50%UnverifiedIn Haskell, a Kind is the type of a type, describing how many type parameters a type constructor needs to accept before it becomes a concrete type.
50%UnverifiedThe Kind of concrete types (such as Int and Bool) is * (now renamed Type).
50%UnverifiedThe Kind of the type constructor Maybe is * -> *, and the Kind of Either is * -> * -> *.
50%UnverifiedIn Haskell, all type constructors are curried by default and support partial application; for example, the Kind of Either String is * -> *.
50%UnverifiedWhen defining an instance for Functor, the compiler checks whether the Kind of the target type is * -> *; if a type whose Kind is * (such as Int) is passed in, the compiler reports an error.
50%UnverifiedSoftware transactional memory (STM) was once popular in Clojure and Haskell; it lets developers manipulate shared memory like database transactions, with the runtime handling conflict resolution and no explicit locking required.
50%UnverifiedHaskell's blaze-html library uses type-class constraints to guarantee the legality of HTML structure.
50%UnverifiedVersion 1.1.3 removes invalid and duplicate separators in Kotlin, Rust, and Haskell (#37039).
50%UnverifiedThe Result type (also known as the Either type) has been widely adopted in languages such as Rust, Haskell, and Kotlin.
50%UnverifiedJava has checked exceptions, Rust uses Result<T, E> to enforce error handling, and Haskell uses Either — all of these languages incorporate the error path into the type system.
50%UnverifiedHaskell provides the function composition operator . , and F# provides the >> operator.
50%UnverifiedSupabase's PostgREST component is written in Haskell and automatically maps database tables to a RESTful API.
50%UnverifiedHaskell 使用 Monad（特别是 IO Monad）来封装副作用，Elm 采用 The Elm Architecture 通过消息传递模型处理副作用
50%UnverifiedHindley-Milner 类型系统是 ML 家族语言（包括 OCaml、Haskell、F#）的理论基础，核心特性是「主类型」
50%UnverifiedRhombus试图同时达到Lisp级别的宏能力和现代语言级别的语法友好度，这与Haskell布局规则和Scala 3可选花括号不同
50%