{
  "id": "language:haskell",
  "_kind": "Language",
  "_file": "domain/languages/haskell.yaml",
  "_cluster": "domain",
  "attributes": {
    "displayName": "Haskell",
    "paradigms": [
      "functional",
      "pure",
      "lazy"
    ],
    "description": "Haskell is a purely functional, lazy-evaluated, statically-typed language\nwith an expressive Hindley-Milner type system and type classes. It treats\nall I/O and side effects through monads, making the boundary between pure\nand effectful code explicit.\n\nHaskell excels in compiler and language tooling, formal verification\nadjacent work, and domains where algebraic abstractions (functors,\nmonoids, traversables) provide architectural clarity. The GHC compiler\nincludes advanced features such as type families, GADTs, linear types,\nand Template Haskell. Libraries like servant (type-safe APIs), conduit\n(streaming), and optics are widely used in production code.\n"
  },
  "outgoingEdges": [
    {
      "from": "language:haskell",
      "to": "domain:computer-science",
      "kind": "applies_to",
      "attributes": {}
    },
    {
      "from": "language:haskell",
      "to": "domain:software-engineering",
      "kind": "applies_to",
      "attributes": {}
    }
  ],
  "incomingEdges": [
    {
      "from": "library:aeson",
      "to": "language:haskell",
      "kind": "belongs_to_language"
    },
    {
      "from": "library:servant",
      "to": "language:haskell",
      "kind": "belongs_to_language"
    },
    {
      "from": "library:yesod",
      "to": "language:haskell",
      "kind": "belongs_to_language"
    },
    {
      "from": "library:conduit",
      "to": "language:haskell",
      "kind": "belongs_to_language"
    },
    {
      "from": "library:lens",
      "to": "language:haskell",
      "kind": "belongs_to_language"
    },
    {
      "from": "library:mtl",
      "to": "language:haskell",
      "kind": "belongs_to_language"
    },
    {
      "from": "library:quickcheck",
      "to": "language:haskell",
      "kind": "belongs_to_language"
    },
    {
      "from": "library:hspec",
      "to": "language:haskell",
      "kind": "belongs_to_language"
    },
    {
      "from": "library:stack-lib",
      "to": "language:haskell",
      "kind": "belongs_to_language"
    },
    {
      "from": "library:cabal-lib",
      "to": "language:haskell",
      "kind": "belongs_to_language"
    },
    {
      "from": "stack-profile:haskell-web-service",
      "to": "language:haskell",
      "kind": "composed_of"
    },
    {
      "from": "scope-boundary:haskell.scope",
      "to": "language:haskell",
      "kind": "bounds_subject"
    }
  ]
}