301
A Little Clojure
This expression: (1 2) represents the list containing the integers 1 and 2 in that order. If you want an empty list, that’s just () . And the list of the first five letters of the alphabet is just (\a \b \c \d \e) .
Topics /
Programming Languages
The most popular blog posts about programming languages on Hacker News. 427 posts.
302
F# Data Type Providers in .Net Core (2018)
As one of F#'s killer features; type providers have the ability to make rooms full of developers gasp when shown for the first time. Support has recently been added to the FSharp.Data library [https://www.nuget.org/packages/FSharp.Data] for .Net Standard 2.0, allowing us to
303
304
Clojure – Fascinated, Disappointed, Astonished (2016)
I’ve had a pleasure to work with Piotrek Jagielski for about two weeks on Clojure project. I’ve learned a lot, but there is still a lot to know about Clojure for me. In this post I’ll write what fasci
305
Clojure as a dependency
I have a shameful confession to make: I have long neglected an open-source library that I maintain, clj-tagsoup .
306
Racket-on-Chez Status
posted by Matthew Flatt For background information about Racket on Chez Scheme (a.k.a. Racket CS), see the original announcement, the January 2018 report, the report at Scheme Workshop 2018, the January 2019 report, the ICFP experience report, an...
307
308
Introducing Swift Service Lifecycle
It is my pleasure to announce a new open source project for the Swift server ecosystem, Swift Service Lifecycle. Service Lifecycle is a Swift package designed to help server applications, also known as services, manage their startup and shutdown sequences.
309
Why the developers who use Rust love it so much
Here’s why Rust gets so much love, straight from the Rustaceans themselves.
310
Yes, I am still learning Rust
Recently, I got yet another nice email from a “talent sourcing specialist” asking me if I’d like to work for their company. This one stood out from the usual blockchain recruiting spam by actually looking at this blog. And they told me their expectations were lowered by the front matter stating that I’m currently…
311
A gentle intro to assembly with Rust
One of the things I’ve wanted to do for a while is really dig into assembly and get into the weeds of how programs actually run. A rework of the asm macro has recently landed in nightly rust so it seemed like a good time.
312
Why Typing Erlang is Hard: Standard Erlang
Leo Ostera — making computers do things
313
Hacking on Clang is surprisingly easy
Date: 2020-01-27 Git: https://gitlab.com/mort96/blog/blob/published/content/00000-home/00012-clang-compiler-hacking.md
314
PyPy 7.3.2 triple release: Python 2.7, 3.6, and 3.7
The PyPy team is proud to release version 7.3.2 of PyPy, which includes three different interpreters: PyPy2.7, which is an interpreter su...
315
316
317
318
R7RS versus R6RS (2018)
InPhase asked today on #scheme about the R7RS vs R6RS debate. I followed the original debate closely and have experience both using and implementing R6RS. I also recently added R7RS support in Akku.scm 0.3.0, so I feel like I can weigh in on this. It’s a topic that many feel passionately about, and I’m also firmly on…
319
Compiling a Lisp to x86-64: Let expressions
Compiling Lisp let expressions to x86-64
320
Zig 0.6.0 Release Notes
Zig is a general-purpose programming language and toolchain for maintaining robust , optimal , and reusable software. With special thanks to many generous sponsors , the Zig project is financially sustainable and currently supports one full-time developer . Let's reboot systems programming.
321
322
An exploration of why Python doesn't require a 'main' function
You're probably reading this page because you've attempted to access some part of my blog (Wandering Thoughts) or CSpace , the wiki thing it's part of. Unfortunately you're using a browser version that my anti-crawler precautions consider suspicious, most often because it's too old (most often this applies to versions…
323
Why Dark didn't choose Rust
Welcome again HN! Dark [https://darklang.com] is a programming language, structured editor, and infrastructure—all in one—whose goal is to make it 100x easier to build backend services. Check out the website [https://darklang.com/], our What is Dark [https://blog.darklang.com/what-is-dark/] post, and
324
325
Type-Level Programming in Rust
I show how two domain-specific type systems, information flow control and two-party communication protocols, can be implemented in Rust using type-level programming. I explain how interesting properties of these domains can be verified at compile-time. Finally, I construct a general correspondence between type…
326
Self Supervised Learning in NLP
An overview of self-supervised pretext tasks in Natural Language Processing
327
Idris 2 version 0.2.1
A new version (0.2.1) of Idris 2 has been released. You can download the source (including generated Scheme and Racket files for bootstrapping) from the download page .
328
Better Than JSON?
You are seeing this because the administrator of this website has set up Anubis to protect the server against the scourge of AI companies aggressively scraping websites . This can and does cause downtime for the websites, which makes their resources inaccessible for everyone.
329
OCaml is Pretty Great (2019)
But OCaml is Pretty Great
330
Inventing Monads
I got into a discussion about monads recently. On a search to find some resources to share, I realized that most essays explained them with type signatures and rules. A missing ingredient to grok them, I think, is to understand the intuition behind them. How could you end up inventing monads?