
We believe FP is a mess largely because they have the math (Yoneda) backwards, which leads to endless heated arguments. In our mind, programmers should be describing state changes and let the system figure out the rest. The folly of current FP becomes more clear once you start doing dynamic FP.
Unlike NYC, the west coast is historically not a fan of mathematics for good reason — vendors are not about to see their beloved software packages reduced to Kleisli shell scripts, nor let their profitable DevOps cloud platforms collapse into Kan agents. Hence there will be resistance to upgrading the underlying operating system. Expect a nasty fight ahead.
Alphabet soup de-structures CleanableData for you, extracts each element from employee, restructures it into CleanableData, cleans it and then injects it back in to employee — all automatically. The tree of CleanableData can be completely arbitrary, as long as it is made up of atoms of Employee. You don’t need to know or care how the atoms are structured or where they live; truly shapeless pr…