「TypeScriptではじめる型システム」という記事をn月刊ラムダノートに寄稿しました。 新刊を発売しました "『n月刊ラムダノート』Vol.4 No.3（2024）発行のお知らせ https://t.co/PGppk1aRRA— lambdanote (@lambdanote) 2024年10月4日 どんな内容？ TypeScriptの極小サブセットに対する型検査器を書き、それを通して型システムを体感してみよう、という内容です。 詳しく言うと、boolean型とnumber型と関数型しかないTypeScriptサブセット言語がターゲットです。 型検査器の実装言語にもTypeScript（処理系はDeno）を使います。 TypeScriptづくしの一品です。 わかる人向けに言うと、「型システム入門」という本（通称TAPL）の単純型付きラムダ計算に相当する内容をTypeScriptで説明し
フルスタックエンジニアから「フルサイクルエンジニア」へ。和田卓人氏による「組織に自動テストを根付かせる戦略」（その3）。ソフトウェア品質シンポジウム2022 9月22日と23日の2日間、一般財団法人日本科学技術連盟主催のイベント「ソフトウェア品質シンポジウム2022」がオンラインで開催され、その企画セッションとして行われた和田卓人氏による講演「組織に自動テストを書く文化を根付かせる戦略（2022秋版）が行われました。 講演で、企業の業績はソフトウェアの開発能力に左右されるようになってきていること、その開発能力を高める上で重要なのがコードの「テスト容易性」や「デプロイ独立性」であると和田氏は指摘。その上で、それを実現させるような「自動テストを書く文化」をどうすれば組織に根付かせることができるのか、講演の後半ではこの本質的な議論へと踏み込みます。 本記事は、2時間におよぶこの講演をダイジェスト
こんにちは。スタディサプリのWeb開発をやっている@highwideです。 今日は、自分の所属する"コーチングチーム"(個別指導コースや合格特訓コースの機能開発を行っています)が、最近のプロジェクトで利用した「アーキテクチャ・デシジョン・レコード」、通称「ADR」について紹介したいと思います。 アーキテクチャ・デシジョン・レコード(ADR)とは 「ADR」「アーキテクチャ・デシジョン・レコード」という概念を知ったのは、社内で行っていた「Design It! プログラマーのためのアーキテクティング入門」(以後「Design It!」)の読書会でのことでした。 www.oreilly.co.jp 最初にそのキーワードが登場する「11.2.3 必要なときだけ形式的な記述に投資する」では、「"膨大な量のドキュメントになる傾向"がある形式的なドキュメンテーション」に対比して、以下のように紹介されます
NetworkX is a Python package for the creation, manipulation, and study of the structure, dynamics, and functions of complex networks. Software for complex networks Data structures for graphs, digraphs, and multigraphs Many standard graph algorithms Network structure and analysis measures Generators for classic graphs, random graphs, and synthetic networks Nodes can be "anything" (e.g., text, image
Build Your Own Lisp Learn C and build your own programming language in 1000 lines of code! If you're looking to learn C, or you've ever wondered how to build your own programming language, this is the book for you. In just a few lines of code, I'll teach you how to use C, and together, we'll start building your very own language. Along the way we'll learn about the weird and wonderful nature of Li
Over the past years, AdRoll has grown from a humble startup built around a single feature to a global marketing platform with a diverse suite of products. Along with the growth of the company, we have put a lot of work into building a solid infrastructure for user interface development. In this post, we talk about the human aspects of front-end projects that are shared between multiple engineering
Front-of-the-front-end and back-of-the-front-end web development The Great Divide is real, and I’m pleased that the terms “front-of-the-front-end” and “back-of-the-front-end” have gained traction ever since I quipped about them on the Shop Talk Show. A few of my clients have actually moved away from a culture of “we only hire full-stack developers” and have instead adopted the labels “front-of-the
Arm入門勉強会とは、macOSがArmに移行したこの機にArmアーキテクチャでのプログラミングについて入門するソフトウェアエンジニアのための会です。今回主催の@nullpo_head 氏が、Armの仮想化支援機構について、その仕組みから深く説明します。後半は「AArch 64の仮想化支援機構」について。 AArch 64の仮想化支援機構以上が一般的な現代のハードウェア仮想化支援機構についての話になるんですけど、ここからはArmというか、AArch 64の仮想化支援機構についての解説を始めます。 対象アーキテクチャについてです。Virtualization ExtensionというのがArm v7のときの名前で、AArch 64ではどうもただの仮想化機構としか呼ばれていないみたいなんですけど、とりあえずAArch 64だけを対象に発表します。基本的には特権レベルの名前とかが変わるだけでだい
I am proud to offer this resource for free, but if you wish to give some appreciation
2022年、東京・砧公園に初等部開校。元教員の2人がつくる、「教科と探究どちらも諦めない」学びのスタイル。 一人の教育起業家との出会いが、二人のプロフェッショナルの心に火を灯し、理想の教育を目指して、新しい学校創りに舵をきった。 その二人とは、2022年春、東京都世田谷区に開校するヒロック・マイクロスクール初等部のスクールディレクター（校長）蓑手章吾さんと、カリキュラムディレクター五木田洋平さん。 公立・私立の小学校教師という安定した職を投げうってまで実現したい理想の教育とは、どういうものなのでしょうか。設立のきっかけから、彼らが目指す教育の姿、そして今後の抱負を聞きました（取材・執筆：中曽根陽子）。 「この3人なら、理想の教育を実現できるのではないか」想いが一致し、その場でスクール立ち上げを決意「理想の学校を創る！」 そんなすごい計画の始まりは、Facebookでした。 二人とも、ヒロッ
こんにちは、かこもえ（@kakomoe3）です。 株式会社カミナシ🐐でPM（プロダクトマネージャー）をしています。 📖 このnoteはなに？ 📖 私がカミナシに入社して6ヶ月、7月にPMチームができて3ヶ月経ちました🙌 その6ヶ月間の実録として、PMチームを組織化する過程での課題と取り組みについて書きたいと思います💪 📖 誰のためのnote？ 📖 ・1人目PMや、これからPMチームを組織化していきたいと思っている人 ・カミナシのPMって何やってるの？気になる！という人 ・加古は最近元気かなと心配してくれている人 PMチームが7月にできました私は2022年4月にカミナシに入社をしたのですが、当時カミナシの専任PMはおらず、CSチームのリーダーがPMを兼務していました。 さすがに兼務は厳しい！ということで私が採用されたのですが、PM、ないしそれに準じる組織がないところに入社をした
分散システムについては、もう随分と前から学びたいと思っていました。ただ、それは一度首を突っ込んだら最後、ゴールのない迷路に迷い込むようなものなのです。どこまでも続いているウサギの穴のようなものです。分散システムに関する文献は星の数ほど存在します。様々な大学からたくさんの論文が発表されているばかりでなく、膨大な数の書籍もあるのです。私のような全くの初心者には、どの論文を読んだらいいのか、どの書籍を買ったらいいのか、見当もつきません。 そんなとき、一部のブロガーが、 分散システムエンジニア （それがどういう意味であれ）になるなら知っておくべき論文というものを推奨しているのを見つけました。その一部を紹介しましょう。 FLP , Zab , Time, Clocks and the Ordering of Events in a Distributed Systems , Viewstamped
資金調達に成功し、スタートアップとして飛躍的に成長を遂げる「最もエキサイティングな時期」こそ、経営者として一番つらかった。今回は私にとってのハードシングスについて話します。
Created from gopherize.me base imagesThere are many cases when Go code works with different HTTP APIs or as HTTP API service. One of the standard usage in this case: we got some struct from database, send it to external API, get struct in response with different values, convert it and store to database. As other words: we don’t do many processing operations in such cases with request and response
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く