https://github.com/hasparus/refinement-types-in-typescript

lightning talk live coding I did on Wrocław TypeScript #7
https://github.com/hasparus/refinement-types-in-typescript

Last synced: about 1 month ago
JSON representation

lightning talk live coding I did on Wrocław TypeScript #7

• Host: GitHub
• URL: https://github.com/hasparus/refinement-types-in-typescript
• Owner: hasparus
• Created: 2019-09-24T12:28:53.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2020-11-03T16:53:06.000Z (over 5 years ago)
• Last Synced: 2024-10-19T05:17:56.111Z (over 1 year ago)
• Language: TypeScript
• Homepage:
• Size: 4.44 MB
• Stars: 2
• Watchers: 3
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Refinement Types in TypeScript

The code and the [_slides_](https://staltz.com/your-ide-as-a-presentation-tool.html) for the lightning talk live coding I did on [Wrocław TypeScript #7](https://www.meetup.com/pl-PL/WrocTypeScript/events/sjzhvqyzmbhc/).

The slides for [Kraków TypeScript User Group #5](https://www.meetup.com/typescript-krakow/events/266226393/)

are on the [extended-15-minutes](https://github.com/hasparus/refinement-types-in-typescript/tree/extended-15-minutes) branch.

---

I've got some notes about refinement types in a ~~[gist](https://gist.github.com/hasparus/9bd482e2ae904e8ee5f4080f04dc0ee8)~~ [blogpost](https://haspar.us/refinement-types).

There are links to some good stuff in the [5th slide](https://github.com/hasparus/refinement-types-in-typescript/blob/master/05.md).

You can find the notes I made to prepare for the talk in a [Dropbox Paper doc](https://paper.dropbox.com/doc/Refinement-Types-in-TypeScript--AlpBljHmlkyTshpx_rwmjaGjAQ-cZxqOn3c6GkVCONvPTjtE).