7 ms·
Can we move this conversation to email? I am not sure what diagrams you are referring to.
by pmcjones 1mo ago
Can we move this conversation to email? I am not sure what diagrams you are referring to.
- metazip 1mo agohttps://github.com/pointfreewiki/pointfreewiki.github.io/issues/1 https://github.com/pointfreewiki/pointfreewiki.github.io/iss...
- pmcjones 1mo agoIn that first diagram (https://softwarepreservation.computerhistory.org/FP/Composing_IFR_programs.png https://softwarepreservation.computerhistory.org/FP/Composin...), A and B are supposed to be pure functional programs; side-effects are modeled by each one outputting a new version of each modified input. In the second diagram (https://softwarepreservation.computerhistory.org/FP/Strict_History_Approach.png https://softwarepreservation.computerhistory.org/FP/Strict_H...), as actually implemented in FL, they stick to strictly leftmost-innermost evaluation order so that side-effects are at consistent (but this presumably prevents parallel evaluation).
- metazip 1mo agosome Plasm files https://github.com/metazip/plasmfiles/blob/main/Function-Level.html https://github.com/metazip/plasmfiles/blob/main/Function-Lev...
- metazip 20d agohttps://github.com/pointfreewiki/pointfreewiki.github.io/issues/1#issuecomment-5446115284 https://github.com/pointfreewiki/pointfreewiki.github.io/iss...