talk "types as values"

[Fronx]

hey,

at the last meetup i suggested a topic for a talk i could give.

working title: "types as values"

it would be an introduction to type constructors, kinds, functional dependencies, type families, and possibly a little bit of type-level computation. knowing some haskell syntax will be useful, but is not required.

i won't be able to explain how to implement those features in your own language, but i will try to at least provide everybody with a foundation for navigating the space.

let me know if you have any specific requests or questions, so i can prepare more betterer.

-fronx

[Marijn Haverbeke]

Sounds wonderful! I've listed the talk on the website.

> --
> You received this message because you are subscribed to the Google Groups
> "Berlin Compiler Meetup" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to berlin-compiler-m...@googlegroups.com.
> To post to this group, send email to
> berlin-comp...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/berlin-compiler-meetup/CAANqVj4ds0b1WVO6sfVksrh5v3_TUjzLNoZpsOf_%3D31zH%3DNZEA%40mail.gmail.com.
> For more options, visit https://groups.google.com/groups/opt_out.