3 ms·

I'm intrigued. Will this book do anything to help me become a better Rust developer, or will it only be valuable if I start using languages like Idris or Agda?

by weavie 4y ago

tominated 4y ago
I've read through maybe half and doubt you'll find it useful for Rust development. If you're interested in learning a dependently typed language it is fantastic though.
- haskellandchill 4y ago
  Actually the dependent type view gives clarity to thinking of type level functions, like container types parameterized over an element type.
tel 4y ago
It may help you to have a more firm grasp of how a type system and its value language interact. Which is important in understanding any language with a sophisticated type system, Rust included. But it'll be fairly marginal, I suspect.
emmanueloga_ 4y ago
No and no. Err, no. :-p IMHO learning Rust is the most effective way of learning Rust... This is half tongue in cheek but really, this book is not even my fav when it comes to learning about type checking and type inference, simply and quickly (see my other comment in this post). Also I feel like the really different thing about rust when comparing to other strictly typed languages is actually the borrow checker. Honestly i have no idea how it's implemented, or if this book will help you build one. Maybe someone in here may know.
kccqzy 4y ago
No. In fact if you're intrigued I recommend you read the TAPL book first as a prerequisite for this book: https://www.cis.upenn.edu/~bcpierce/tapl/ https://www.cis.upenn.edu/~bcpierce/tapl/ Even then, it might not be suitable for you because learning to be a developer in a language is very different from being an expert in the implementation of a language (specifically the type checker). Just flip to the appendix of the book and look at those type deduction rules; do they interest you?

3 ms·

I'm intrigued. Will this book do anything to help me become a better Rust developer, or will it only be valuable if I start using languages like Idris or Agda?

by weavie 4y ago

I'm intrigued. Will this book do anything to help me become a better Rust developer, or will it only be valuable if I start using languages like Idris or Agda?

tominated 4y ago
I've read through maybe half and doubt you'll find it useful for Rust development. If you're interested in learning a dependently typed language it is fantastic though.
- haskellandchill 4y ago
  Actually the dependent type view gives clarity to thinking of type level functions, like container types parameterized over an element type.
tel 4y ago
It may help you to have a more firm grasp of how a type system and its value language interact. Which is important in understanding any language with a sophisticated type system, Rust included. But it'll be fairly marginal, I suspect.
emmanueloga_ 4y ago
No and no. Err, no. :-p IMHO learning Rust is the most effective way of learning Rust... This is half tongue in cheek but really, this book is not even my fav when it comes to learning about type checking and type inference, simply and quickly (see my other comment in this post). Also I feel like the really different thing about rust when comparing to other strictly typed languages is actually the borrow checker. Honestly i have no idea how it's implemented, or if this book will help you build one. Maybe someone in here may know.
kccqzy 4y ago
No. In fact if you're intrigued I recommend you read the TAPL book first as a prerequisite for this book: https://www.cis.upenn.edu/~bcpierce/tapl/ https://www.cis.upenn.edu/~bcpierce/tapl/ Even then, it might not be suitable for you because learning to be a developer in a language is very different from being an expert in the implementation of a language (specifically the type checker). Just flip to the appendix of the book and look at those type deduction rules; do they interest you?