Specialization by Example

 

In this section we will go through a series of examples that illustrates how Similix specializes various parts of programs.

• Conditionals
• Primitives
• Side-effecting primitives
• Let-expressions
• Higher-order functions
• Partially static data structures
• Static error under dynamic control