Skip to content

例题汇总

:material-circle-edit-outline: 约 84 个字

image-20240912102259340

image-20240912100112946

image-20250103150651109

image-20250103150656314

image-20250103150701028

image-20250103205504093

image-20241228161837271

例题

image-20241228161904956

image-20241228161912046

image-20241228161917530

image-20241228161923049

image-20241228161934536

image-20241228161940035

image-20241228162721916

image-20241228171333405

image-20241228171338827

image-20250103215057654

fix factorial = factorial(fix factorial)

image-20241228194705542

letrec fib(x: nat): nat = 
if Eq? x 0 then 1
else if Eq? x 1 then 1
else fib(x-1) + fib(x-2)
in fib(4)

fib(4)->fib(3)+fib(2)->...->f(1)+...+f(1)+f(0)+...+fib(0)

image-20241228194726192

image-20241228195840422

image-20241228194730547

image-20241228200645305

image-20241228200653217

image-20241228200658231

image-20241228201129465

image-20241228201133657

image-20241228201139500

例题 1

image-20241228204422030

image-20241228204426520

例题 2

image-20241228204433423

image-20241228204439518

例题 3

image-20241228204506983

例题 4

image-20241228204529565

看 PPT 吧，12 PCF 的归约.pdf 13 页

PCF 是从左往右规约

例题 1

image-20241228205137254

image-20241228205142056

image-20241228205149308

例题 2

image-20241228205156992