Haskell » History » Revision 53

« Previous | Revision 53/90 (diff) | Next »
Grigoriy Volkov, 09/13/2019 04:58 PM

Haskell¶

Денис Москвин. Функциональное программирование на языке Haskell. stepik.org, видеокурс

Часть 1.
Часть 2.

Полезные ссылки

Настройка редакторов для поддержки Haskell

stack ghci protesk:lib protesk:exe:example-that-uses-protesk

^^ running an executable that depends on the main lib requires listing the lib on the console!!

:set -fbreak-on-error -fbreak-on-exception
:trace machineMain
:force _exception
:hist
:back

refined — refinement types

type ProperFraction = Refined (And (Not (LessThan 0)) (Not (GreaterThan 1))) Double

Data.Sequence — list with fast append on both sides
bound: Making de Bruijn Succ Less — convenient combinators for working with "locally-nameless" terms. These can be useful when writing a type checker, evaluator, parser, or pretty printer for terms that contain binders like forall or lambda
Workflow — computations resumable from storage (!)
capability — effects based on DerivingVia
SMT:
- concat (z3cat || smt example) — Compiling to categories — compiler plugin for translating normal Haskell functions (on standard types) to SMT, etc.
- SBV: SMT Based Verification — translates Haskell functions on custom symbolic types
Testing:
- leancheck enumerative property-based testing core
  - extrapolate generalize counter-examples of properties
  - speculate discover properties
  - fitspec refine properties by mutation
- hedgehog property
- dejafu concurrency
- type-spec: type level testing eDSL
- should-not-typecheck
Constraints:
HKD:
(Reversible) Parsing:
- by Paweł Nowak (Pavel Christof?) @2004 USED NOW
- Unparse by Tillmann Rendel and Klaus Ostermann @2010
- (related) new optics library, alternative to lens
- https://hackage.haskell.org/package/binary

Files (0)