Differences

This shows you the differences between two versions of the page.

lp-a1 [2018/04/11 22:07]
mvc
lp-a1 [2018/11/13 22:51] (current)
mvc
Line 1: Line 1:
-====== Assignment 12: Type Inference ======+====== Assignment 11: Type Inference ======
<!--- <!---
<blockquote Lewis Carroll, Through The Looking-Glass> <blockquote Lewis Carroll, Through The Looking-Glass>
Line 18: Line 18:
===== Part II ===== ===== Part II =====
-The rest of your assignment this week is to complete your own type inferencer and inhabiter in miniKanren. **You should start with** {{:a11.rkt|a11.rkt}}, a version of inferencer we began on Thursday, and add to it ''*'', ''not'', ''zero?'', ''sub1'', and ''fix''. To be clear, your solution should not involve ''match'' at all; it should be written entirely in miniKanren. You can use the {{:a11-student-tests.rkt|a11-student-tests.rkt}} file to test your file.+The rest of your assignment this week is to complete your own type inferencer and inhabiter in miniKanren. **You should start with** {{https://github.com/mvcccccc/C311Pub/blob/master/a11.rkt|a11.rkt}}, a version of inferencer we began on Thursday, and add to it ''*'', ''not'', ''zero?'', ''sub1'', and ''fix''. To be clear, your solution should not involve ''match'' at all; it should be written entirely in miniKanren. You can use the {{:a11-student-tests.rkt|a11-student-tests.rkt}} file to test your file.
You may find the following [[http://www.cs.indiana.edu/classes/c311/minitypes.pdf|"old-school" notes ]] from Dan, Will, and David of some use. You may find the following [[http://www.cs.indiana.edu/classes/c311/minitypes.pdf|"old-school" notes ]] from Dan, Will, and David of some use.
Line 292: Line 292:
              (if #t (f (f 5)) (f #t)))               (if #t (f (f 5)) (f #t)))
        q))         q))
-()+(Bool)
</code> </code>
 

lp-a1.1523498866.txt.gz · Last modified: 2018/04/11 22:07 by mvc