Making My Own Python Linter: Pyleft
I have a weird gripe with Pyright, arguably one of the most widely used type checkers in the Python ecosystem, so I decided to make my own.
Introducing Pyleft.
Haskell
2 posts with the tag “Haskell”
Feelin' Functional
For a fair amount of time, I have been interested in functional programming, especially because of Lean, theorem proving, and formal languages in general.
But I did not really get into it for a long time, and the reason was pretty simple.