Linus Torvalds on aliasing
See also Dennis Ritchie on aliasing, PLOS article , pointer alias in C and remarks on the purpose of C.
See also Dennis Ritchie on aliasing, PLOS article , pointer alias in C and remarks on the purpose of C.
Buy maxhallinan.com: Moz DA 15 and 223 referring domains. Listed at $195 via Afternic / GoDaddy — full ownership, fast registrar transfer.
Recently, I’ve seen popular articles on macros and metaprogramming in Nimrod and Elixir . Both of these are wonderful metaprogramming systems, to be sure, but I couldn’t help but imagine some in the audience smirking inwardly – and occasionally less inwardly. What odd syntax! How out-of-place they are! If only there…
Peter Bourgon has a web site, and this is that web site.
Since we shipped .NET Standard 2.0 about a year ago, we’ve shipped two updates to .NET Core 2.1 and are about to release .NET Core 2.2. It’s time to update the standard to include some of the new concepts as well as a number of small improvements that make your life easier across the various implementations […]
Mostly software: Rust, machine learning, and P2P systems. Previously, games and cocktails.
Jalur masuk yang cepat menghemat waktu pengguna untuk langsung bermain. Hadiah yang melimpah dan simbol khusus yang mudah muncul tersedia secara berkala. Penawaran istimewa terus diperbarui agar pengalaman bermain selalu segar.
Crystal 0.25.1 has been released!
These notes are based on the August 27 2018 design draft for generic types in Go2.
posted by Matthew Flatt with thanks to collaborators Kent Dybvig, Andy Keep, Gustavo Massaccesi, Sarah Spall, Sam Tobin-Hochstadt, and Jon Zeppieri It's been almost a year since we decided to try running Racket on Chez Scheme, and it has been almost six ...
I was having lunch with a couple of Haskell programmers the other day and the subject of the ML family came up. I’ve been writing a lot of ML lately and mentioned that I thought *ML was well worth learning for the average Haskeller. When pressed why the best answer I could come up with was “Well.. clean language, Oh!…
Type inference is a major feature of several programming languages, most notably languages from the ML family like Haskell. In this post I want to provide a brief overview of type inference, along with a simple Python implementation for a toy ML-like language.
Traits Deep Dive, Part 2
Over the last year, our team has built a beautiful and advanced Smart Cities system using functional languages. I wrote this document to explain our technology choices to stakeholders and partners.
I’ve been exploring various ways to write parsers. For a long time, I’ve used hand-written recursive descent for its straightforwardness, flexibility, and performance. There is another way—parser generators like Menhir , LALRPOP , or the venerable Bison use the bottom-up LR algorithm .
Tap, Click, Launch
It seems these days like programming with dependent types in Haskell (and its advantages) is moving slowly but steadily to the mainstream of Haskell programming. In the current state of Haskell education, dependent types are often considered topics for “advanced” Haskell users. However, I can foresee a day where the…
My Rustic Ramblings
During my life as a software engineer there only have been a few occasions where the design and principles of a language struck me as inherently beautiful and consequently inspired me to work with them.
What we learned from the December 2017 Go User Survey.
The concept of contravariance, contravariant functors, and the Contravariant typeclass defined in the ‘contravariance’ Haskell library.
Robert O'Callahan. Christian. Kiwi. Software guy. All content human-authored unless otherwise noted.
Are dependent types the future of software development? Read more about our work on Dependent Haskell in this blog post.
λm.me - Compiling Lisp to JavaScript from scratch in 350 LOC