Topics /
The most popular blog posts about programming languages on Hacker News. 258 posts.
Relics Gilad Bracha recently posted an article "Bits of History, Words of Advice" that talks about the incredible influence of Smalltalk but bemoans the fact that: ...today Smalltalk is relegated to a small niche of true believers. Whenever two or more Smalltalkers gather over d
Project Loom aims to drastically reduce the effort of writing, maintaining, and observing high-throughput concurrent applications that make the best use of available hardware.
Why I'm long on functional programming
I have been using the Julia REPL as my day-to-day calculator on the command line for more than a year now. I am surprised that I haven’t seen more posts talking about how powerful and extensible the language is for simple numerical calculations and scripting In fact, the Julia REPL is much more than a simple…
A guide to Python's asyncio module covering async/await, event loops, tasks, and when to use asyncio vs threading or multiprocessing.
The purpose of the Smalltalk project is to provide computer support for the creative spirit in everyone. Our work flows from a vision that includes a creative individual and the best computing hardware available. We have chosen to concentrate on two principle areas of research: a language of description (programming…
Introduction
In my last blog post I wrote about the power of D’s compile-time reflection and string mixins, showing how they could be used to call D from Python so easily it might as well be magic. As ama…
When asked about the virtues of Haskell’s strong type system, most people will say the best part is that it lets you refactor with a zen-like tranquility, or that it stops your program from crashing at runtime. I mean, those are both great. But my favorite part is that having a strong type system means I don’t need to…
A blog about computer science, systems, technology, and sometimes vegan cooking.
How a Python function relates to a two thousand year old debate in philosophy
An overview of a paper that presents a reference implementation of a defer mechanism (co-authored with Robert C. Seacord) has been accepted for publication at SAC’21. The full version is avai…
About a year ago, I published a Rust crate called inline-python, which allows you to easily mix some Python into your Rust code using a python!{ .. } macro. In this series, I’ll go through the process of developing this crate from scratch.
Part 3 covers functions, closures, if-else, while, for..in, range and iterators
There’s a fantastic article from last year titled Parse, don’t validate. I’d highly recommend it to any programmer (along with the more recent follow up Names are not type safety). The basic idea i…
A close look at named parameters in PHP 8
Forthcoming events See all events... News Administration Files Buyer Profile Jobs Tenure Procedures Attestation Documents To the Prize page Please donate BIC: UNCRBGSF IBAN: BG32UNCR76303100117336 Address: Institute of Mathematics and
Update: See the Hacker News thread , /r/programming , /r/ProgrammingLanguages , /r/gamedev , and /r/lisp posts for discussions on this article and Cakelisp.
Jelajahi katalog produk dan informasi lengkap dari PANEN99.
Robin Milner's type system with parametric polymorphism was a significant advance over the systems of Russell and Church. Arguably it is the ability to use type-variables that makes higher order logic a practical vehicle for proving non-trivial theorems. The Hindley-Milner algorithm is used to automatically infer…
