So I have finally set up my blog on various things that I am interested in and that are roughly related to my work. In the near future, you should be able to read here about topics ranging from foundations of mathematics to text editors. Possible subjects include the following:
- category theory
- logic
- type theory
- set theory
- functional programming
- functional reactive programming
- dependent types
- TeX
- Vim
- Unicode
Keep reading and please comment if you wish.
Do you have an rss feed somewhere? I want to add your blog to my aggregation, but I can’t seem to find it.
LikeLike
A corresponding
link
element is included in the HTML data, so you should get a feed subscription button in the navigation bar of your browser or so if this is enabled. I will maybe add RSS-Links to the page also. The URL of the RSS article feed is https://jeltsch.wordpress.com/feed/, the URL of the corresponding Atom feed is https://jeltsch.wordpress.com/feed/atom/.LikeLike
apart from vim (i use emacs), we share the same interests but with the important difference that i am just interested in those things but i’m still very nooby in those fields (i’m a teenager). so, your blog perfectly fits into my interests; i’m going to learn a bunch from you! thanks for your nice blog =]
LikeLike
Thank you. Good to know that this blog is useful for somebody. 🙂 I’ve also subscribed to your blog’s RSS feed, by the way.
LikeLike
may i ask you for a blog post about an general introduction to type theory (and it’s notation)? i’m already familiar with haskell (and i also know a dependently-typed functional programming language called Idris) but i want to learn more about the mathematics beyond the type system of those languages. at least, can you suggest me some literature?
LikeLike
At the moment, I’m still lacking quite a bit of knowledge about type theory, so I’m no expert in these things at all. However, my colleague James Chapman will hold a course about this topic in a few weeks, which should improve my knowledge considerably.
I think the book Type Theory and Functional Programming by Simon Thompson is pretty good. It’s available online free of charge. Another book that can be downloaded is Programming in Martin-Löf’s Type Theory by Nordström, Petersson, and Smith.
LikeLike
thank you (especially for the fist link as i already knew the second book you mentioned)!
James Chapman is your colleague? So what’s your occupation then? Are you his student? Besides, James Chapman is from Estonia whereas I thought that you are from Germany (as I am) because you quoted German texts…
but anyway, thanks.
LikeLike
I’m a postdoc at the Logic and Semantics Group of the Institute of Cybernetics, the same group that James works at.
James is actually from England, but is living in Estonia now. I’m from Germany, but I’ve moved recently to Estonia too. So I’m as German as James is English, and I’m as Estonian as James is Estonian. 😉
LikeLike
James uses the text Syntax and Semantics of Dependent Types by Martin Hofmann in his course. As he says, this text is pretty tough. Maybe, you will find it useful nevertheless.
LikeLike