Programming Languages That Blew My Mind
I’ve been a programmer since the age of 8, and some kind of developer for most of my life. Throughout my life as a coder, both hobbyist and professional, I’ve learnt plenty of programming languages that felt like cookie-cutter clones of each other, but also a few programming languages that changed the way I looked at programming, sometimes even at thinking. Ranking by order in which I discovered t
Weird Lexical Syntax
I just learned 42 programming languages this month to build a new syntax highlighter for llamafile. I feel like I'm up to my eyeballs in programming languages right now. Now that it's halloween, I thought I'd share some of the spookiest most surprising syntax I've seen. The languages I decided to support are Ada, Assembly, BASIC, C, C#, C++, COBOL, CSS, D, FORTH, FORTRAN, Go, Haskell, HTML, Java,
プログラミング言語Lean 4の現状 - 檜山正幸のキマイラ飼育記 (はてなBlog)
証明支援系Lean〈リーン〉は、かなり前（2017年くらい）から注目しているソフトウェアです。注目はしているんですが、ちゃんと調べる機会がなかったので、このブログで触れたことはありませんでした。2022年のうちに紹介したい（今は大晦日の夜）。 Leanは現在、バージョン3系とバージョン4系が混在しています。このため情報が錯綜していて、分かりにくい状況になっています。今はバージョン3系が使われていますが、これからLeanを使い始めるならバージョン4をインストールしてもいいかも知れません（ただし、開発バージョンであることは承知の上で）。 Leanは、CoqやIsabelleと同様、証明支援系〈proof assistant〉として設計開発されました。実際、機械可読な定理記述のために広く使われています。 バージョン4になりLeanは、汎用プログラミング言語としての機能・特性を前面に打ち出してきま
Amber The Programming Language
Write your scripts in a modern type-safe and runtime-safe programming language that handles many bugs and mistakes during the compilation process.
The path to implementing a programming language
This blog tries to summarize all the choices and paths you could take to implement your next programming language, more specifically the frontend for your language. There are a lot of factors that will influence your choices. Maybe you have your favorite host language that you would like to use for implementing your language, whether your language is dynamically or statically typed, or you are des
Stop Saying C/C++ | Bryce Vandegrift's Website
Posted May 18, 2023 For as long as I can remember, I have heard people say C/C++ when referring to a project written in C and or C++. A lot of programming/developer jobs also refer to C/C++ when they need a programmer who knows either C or C++. To most people who have never touched C or C++ this might not seem like a big deal. However, the problem is that when people say this term (C/C++) they mak
6502 アセンブラ プログラミング入門 / 新山 祐介
概要: この記事では 8ビット CPU 6502 を 使ったアセンブラプログラミングを紹介する。 「アセンブラプログラミング」とは、プログラミング言語を使わず、 CPU のネイティブ命令列を直接書くプログラミング方法である。 6502 はいまから約50年前に開発され、 ファミコンや Apple II など多くのハードウェアで利用された。 しかし、その原理は今日のコンピュータとほとんど変わっていない。 ここでは 6502 のプログラミングを通して、コンピュータの本質を学ぶ。 6502 プログラミング入門 コンピュータの原理 レジスタとは 16進数とは 6502エミュレータを使った演習 メモリに値を格納する メモリの値を増加させながらループする アセンブラを使ったプログラミング 最初のプログラム (改良版) アセンブラを使ったジャンプ命令 差分アドレッシング 条件分岐 条件分岐 その2 16ビ
最短時間で読めるように、認知負荷が高すぎないコードを書く( 『リーダブルコード』『プログラマー脳』) - nakaoka3の技術ブログ
コードは他の人が最短時間で理解できるように書かなくてはいけない。 『リーダブルコード』 p3 今週、機能開発をしているプロダクトのコードを読んでいて、理解が難しく時間がかかってしまい、頭を悩ませていました。 何かヒントになるものはないかと『リーダブルコード』を眺めていて、「コードは他の人が最短時間で理解できるように書かなくてはいけない」という一文を見つけました。 www.oreilly.co.jp コードが「読んで理解できるか」にとどまらず「最短時間で理解できるか」という、積極的な目標になっているのが気に入りました。 既存のコードベースに機能追加するとき、既存のコードで理解に時間がかかるコードがあっても、目的の変更には直接影響しないし、そこを改善するには後回しになっていました。 その結果、リファクタリングはしたいと思っているものの、リファクタリングに使う時間を確保できないということがよくあ
Google Style Guides
Google Style Guides Every major open-source project has its own style guide: a set of conventions (sometimes arbitrary) about how to write code for that project. It is much easier to understand a large codebase when all the code in it is in a consistent style. “Style” covers a lot of ground, from “use camelCase for variable names” to “never use global variables” to “never use exceptions.” This pro
Python互換の静的型付け言語「Erg」
承前 Ergは私が数年前から開発を始め、つい一昨日公開したばかりのプログラミング言語です。 のはずですが、 早速、qnighyさんに捕捉していただきました。ありがとうございます。 この記事ではそのErgがどのような言語なのかざっくりと解説していきたいと思います。なお、紹介した機能の一部は未実装です。実装途中の機能を含むコードには*を、完全に未実装の機能を含むコードには**をつけておきます。 はじめに Pythonは概ね素晴らしい言語です。 オフサイドルールを世に知らしめた(?)、その可読性の高い文法。Numpy, SciPyを始めとする機械学習、科学技術計算用の膨大なライブラリ。 しかしPythonにもいくつかの弱点が存在します。 まず、動的型付け であること。それ自体は弱点というより良し悪しなのですが、明らかに動的型付けでは手に余るPythonプロジェクトが世に溢れています。 次に、一貫
YouTube チャンネル「ニコニコプログラミング」を開設しました
Twitter では告知しましたが、ちょうど 1 ヶ月前の 7 月 1 日に、YouTube チャンネル「ニコニコプログラミング」を開設しました。まさかの YouTuber デビューです。 Description のところにも書いているように プログラミングの楽しさを伝えるために、プログラミングにまつわる様々なことをしています。短い時間でプログラミングの実況をしながらゲームを作り上げる実況プログラミングシリーズをメインに展開していきます。 というチャンネルです。 2009年「テトリスを1時間強で作ってみた」を発表 私は昔から、気まぐれに動画投稿をしております。例えば YouTube に「Prince of Persia(PC9801) within 10 minutes」という RTA 作品（ゲームクリアのタイムアタック、この作品はエミュレータですが）を上げて 53 万再生されていたり、ニ
Google Summer of Code
Are you new to open source and want to learn more about some interesting projects that you can contribute to? Join GSoC where mentors will help guide you on your journey! It is very important to reach out to the organizations that you are interested in as soon as possible. The more conversations you have with the community before you submit your proposal the better your chances of being selected i
Announcing the Hare programming language
Announcing the Hare programming language April 25, 2022 by Drew DeVault Hare is a systems programming language designed to be simple, stable, and robust. Hare uses a static type system, manual memory management, and a minimal runtime. It is well-suited to writing operating systems, system tools, compilers, networking software, and other low-level, high performance tasks. Here is my favorite exampl
中1生の半数が「プログラミングができる」と回答 東進運営のナガセ調べ |EdTech Media
東進ハイスクール・東進衛星予備校（以下、東進）を運営する株式会社ナガセ（本社：東京都武蔵野市 代表取締役社長 永瀬昭幸）は、2021年10月・11月に実施した「全国統一高校生テスト」「全国統一中学生テスト」の受験に対して独自アンケートを行った。 その中から今回は、高校生・中学生のプログラミング学習への取り組みに関する調査結果を発表した。 調査結果概要 結果詳細 8割以上の高校生・中学生が「プログラミングは必要なスキル」と認識 上のグラフは、「プログラミングが今後必要なスキルになると思うか」というアンケート結果である。 「とても思う」と「そう思う」の合計は、高校生が86.0％、中学生が83.7％だった。 学年が上がるにつれて増加する傾向にあり、高校生では全学年が85％を超えている。 多くの高校生がプログラミングは今後、重要となると考えていることがわかる。 中学1年生の半数以上が「プログラミン
Exercism
Get really good at programming. Develop fluency in 74 programming languages with our unique blend of learning, practice and mentoring. Exercism is fun, effective and 100% free, forever.
Dataloaderの元になったHaskellのHaxlというライブラリがおもしろい - The Third Law
GraphQL APIを作るとき、素朴に実装するとN+1問題が発生しがちなので、これを解消するためにDataloaderという仕組みも実装するのが一般的です。 少し前にHaskell Dayというイベントの発表資料をレビューする機会があり*1、Dataloader的な設計はGraphQL以前から知られていて、Facebookで開発されたHaxlというHaskellのライブラリに由来するということを知りました*2。 ちなみにレビューした発表はこちらです（この発表をネタにして記事を書いていいですか？と発表者の@nakaji_dayoさんに聞いたところ、快諾いただけた上にこのブログ記事の内容もレビューしていただけました！ありがとうございます）。 www.youtube.com speakerdeck.com このHaxlですが、他言語で実装された一般的なDataloaderにはない特徴があります
国内音ゲー、「ベトナム語版がバグる」原因が開発者らの恐怖を呼ぶ。“カンマとピリオド逆問題”による数字のワナ - AUTOMATON
国内個人開発者THIQXIS氏は12月19日、Twitter上で海外ユーザーに起きた不具合とその原因について投稿した。文化の違いに端を発する問題は開発者を中心に瞬く間に話題となり、驚きや共感の声が寄せられている。問題の原因は、国ごとでの「数字区切りに用いる記号」の違いだった。 THIQXIS氏は、モバイル向け音楽ゲーム『TAKUMI³』などを手がける国内個人開発者だ。同氏は先ごろ、自身のTwitterアカウントにて「ベトナムのユーザーから不具合の報告があり、その原因がわかった」と投稿。解決法についてゲーム開発者たちにアドバイスを求めていた。どうやら、国によって違う「数字区切りにおけるピリオドとカンマ（コンマ）の使い方」が、不具合の原因になっていたようだ。 ベトナムのユーザーさんから原因不明の動作不良の報告が来ててついさっき謎が判明しました。 まじで原因やばすぎる、そりゃcsv全滅するしスコ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
複雑さに立ち向かうためのコードリーディング入門
Mojo 🔥: Programming language for all of AI
The Deadlock Empire
