Signals the compiler to bake a function when the value of the operand parameter is known at compile time. 1

toggle example

  1. [in procedure print_names_and_values], you may have noticed this funny $$ up here, before the variable mode, and what that means is anytime, anywhere in the program where you call print_names_and_values if the value that you’re passing for Spacing_Mode.strict is known at compile time [..], then auto-bake this function so that only these are really the parameters and this one is hard-coded so that the code gets generated with mode as a constant, so that you don’t have to pay for these if statements.
    “Polymorphic Procedures, part 2” YouTube, uploaded by Jonathan Blow, Apr 1, 2015, https://youtu.be/7Fsy2WaxLOY?t=3150 

jailang 2019 pixeldroid
programming pages theme v0.5.21 (https://github.com/pixeldroid/programming-pages)