https://github.com/gvolpe/types-matter

Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual
https://github.com/gvolpe/types-matter

haskell newtypes refined refinement-types types

Last synced: 11 months ago
JSON representation

Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual

• Host: GitHub
• URL: https://github.com/gvolpe/types-matter
• Owner: gvolpe
• License: apache-2.0
• Created: 2019-09-06T01:24:21.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2020-05-16T09:29:26.000Z (about 6 years ago)
• Last Synced: 2025-07-14T03:34:24.379Z (12 months ago)
• Topics: haskell, newtypes, refined, refinement-types, types
• Language: Haskell
• Homepage:
• Size: 34.2 KB
• Stars: 10
• Watchers: 5
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
types-matter

============

Examples shown on my talk [Why types matter](https://slides.com/volpegabriel/why-types-matter) originally given at [Stack Builders](https://www.stackbuilders.com/) on September 2019 in Quito, Ecuador.

An [updated talk](https://slides.com/volpegabriel/types-matter-ft) has been given at the [Functional Tricity Meetup](https://www.meetup.com/FunctionalTricity/events/269763842/) on April 2020, remotely.

### Build

```

nix-shell --run 'cabal new-build'

```