Statements (93)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
interpreter
|
| gptkbp:feature |
algebraic data types
pattern matching no modules no record field strict data field field field field annotations no record field lazy data field field field field annotations no record field strict data field field field field field field annotations no record field strict data field field field annotations no record field lazy data field field field field field field annotations no record field unpacked field field field annotations no record field strict data field field annotations no record field strict data field field field field field field field annotations no record field unpacked field field field field field field annotations no record field lazy data field field field annotations no record field unpacked field field field field field annotations case expressions explicit type abstractions explicit type annotations explicit type applications no record field strictness field field field field annotations let bindings no GADTs no Template Haskell no data kinds no defaulting no deriving no do-notation no foreign function interface no implicit imports no implicit parameters no lambda-case no list comprehensions no multi-way if no newtypes no overloaded literals no pattern guards no pattern synonyms no record field constraints no record field defaults no record field lazy data no record field lazy data field annotations no record field lazy data field field annotations no record field lazy data fields no record field lazy fields no record field patterns no record field selectors no record field strict data no record field strict data field annotations no record field strict data fields no record field strict field annotations no record field strict fields no record field strictness no record field strictness annotations no record field strictness field annotations no record field strictness field field annotations no record field types no record field unpacked field annotations no record field unpacked field field annotations no record field unpacked fields no record field unpacking no record field updates no record punning no record wildcards no records no roles no syntactic sugar no type applications (user syntax) no type classes (desugared) no type families no type synonyms no type-level programming no user-defined infix operators no view patterns primitive operations no record field strictness field field field annotations no record field strictness field field field field field field field annotations no record field lazy data field field field field field field field annotations no record field strict data field field field field field annotations no record field strictness field field field field field annotations no record field unpacked field field field field field field field annotations no record field lazy data field field field field field annotations no record field strictness field field field field field field annotations no record field unpacked field field field field annotations |
| https://www.w3.org/2000/01/rdf-schema#label |
GHC Core
|
| gptkbp:influencedBy |
gptkb:System_F
|
| gptkbp:language |
gptkb:Haskell
|
| gptkbp:purpose |
enable optimizations
simplify Haskell code |
| gptkbp:type |
gptkb:polymorphic_lambda_calculus
|
| gptkbp:usedBy |
gptkb:Glasgow_Haskell_Compiler
|
| gptkbp:bfsParent |
gptkb:System_F
gptkb:system_F |
| gptkbp:bfsLayer |
6
|