News for hackers. Stuff that matters.
Re:Monads and GATs in Nightly Rust by karmakaze on Friday December 11, 2020 @12:29PM (#25388243)
I would say that it has a lot to do with CS. Basically there's two equivalent ways to look at computing: as Turing machines or lambda calculus. The first is far more popular as early machines and even our current day hardware is close to this. As machines have become more powerful we can do more useful work using formulation based on function composition. If anything this is a trend. What we don't yet have is common sense/knowledge on how to use it judiciously.

There are no comments on this comment yet.