[B! Type-in-programming] masa8aurumのブックマーク

type-challenges/questions/00898-easy-includes/README.ja.md at main · type-challenges/type-challenges

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

masa8aurum 2024/07/16

TypeScriptの型パズル集

リンク

いかにして動的型付けのRubyに静的な型検査を持ち込むか？ SteepとRBSが目指すもの - Findy Engineer Lab

Rubyをはじめとする﹁動的型付け﹂のプログラミング言語は、ソースコード中に型に関する記述が陽に出てこないことが特徴で、プログラムの実行前に︵静的に︶型検査をすることはありません。しかし、このようなプログラミング言語においても、大規模な開発における品質の向上や開発体験の改善、実行の高速化のために、静的な解析を活用しようという試みは多くなされてきました。この記事では、動的型付けの言語のための型検査の歴史を簡単に振り返って、現在私が開発しているRuby向けの型検査器Steepとその基盤となっている型記述言語RBSについて説明し、今後の展望を議論します。著者‥松本宗太郎さん︵@soutaro︶ Rubyコミッター。大学院でRubyプログラムの型検査の研究に取り組み、修了後はスタートアップでWebアプリケーションの開発に従事。2017年から型検査ツールSteepの開発を始め、2019年からはRu

masa8aurum 2024/06/19

リンク

書評「型システム入門」 - 純粋関数空間

追記‥Amazonのリンクを張っていますが、オーム社のサイト http://estore.ohmsha.co.jp/titles/978427406911P からも購入できます。 AmazonのKindle版はまだ出ていないようですが、こちらからは今現在でDRMなしのPDFも購入できます。 Kindle版リリースの際にも、フローレイアウトになる予定はないそうですので、 Amazonにこだわりがあるのでなければ、電子版で読みたいという方は、こちらから購入されるのが良いかと思います。あらかじめお断りしておきますと、この記事は書評ではなく、宣伝です。数年前に原著を読んだ時から、本書は私の中では間違いなく良書ということになっておりますので、私がいまさら内容の善し悪しを語ることには、はじめから意味がないと思っております。なのでここでは、この本の魅力、読んで欲しい人、どういう風に読

masa8aurum 2024/02/10

型に関する書籍。 “読後のプログラマ人生に対して、恒久的にプラスになり続ける、極めて費用対効果・労力対効果の高いもの”

リンク

Structural type system - Wikipedia

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Structural type system" – news · newspapers · books · scholar · JSTOR (July 2011) (Learn how and when to remove this message) A structural type system (or property-based type system) is a major class of

masa8aurum 2023/04/11

リンク

なぜ型ファーストで考えるのか - 貳佰伍拾陸夜日記

How do you imagine a building? You consciously create each aspect, puzzling over it in stages. Inception 型なし言語に馴染みはあるものの型付言語をいざ使ってみたらどういう気持ちで書いたらいいのかわからなかったと同僚から相談があり, それをきっかけにして社内の勉強会で以下の話をしました. よく型なし vs. 型付の文脈では「型を書くのは面倒だ」「安全の方が大事だ」「でも面倒だ」「それは型推論を前提にしていないからだ」などの議論になりがちな気がしますが、これはあくまで「計算ありきの型」を考えているからで, 「型ありきの計算」だと全く見え方が違います. 「型はある種の仕様」とおもえば, 型ファーストであることと, 型なし言語でテスト駆動開発(TDD)するときに最初にテストを書くこととは, 同じ

masa8aurum 2022/02/18

リンク

Java総称型のワイルドカードを上手に使いこなすための勘所 - 達人プログラマーを目指して

Java5以降では総称型︵generics︶がJava言語に導入されています。総称型自体は、最近の静的な型付けのプログラミング言語で珍しいことではなく、現在の最新版では.NETのC#やVisual Basicにも導入されています。一般的には総称型をサポートするクラスライブラリを自分で正しく定義することは非常にスキルがいるが、事前に定義されたクラスを使うだけであれば、それほど難しくないとされています。しかし、Java言語の総称型は本エントリで説明するように特殊なところがあり、単に利用するだけでも他の言語に比べて遥かに難しいところがあるというのも事実です。特に総称型をパラメータ化する際に指定するワイルドカード型︵List<? extends Serializable>など)の意味を正しく理解して使いこなすことは簡単なことではありません。その結果、昔のJDK1.4までのように型パラメーターのない

masa8aurum 2021/03/05

共変、反変、非変、上限つき、下限つきなど

リンク

TypeScriptの"型"を学びたいあなたへ。type-challengesのすゝめ - Qiita

先日以下ツイートをしたら思いの外良い反応もらえたので、より詳細な紹介記事を書いてみました。これは必見だわ!! TypeScriptの型についての問題集想定に従って独自のユーティリティ型を作っていく感じの問題がレベル別に提供されてる Playgroundのリンクから手を動かしながらチャレンジできるので凄くやりやすい（自分はeasyの問題でも分からんのあった。頑張ろ😅）https://t.co/tkEFe7VrBQ — Kawamata Ryo (@KawamataRyo) September 3, 2020 type-challengesとは type-challenges/type-challenges: Collection of TypeScript type challenges with online judge VueUseやVueDemiの開発者である @antfu7さ

masa8aurum 2020/09/07

リンク

Hindley-Milner型推論をCで実装した話 - free(malloc(sizeof(MRM)));

SecHack365 2019 Advent Calendar 14日目の記事です(大遅刻)． what is this きっかけ実装したもの型と型推論について型？型付け規則はこわくない型環境型付け規則を読む整数変数ラムダ抽象関数適用 let式 let rec式型推論？Hindley-Milner Type SystemHindley-Milner型推論型の連立方程式多相性実装感想参照したリンクとか what is this 型理論とか全く知らない人がHindley-Milner型推論器(+ REPL)をCで実装したお話．記事に誤謬などを発見したらコメントとかDM，リプライください(@cmpl_error)．きっかけ今年の4月からHindley-Milner型推論という型推論アルゴリズムがあるのはなんとなく知っていて，実装してみたいなーという気持ち

masa8aurum 2019/12/31

Type-in-programming

リンク

漸進的型付け言語の時代に必要なもの - mizchi's blog

最近では、Gradual Typing、漸進的型付けと呼ばれる型システムを備えた言語(拡張)が増えてきています。次のようなもの JavaScript: TypeScript / Flowtype Python: mypy / pyre-checker PHP: hack / php-storm flow/pyre-checker/hack と facebook 製が多いですね。この記事は、それらを使う動機と運用について書きます。この記事の出発点として、おそらく TypeScript/Flow で発生した問題が後発の言語で発生すると思っており、それらを使う方や、設計する人への提言でもあります。自分は昔 https://github.com/mizchi/TypedCoffeeScript というAltJS作ろうとして、実装のツラミはなんとなく知ってるつもりです。ホビーレベルで作るもの

masa8aurum 2018/07/07

リンク

Type system - Wikipedia

In computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every term (a word, phrase, or other set of symbols). Usually the terms are various language constructs of a computer program, such as variables, expressions, functions, or modules.[1] A type system dictates the operations that

masa8aurum 2018/02/13

リンク

はてなブックマーク

タグ

関連タグで絞り込む (6)

Type-in-programmingに関するmasa8aurumのブックマーク (10)

お知らせ

今週のはてなブックマーク数ランキング（2024年7月第3週）

今週のはてなブックマーク数ランキング（2024年7月第2週）

はてなブックマーク透明性レポート（2024年 2月-2024年4月）

公式Twitter

キーボードショートカット一覧

はてなブックマーク

公式Twitter

はてなのサービス