Changes between Version 35 and Version 36 of IR2


Ignore:
Timestamp:
04/28/21 15:41:03 (5 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IR2

    v35 v36  
    17171. **How to you translate between sequences and arrays?**
    18181. Can you make types values? (reification)
    19 1. pure functions?  A pure function is a mathematical function of its arguments.  It cannot modify the state.
    20 1. state functions? A state function is a function of the current state (including arguments, global variables, ...).  It cannot modify the state.  Every pure function is a state function.
    21191. `$depends_on`
    22201. read/write sets: function calls to start, stop monitoring reads/writes?  All part of mem library