Skip to content

Latest commit

 

History

History
33 lines (24 loc) · 1.91 KB

4.efficiency.md

File metadata and controls

33 lines (24 loc) · 1.91 KB
Raw

Welcome to the efficiency course!

In this course, your ICFP knowledge will be put to the test. To communicate with the rest of the solar system, the Cult uses their Macroware Insight evaluator. However, the School of the Bound Variable also possesses a quantum computer, on which more complex expressions can be evaluated. As the energy consumption of this quantum computer is getting out of hand, students must learn to find the evaluation result of such complex expressions with other means.

Tip of the day

Did you know that the binary call-by-name application operator $ has two siblings? The binary operator ~ (lazy application) is a call-by-need variant on the $ operator, and the binary operator ! (strict application) is the call-by-value variant. Smart usage of these can help you save many beta reductions!

Problems

The following assignments are available:

  • [efficiency1] At least one other team solved it.
  • [efficiency2] At least one other team solved it.
  • [efficiency3] At least one other team solved it.
  • [efficiency4] At least one other team solved it.
  • [efficiency5] At least one other team solved it.
  • [efficiency6] At least one other team solved it.
  • [efficiency7] At least one other team solved it.
  • [efficiency8] At least one other team solved it.
  • [efficiency9] At least one other team solved it.
  • [efficiency10] At least one other team solved it.
  • [efficiency11] At least one other team solved it.
  • [efficiency12] At least one other team solved it.
  • [efficiency13] At least one other team solved it.

Each of such ICFPs will eventually evaluate to an integer, which is the answer to the given assignment. However, students may need more than just an efficient evaluator in order to get the right answer (and likely don't possess a quantum computer). To submit an answer to a test, send:

solve efficiencyX answer

e.g. if the answer to the second assignment is 42, then send solve efficiency2 42.