Viewing profile — nihils

I don't think there is significant overlap between Python's ideal use cases and Haskells. For one, Haskell's advanced static type system lends itself nicely to formal verification …

For example, this problem of modifying the diagonal of a matrix can be solved quite easily: type Zipper a = ([a],[a]) cursorOnDiagonal :: [[Int]] -> [Zipper Int] cursorOnDiagonal m…

If you want immutable data structures that simulate the behavior of mutable data structures look into Zippers. In this case, a list zipper.

It's Python mail server, that tries to be like Django for Mail. https://github.com/zedshaw/lamson/blob/master/README.md

I wonder if this can be linked in to Lamson

This is a fair point, in the that conventional definition of post-structuralism as representation being bound to an interpretative context can be difficult see in daily life. Howev…

The author's conception of philosophy seems to be heavily biased towards Western analytic philosophy whose pretension towards logically underpinning sciences and reliance on formal…

This is actually perfect for a library on algebraic structures I've been trying to make in Haskell. For example, how does one distinguish between elements in the Dihedral group of …

Abstract Algebra by Benedict Gross from the Harvard Extension School.