Explore >> Select a destination
|
You are here 
|
blog.ploeh.dk | ||
| | | | |
dehora.net
|
|
| | | | | Back in 2013, I started a series of posts on programming languages I found interesting. One of the languages I wanted to write about at that time was Rust. As often happens, life got in the way, and it's only now that I'm coming round to a long overdue post. This is one of a series of posts on programming languages and you can read more about thathere. | |
| | | | |
usethe.computer
|
|
| | | | | Today's POTD presents a translation of a great tool from the functional programming community into the more mundane world of 90s-style object-oriented programming languages. | |
| | | | |
andreabergia.com
|
|
| | | | | Error handling is a fundamental aspect of programming. Unless you are writing hello world, you will need to handle errors in your code. In this post, I will discuss a bit the most common approaches used by various programming languages. Return error codes This is one of the most ancient strategies - if a function can fail, it can simply return an error code - often a negative number, or null. | |
| | | | |
blog.polybdenum.com
|
|
| | | Back in 2020, I created Cubiml, a simple ML-like language that demonstrated how to extend the usual Hindley-Milner type system with subtyping while still having decidable full type inference. One question I got was whether it would be possible to support generalized algebraic data types (GADTs) in Cubiml. I had heard that GADTs break type inference and didn't see the point, so I didn't think much of it at the time. | ||
