Conversation

This Tweet is from a suspended account. Learn more

Aug 15, 2018

Replying to

Not sure if this rhetorical, but I'd be happy to chat strategy. I suspect your best bet would be to a tool that shows the value of dependent types quickly. What is the biggest benefit in having them, and how does the tool/lang show that. Lots to explore from there.

Brendan Zabarauskas (@brendan@types.pl)

Replying to

and

I think lots of the initial value will come in type-directed meta programming. Lots of examples from Haskell and Rust and C++ that seem awkward and hacky are nice and beautiful with DTs.

Replying to

and

Brendan, can you give an example of how DT helps meta programming, contrasted to Haskell?

10:25 PM · Aug 15, 2018Twitter Web Client

Brendan Zabarauskas (@brendan@types.pl)

Replying to

and

Haskell has a lot of good extensions already for doing type-directed code generation, like type class induction, type families, generics, and GADTs, type level literals, etc.

Brendan Zabarauskas (@brendan@types.pl)

Replying to

This allows you to build cool libraries, like Servant, Bound, and database libraries. Unfortunately all those features feel disjointed (due to them being added on later), contributing to a steep learning curve, making it hard for most programmers to use these features themselves.

Show replies