https://github.com/erszcz/gradualizer-talk

Slides and examples for a Krakow Erlang/Elixir Meetup talk on Gradualizer
https://github.com/erszcz/gradualizer-talk

erlang gradual-typing type-system

Last synced: 22 days ago
JSON representation

Slides and examples for a Krakow Erlang/Elixir Meetup talk on Gradualizer

• Host: GitHub
• URL: https://github.com/erszcz/gradualizer-talk
• Owner: erszcz
• Created: 2019-01-22T16:20:24.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2020-10-29T11:19:54.000Z (over 4 years ago)
• Last Synced: 2024-11-19T10:45:16.000Z (3 months ago)
• Topics: erlang, gradual-typing, type-system
• Language: HTML
• Homepage:
• Size: 435 KB
• Stars: 0
• Watchers: 2
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Gradualizer - a gradual type system for Erlang

This is a talk I prepared for

[the January 2019 edition of Erlang/Elixir Kraków Meetup](https://www.meetup.com/Elixir-Krakow/events/257965594).

I'm **not** the author of [Gradualizer](https://github.com/josefs/Gradualizer) - credits

go to Josef Svenningsson and the project team attracted by his idea.

These slides are created with [Remark.js](https://remarkjs.com/#1) - a

presentation tool using HTML5+JavaScript.

To view them, please follow the steps:

```

git clone https://github.com/erszcz/gradualizer-talk

cd gradualizer-talk

python -m SimpleHTTPServer 8080

```

And open `localhost:8080` in your browser. Alternatively, you can just

browse `slides.md` which is the Markdown source of the slides.

It's readable, but GitHub doesn't render it accurately due to some Remark syntax.