Conversation

This Tweet is from a suspended account. Learn more

Aug 15, 2018

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.

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.

12:50 AM · Aug 15, 2018Twitter Web Client

Replying to

and

There may definitely be benefit here, but IME it's a minority that gravitate towards heavy use of macros/templates. You may end up optimising towards a relatively small crowd of developers. Are there non-meta programming examples where DT flourish?

Brendan Zabarauskas

@brendanzab

Aug 15, 2018

Yeah, that's a good point. It more shows up down the line in the quality of the libraries. Like, Diesel (for Rust) would be much nicer with first class types and types that depend on values. Will have to think on this! 🤔

Show replies

Replying to

and

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

Brendan Zabarauskas

@brendanzab

Aug 16, 2018

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.

Show replies