3271
Kotlin: The Problem with null
このドメイン名は所有者により ドメインマーケット で売りに出されています。 誰でも購入できる状態であり、このドメイン名を利用してサイト運営やメールアドレスの利用を行うことができます。
New
The latest blog posts to take off on Hacker News. 5,636 posts.
3272
Writing a C Compiler, Part 5
This is the fifth post in a series. Read part 1 here.
3273
Go’s hidden pragmas
This is an article about compiler directives; or as they are commonly known, pragmas. It’s derived from a talk of a similar name that I gave last year at GopherChina in Shanghai.
3274
Typesafe Neural Networks in Haskell with Dependent Types
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…
3275
Homotopy Type Theory and Higher Inductive Types
In this article, we explore the possibilities allowed by higher inductive types. They enable a much more intuitive formalization of integers and new mind-blowing definitions of the (homotopical) ci…
3276
Racket-On-Chez Status
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 ...
3277
3278
What I learned in 2017 writing Go
A little over a year ago, I joined Cloud Foundry to work on Loggregator , Cloud Foundry's application logging component. Its core concern is best-effort log delivery without pushing back on upstream writers. Loggregator is written entirely in Go.
3279
3280
3281
Not Explicit
Oftentimes when I am conversing about the design of Rust with other users - as on RFCs or the internals forum - I witness a peculiar remark about “explicitness.” It usually goes something like this: I do not like Feature Design X because it is too implicit. Magic is okay in Other Language Y, but Rust is supposed to be…
3282
C++17 constexpr everything, or as much as the compiler can
Case study in constexpr with C++17 compilers
3283
Introduction
Fairy tales are more than true: not because they tell us that dragons exist, but because they tell us that dragons can be beaten.
3284
3285
The Origin of CAR and CDR in Lisp (2005)
According to the LISP 1.5 Programmer's Manual ISBN 0 262 13011 4, `A' and `D' stand for `address' and `decrement', as on page 36 it says:
3286
A different view on Functional Programming
If you have never heard about functional programming before, I’ll have the honor to instill in you my view on it. If you have, you might know that it’s usually defined by some of …
3287
Red Lang goes blockchain
Here we are, ready to leap into the future. This is a new page opening in the Red history book. It is a great day for us to finally be able ...
3288
Ruby 2.5.0 Released
We are pleased to announce the release of Ruby 2.5.0.
3289
Writing GUI Apps Using the Red Programming Language
Chinese Translation by oschina.net
3290
Undefined vs. Unsafe in Rust
Recently Julia Evans wrote an excellent post about debugging a segfault in Rust. (Go read it, it’s good) One thing it mentioned was I think “ …
3291
Clojure - Getting Started
Clojure is a dynamic development environment where you interact with your program while you write it, growing and adding to it while it’s running. To work with Clojure you need an editor that supports evaluation in source files and structural editing (working with nested forms in addition to character editing).
3292
3293
3294
3295
3296
3297
Elixir multiple processes: Basics
How to work with multiple processes in Elixir
3298
Overview of the Crystal language
In the jungle of new programming languages, Crystal is one of the most popular ones, but also the most mysterious. Let's take a look at it.
3299
3300