この10年のプログラミング言語の変化 - 西尾泰和の外部脳
@nishio: あ、そうか、10年前からあったけど10年間の間に勢力を拡大したケースがあるからあんまり厳しく切らない方がいいのか(TypeScriptの登場が2012年、Rustの登場が2010年だった)
26 languages in 25 days: Strategy, tactics, logistics
26 programming languages in 25 days, Part 1: Strategy, tactics and logistics Since making a sudden leap from computer science to academic medicine about seven years ago, I haven’t programmed as much. I love what I do in medicine and biology, and I love helping patients. But, I have missed programming – and programming languages. Then I came across the Advent of Code on Mastodon – a series of daily
Introducing Austral: A Systems Language with Linear Types and Capabilities
Introducing Austral: A Systems Language with Linear Types and Capabilities Austral is a new systems programming language. You can think of it as Rust: The Good Parts or a modernized, stripped-down Ada. It features a strong static type system, linear types, capability-based security, and strong modularity. This article is an introduction to the language. The first few sections are high-level: they
Home
Welcome to the Machine Rockstar is a computer programming language based on the lyrics to 1980s hard rock and power ballads. No, really. That's what it is. It's not a joke. Well, it is a joke, but it's a joke you can actually use to write computer programs that are also rock songs. Curious? Check out the tutorial My dreams hold diamond nightmares Salvation holds the sea The night holds silent echo
Day 20: Sigils are an underappreciated programming technology
Raku Advent Calendar Raku is a multi-paradigm language where there's more than one way to do it Sigils – those odd, non-alphabetic prefix characters that many programmers associate with Bash scripting; the $ in echo $USER – have a bit of a bad reputation. Some programmers view them as “old fashioned”, perhaps because sigils are used in several languages that first gained popularity last millen
The Verse Calculus: a core calculus for functional logic programming
Abstract Functional logic languages have a rich literature, but it is tricky to give them a satisfying semantics. In this paper we describe the Verse calculus, VC, a new core calculus for deterministic functional logic programming. Our main contribution is to equip VC with a small-step rewrite semantics, so that we can reason about a VC program in the same way as one does with lambda calculus; tha
I am disappointed by dynamic typing
November 29, 2022 I am disappointed by dynamic typing They have potential to be more than "no static types", but that hasn't happened. Here's weird thing about me: I'm pro-dynamic types. This is weird because I'm also pro-formal methods, in fact teach formal methods as a career, which seems completely antithetical. So on one hand I teach people how to do static analysis, on the other I use languag
Falsehoods programmers believe about undefined behavior
Undefined behavior (UB) is a tricky concept in programming languages and compilers. Over the many years I've been an industry mentor for MIT's 6.172 Performance Engineering course, An excellent class that I highly recommend. It's very thorough and hands-on, at the expense of also requiring a lot of work at a very fast pace. When I took it as an undergrad, that was a great tradeoff, but YMMV. I've
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Simple semantics for defaults in Catala - Bob Atkey
Microfeatures I'd like to see in more languages
A Universe of Sorts
GitHub - HigherOrderCO/Kind: A modern proof language
Potassco - the Potsdam Answer Set Solving Collection
Beyond Functional Programming: The Verse Programming Language (Simon Peyton Jones)
Release - Mun v0.4.0
GitHub - betaveros/noulith: *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it![GitHub - betaveros/noulith: *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it](https://cdn-ak-scissors.b.st-hatena.com/image/square/3c971b1234835436eac27c6c69d56f77529161e5/height=288;version=1;width=512/https%3A%2F%2Fopengraph.githubassets.com%2F9f493ced28d4a101837d16f582d8c7205da130fe86ba8211c12b2e3b79183636%2Fbetaveros%2Fnoulith)
http://www.call-with-current-continuation.org/fleng/fleng.html
Higher-orderness is first-order interaction
Implementing a New Memory Safety Approach, Part 1
Richard Feldman, "Pushing Boundaries with Roc"