Dependent types allows more properties of programs to be expressed in the types. Not only does this give stronger guarantees that the program is correct, stronger types also helps in the process of writing the program.
SHOW FULL COLUMNS FROM `jrk_downrecords` [ RunTime:0.001314s ]
SELECT `a`.`aid`,`a`.`title`,`a`.`create_time`,`m`.`username` FROM `jrk_downrecords` `a` INNER JOIN `jrk_member` `m` ON `a`.`uid`=`m`.`id` WHERE `a`.`status` = 1 GROUP BY `a`.`aid` ORDER BY `a`.`create_time` DESC LIMIT 10 [ RunTime:0.094175s ]
SHOW FULL COLUMNS FROM `jrk_tagrecords` [ RunTime:0.001273s ]
SELECT * FROM `jrk_tagrecords` WHERE `status` = 1 ORDER BY `num` DESC LIMIT 20 [ RunTime:0.002029s ]
SHOW FULL COLUMNS FROM `jrk_member` [ RunTime:0.001244s ]
SELECT `id`,`username`,`userhead`,`usertime` FROM `jrk_member` WHERE `status` = 1 ORDER BY `usertime` DESC LIMIT 10 [ RunTime:0.003590s ]
SHOW FULL COLUMNS FROM `jrk_searchrecords` [ RunTime:0.001083s ]
SELECT * FROM `jrk_searchrecords` WHERE `status` = 1 ORDER BY `num` DESC LIMIT 5 [ RunTime:0.003229s ]
SELECT aid,title,count(aid) as c FROM `jrk_downrecords` GROUP BY `aid` ORDER BY `c` DESC LIMIT 10 [ RunTime:0.016248s ]
SHOW FULL COLUMNS FROM `jrk_articles` [ RunTime:0.001409s ]
UPDATE `jrk_articles` SET `hits` = 1 WHERE `id` = 305307 [ RunTime:0.001586s ]