はこべにっき#
YAPC::Kyoto 2023 に参加してきました。 数年ぶりに参加したオフラインイベントで、おもしろ発表をいろいろ聞けたり、いろんな人に会えたりで、たいへん楽しかったです! 会場は3歩あるけばひさしぶりの人に会える空間となっていて、ずっと同窓会じゃん〜って言っていました。みなさまお元気そうでなにより。 発表では自分は id:onk さんの ORM - Object-relational mapping がおもしろかったです。データベースのアプリケーション上での抽象化は、長年どうするのがベストなのかというところを、ある意味職人的な感覚で捉えがちだったのですが、PofEAAの文脈で言語化していただいたことで議論可能になっており、すばらしーとなりました。 自分は最近はもっぱら ActiveRecord パターン界で生きていますが、たびたび考える必要のある領域なのでありがたいです。資料も期待。
関数型プログラミング言語の定義＆実装の仕方の例 - Qiita
前置き：何となく成り行きで何か書かないと心苦しいので、殴り書きレベル ＆ 文才がなくてつまらない ＆ 関数型言語の授業等を受けたことがある方にはものすごく当たり前の教科書的内容ですみませんが、取り急ぎ自分が容易に書けることを書きます。（この記事に直接の関係がある）質問があれば、（すぐに反応できない場合もあると思いますが）なるべく答えます。誤植などの指摘も助かります。 さて、プログラマならば誰しも一度は「オレオレ・オリジナル・プログラミング言語を作りたい」という欲求を抱きますよね。（抱きますよね？） そのとき、文字列レベルの文法（具象構文(concrete syntax)と言います）はわりと誰でも(?)考えられますが、それが木構造レベルでどういう風に表されて（抽象構文(abstract syntax)と言います）、どう動作するのか（操作的意味論(operational semantics)と
Flow | A static type checker for JavaScript
Code Faster.Tired of having to run your code to find bugs? Flow identifies problems as you code. Stop wasting your time guessing and checking. Code Smarter.It's hard to build smart tools for dynamic languages like JavaScript. Flow understands your code and makes its knowledge available, enabling other smart tools to be built on top of Flow. Code Confidently.Making major changes to large codebases
オブジェクト指向や関数型は「敗者の道具」である
私は「もし完全無欠のプログラマがいるとしたら、どんなプログラマだろう」と夢想することがあります。「完全無欠のプログラマ」と聞いてどんなプログラマをイメージするかは人によって異なるでしょう。「難しいアルゴリズムを使いこなしてすばらしいプログラムを書く人」を想像する人もいるでしょうし、「チーム内のプログラマの能力を極限まで引き出して最良の結果を生み出す人」といったチーム寄りのイメージを持つ人もいるかもしれません。 「オブジェクト指向プログラミングや関数型プログラミングをバリバリ使いこなして優れたソフトウエアを作る人」というイメージを持つ人もいると思います。しかし、ちょっと考えてみると、これはおかしな話です。なぜなら、オブジェクト指向プログラミングも関数型プログラミングも、「人間がコンピュータの挙動をすべて把握することはできないことを前提に、そうした人間であっても良いプログラムを作れるように編み
プログラミング言語の基礎概念を学んでる - はこべにっき ♨
プログラミング言語の基礎概念 (ライブラリ情報学コア・テキスト) 作者: 五十嵐淳出版社/メーカー: サイエンス社発売日: 2011/07メディア: 単行本購入: 6人 クリック: 60回この商品を含むブログ (12件) を見る この本を読んで学んでる。まだ半分くらいで関数の定義とかについて勉強してる。 プログラミング言語の動作を数学的に厳密に記述する方法を順番に教えてくれるという内容で、記述には導出システムが用いられてる。基本的な算術式からはじまって、変数の定義や関数の定義、パターンマッチや型システムなど、様々な言語の機能を推論規則によって定義する方法を教えてくれる。与えられた規則が意味的に意図したものを表しているかの証明だけでなく、証明のやり方もくわしく説明されていて丁寧でたすかる。 おもしろいのはこの本のためのオンラインの演習システムというのがあって、本の中で与えられた導出システムに
大事なことは全部MLが教えてくれた 〜 Apple の Swift の mutability 周りの件を理解する - Oh, you `re no (fun _ → more)
開発者アカウントに金が出せない貧乏人の方々が、次の Apple の Swift のコードの挙動がわからない、というので盛り上がっております: let a = [1,2] // a = [1,2] var b = a; // b = [1,2] b[1] = 3; // a = [1,3] b = [1,3] b.append(5); // a = [1,3] b = [1,3,5] b[1] = 4; // a = [1,3] b = [1,4,5]もちろんわたしも貧乏ですからわかりやすい炎上案件を待っておるわけです。これはわかりやすいわからないが来たね。 だいたい b[1] = 3 とやると a[1] も変化する、これがわからないという人 b[1] = 4 とやると a[1] が変化しない、これがわからないという人 二種類いるようです。私はまず、 b[1] に代入できることがわかりません
なぜ次に学ぶ言語は関数型であるべきか - YAMAGUCHI::weblog
はじめに こんにちは、Python界の情弱です。ちょっと前にOCaml系のエントリを色々と眺めていたらYaron Minsky氏のエントリを見つけたので翻訳してみました。 OCaml for the Masses - ACM Queue Yaron Minsky氏はJane Streetで第一線で活躍されるエンジニアで、Jane Streetの技術ページをはじめ多くの場所でOCamlに関しての知見を語ってくださっています。 Jane Street Tech Blogs 本エントリはJohn Hughesの名エントリ「なぜ関数プログラミングは重要か」を受けてACM Queueに寄稿されたものの日本語訳です。 なぜ関数プログラミングは重要か Why the next language you learn should be functional YARON MINSKY, JANE STREE
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp: プログラミングの基礎 ((Computer Science Library)): 浅井健一: 本