TypeDriven.Development.with.Idris.2017.3.pdf
Stopfightingtypeerrors!Type-drivendevelopmentisanapproachtocodingthatembracestypesasthefoundationofyourcode–essentiallyasbuilt-indocumentationyourcompilercanusetocheckdatarelationshipsandotherassumptions.Withthisapproach,youcandefinespecificationsearlyind
下载地址
用户评论
书不错, 非常好