search

ucsd-progsys / liquidhaskell-tutorial

Tutorial for LiquidHaskell
https://ucsd-progsys.github.io/liquidhaskell-tutorial/
MIT License
74 stars 27 forks source link

Review of chapter 4 complete #4

Open christetreault opened 9 years ago

christetreault commented 9 years ago

I've completed my review of chapter 4, redlines can be found here:

https://drive.google.com/file/d/0Bx6BpheCXcBWMERKN2hEYUR4MWM/view?usp=sharing

I feel that I am being left behind in this. I had some difficulties in chapter 3, but nothing I couldn't overcome (or that couldn't be explained by a bug in the system). However, in this chapter, there were issues I was not able to work through. LH was complaining about things that I feel should be handled by the type definitions. I feel that I am missing some understanding about how LH validates things, and it's preventing me from effectively using it. Some exercises in this chapter, I had to use an ugly kludge to please the tool. Some I just called a loss.

I will press onward, but I am concerned that my lack of understanding is going to make things even more difficult moving forward.

ranjitjhala commented 9 years ago

Hi Chris,

Thanks! To me this is more a problem with the writing than anything else. Can we chat at some point to go over what you were getting stuck on, because those are the parts that need more clear explanations IMO.

Thanks a bunch!

Ranjit.

On Tue, Feb 17, 2015 at 1:50 PM, Chris Tetreault notifications@github.com wrote:

I've completed my review of chapter 4, redlines can be found here:

https://drive.google.com/file/d/0Bx6BpheCXcBWMERKN2hEYUR4MWM/view?usp=sharing

I feel that I am being left behind in this. I had some difficulties in chapter 3, but nothing I couldn't overcome (or that couldn't be explained by a bug in the system). However, in this chapter, there were issues I was not able to work through. LH was complaining about things that I feel should be handled by the type definitions. I feel that I am missing some understanding about how LH validates things, and it's preventing me from effectively using it. Some exercises in this chapter, I had to use an ugly kludge to please the tool. Some I just called a loss.

I will press onward, but I am concerned that my lack of understanding is going to make things even more difficult moving forward.

Reply to this email directly or view it on GitHub https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/4.

Ranjit.