1. 6

The implementation of left-pad below is an exercise in wilfully complicating a small problem to demonstrate some of the unique features of the ATS programming language for verified systems programming including refinement types, linear logic and embedded proofs.

  1.  

  2. 1

    ELI5: Why is left-pad infamous?

    1. 6

      This is a good summary. The tl;dr is that a huge number of packages in the node ecosystem depended on it, or depended on other packages that depended on it, etc. When the developer got into a fight with the npm maintainers, he yanked it, and everybody’s builds broke.