Found these :chalkdust_scorpion:Journal collections in my University library today. Is anyone here into functional programming in Lisp or Haskell for example?
I have found these languages to be so much for beautiful than imperative languages thanks to their closer connection with mathematics.
@Limitcycle I use it a lot, but I want to argue that Lisp isn't really a functional language. It did indeed grow out of mathematics, but these days it's a very pragmatic language, allowing all sorts of programming styles.
If one wants to look at Lisp from a mathematical viewpoint, I'd recommend ACL2.
@Limitcycle Nice find! There's some great stuff in that journal. I hope your library also has the early issues. Number one has two great articles co-authored by Dan Friedman.
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
\) for inline LaTeX, and
\] for display mode.