The Little Typer.pdf
Aprogram'stypedescribesitsbehavior.Dependenttypesareafirst-classpartofalanguage,andaremuchmorepowerfulthanotherkindsoftypes;usingjustonelanguagefortypesandprogramsallowsprogramdescriptionstobeaspowerfulastheprogramstheydescribe.TheLittleTyperexplainsd
下载地址
用户评论
