Hey rodolphito, how's it going? I write about a lot of different things, but I've been getting into programming language theory lately. I want to eventually create my own programming languages from scratch (from C, maybe, not CPU opcodes)!
Awesome! I'm doing fine, don't have much time to get on here but I'll show up every night :) About languages, have you looked at ATS? Highly recommend, has theorem proving, recursion termination, dependent types and linear types! I'm currently learning it, will probably write about it here on dev as I go along :D
Hey rodolphito, how's it going? I write about a lot of different things, but I've been getting into programming language theory lately. I want to eventually create my own programming languages from scratch (from C, maybe, not CPU opcodes)!
Awesome! I'm doing fine, don't have much time to get on here but I'll show up every night :) About languages, have you looked at ATS? Highly recommend, has theorem proving, recursion termination, dependent types and linear types! I'm currently learning it, will probably write about it here on dev as I go along :D
I haven't! It looks interesting, though, thanks for bringing it to my attention!