Haskell Language


31 Requested Topics

Dependent Types Motivate the idea of Dependent Types and why and how it may be useful and provide a basic introduction to it. This could also be an introduction to the various language extensions (e.g. TypeInType) in Haskell that gets one closer to fully Dependent Types. requested by Vijaya Rani 95 3 comments
Extensible Records What they are and the different approaches for how to get them in Haskell. requested by Elliot Cameron 3,021 1 comment
Arithmetic Basic arithmetic given static typing in Haskell. Things like fromIntegral, numeric hierarchy (things like Floating, Integral, RealFrac etc), difference between mod and div, rounding etc requested by Mirzhan Irkegulov 7,334
Anonymous Records What they are, comparisons in other languages, and how to get them in Haskell. requested by Elliot Cameron 3,021
View more

0 Proposed Changes

No proposed changes.

Changes which need review will be displayed here.