What is type safety?
Type safety is the property of a programming language, ensuring its programs are well defined and creating a foundation for reasoning.
Topics /
The most popular blog posts about programming languages on Hacker News. 313 posts.
Type safety is the property of a programming language, ensuring its programs are well defined and creating a foundation for reasoning.
For the past half year I’ve been exploring Julia in piecemeal fashion. It’s a language that does not conform to the traditional notions of programming. Julia...
At CloudFlare, We use Go for a variety of services and applications. In this blog post, We're going to take a deep dive into some of the technical intricacies of Go.
Irken is a simplified, statically-typed dialect of Scheme . It uses an ML-like type system supporting parametric polymorphism (i.e., "let polymorphism") and algebraic datatypes . With type inference and a pattern-matching syntax, it could be considered ML with a lisp/scheme syntax .
How to use your language's most-overlooked feature to its utmost.
isocpp.org announced "the C++ FAQ" to which reportedly Bjarne Stroustrup and Marshall Cline will link to help boost its search rank. Good stuff; also, given that the language is >30 years old – it's about time.
In addition to CppCon announced earlier this week , today the Standard C++ Foundation is pleased to announce a new unified C++ FAQ . The following introduction was written by Herb Sutter.
Named after the majestic, awe inspiring Anas platyrhynchos, the latest Self release 4.5.0 is now available for download. What’s new since 4.4? Build system redone by Tobias Pape. Now based on…
I’m pleased to introduce the third generation of my attoparsec parsing library. With a major change to its internals, it is both faster and more powerful than previous versions, while remaining backwards compatible. Comparing to C Let’s start with a speed comparison between the hand-written C code that powers…
Kotlin M7 is here and with it some long awaited features. Compiler and Language Changes Inline support One of the biggest features of M7 is support for inline functions. Kotlin encourages the use o
Do you remember how we first met, back in 2012? I thought your functional approach was fresh, and different. For a while I believed we were made for each other. A first project was a success; on my own I was comfortable with the good parts of you. But as soon as I started working in teams writing Scala, your immense…
Topics : monads, Common Lisp, functional programming Author : Marijn Haverbeke Date : July 11th 2008
(OCaml 4.02 is entering a feature freeze, which makes it a good time to stop and take a look at what to expect for this release. This is the first of a few b...
“Test-first fundamentalism is like abstinence-only sex ed: An unrealistic, ineffective morality campaign for self-loathing and shaming.”
[For your winter reading pleasure, we're pleased to present this three-part series of new material by Bjarne Stroustrup. This is part one; parts two and three will be posted on the following two Mondays, which will complete the series just in time for Christmas. Enjoy. -- Ed.]
Zet Casino 2026: tysiące gier, bonus powitalny, wpłaty BLIK i krypto, wypłaty w minutach oraz polskie wsparcie 24/7. Sprawdź naszą ofertę.
As a workaday Python developer, it’s hard to shake the feeling that the Python 2 to 3 transition isn’t working. I get occasional requests to make my libraries work in 3 but it’s far from clear how to and when I try to look it up I find all sorts of conflicting advice, none of which sounds very practical.
Having just returned from the annual Oregon Programming Languages Summer School, at which I teach every year, I am once again very impressed with the impressive growth in the technical sophisticati…