Skip to content

day3.md

Latest commit

 

History

History
19 lines (14 loc) · 538 Bytes

day3.md

File metadata and controls

19 lines (14 loc) · 538 Bytes

@def title = "Day 3"

Day 3

Problems

  1. Check whether your solutions for last week's problems were type stable. One of the methods there cannot be type stable. Which is it?
  2. For the Peano numbers problem, in the following code, how many compilations for + happen?
Zero() + Zero()
Zero() + convert(PeanoNumber, 1)
convert(PeanoNumber, 1) + Zero()
convert(PeanoNumber, 1) + convert(PeanoNumber, 5)
convert(PeanoNumber, 2) + convert(PeanoNumber, 5)