Hatena Blog Tags
型推論

型推論

(コンピュータ)
【かたすいろん】

Type inference. ML等の静的に強く型付けされた言語において，変数や関数の型をプログラマが明示しなくても，処理系が自動的に決定してくれる仕組みのこと．型理論の知見に基づく．
型推論が可能な型システムとしてはHindley-Milner型システムが有名．これを拡張したものがOCamlを始めとしたML系言語やHaskell等の言語処理系に搭載されている．

ネットの話題: 型推論

人気

新着

446users

Java 10が本日付で正式リリース。ローカル変数の型推論、ガベージコレクタが入れ替え可能、不揮発性メモリ対応など。Java 9は早くもサポート期間終了 － Publickey

www.publickey1.jp
みんなの反応を見る
167users

Java8には型推論があるので型指定不要で変数が使えますよ - きしだのHatena

nowokay.hatenablog.com
みんなの反応を見る
107users

TypeScriptの型推論詳説 - Qiita

qiita.com
みんなの反応を見る
105users

10年間のプログラミングの変化といえばクラウド、型推論、リアクティブ - きしだのHatena

nowokay.hatenablog.com
みんなの反応を見る
92users

型推論と型検査、静的な型つけと動的な型つけ、強い型つけと弱い型つけ - sumiiのブログ

sumii.hatenablog.com
みんなの反応を見る
90users

JavaScriptで型推論器を作りました - takuto_hの日記

takuto-h.hatenadiary.org
みんなの反応を見る
84users

Pythonと型 〜 Docstring、関数アノテーション、型推論 〜 - Blank File

h-miyako.hatenablog.com
みんなの反応を見る
81users

多相型、推論、Ruby - Speaker Deck

speakerdeck.com
みんなの反応を見る
76users

OCaml でも採用されているレベルベースの多相型型推論とは - はやくプログラムになりたい

rhysd.hatenablog.com
みんなの反応を見る
25users

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

admarimoin.hatenablog.com
みんなの反応を見る
29users

手続き型脳で型推論を実装してみた | κeenのHappy Hacκing Blog

keens.github.io
みんなの反応を見る
23users

微分計算、ラムダ計算、型推論 - 檜山正幸のキマイラ飼育記 (はてなBlog)

m-hiyama.hatenablog.com
みんなの反応を見る
69users

Vuex型推論・最終章 - vuex-guardian - - Qiita

qiita.com
みんなの反応を見る
107users

TypeScriptの型推論詳説 - Qiita

qiita.com
みんなの反応を見る
27users

型推論に関する最近の話題への雑感 - Qiita

qiita.com
みんなの反応を見る
446users

Java 10が本日付で正式リリース。ローカル変数の型推論、ガベージコレクタが入れ替え可能、不揮発性メモリ対応など。Java 9は早くもサポート期間終了 － Publickey

www.publickey1.jp
みんなの反応を見る
7users

【JDK 10】varを使った型推論 - Qiita

qiita.com
みんなの反応を見る
105users

10年間のプログラミングの変化といえばクラウド、型推論、リアクティブ - きしだのHatena

nowokay.hatenablog.com
みんなの反応を見る
47users

人でもわかる型推論 - Qiita

qiita.com
みんなの反応を見る
はてなブックマークでもっと見る
はてなブックマーク・usersって何？

新着ブログ: 型推論

id:basictomonokai
4 日前

GAS新着情報(2020/05/30)

basictomonokai（🐦） ツイートURL:https://twitter.com/i/web/status/1266375210812338177 ツイート:◆GAS情報毎日更新◆ Google Apps Script情報 https://t.co/okseVpq2xb ばっさー（🐦） ツイートURL:https://twitter.com/i/web/status/1266370140519559168 ツイート:Google Apps Scriptでマクロ組めるようになろう Excelばかり構ってる場合じゃないあと「遷移図」ってやつの勉強 タカハシノリアキ@パーフェクトExcel…

Google Apps Script情報
id:iKanago
5 日前

日記(5/29)

朝 WSL2を有効化したWindowsでもVirtual Boxが使えるというツイートを見かけたので試してみた． ところがインストール途中でInstallation errorがでてきてしまった．ファイルがこわれているらしい．isoこわれてたのかな．あるいはインストール中，パソコンがメチャクチャ熱かったのでそっちかもしれない．昼にもう一回試す． 昼 Ubuntuを頑張ってインストールしようとしたがどうしてもうまくいかない．WSLがあるので無理して動かす必要もないということでやめた． リストのパターンマッチを完成させた． 死闘のすえリストのパターンマッチができた(なお拡張性さん......) p…

ikanagoの走り書き
id:basictomonokai
5 日前

GAS新着情報(2020/05/29)

𝑯𝒚𝒐𝒅𝒐 𝑻𝒐𝒎𝒐𝒚𝒂（🐦） ツイートURL:https://twitter.com/i/web/status/1266029040319651840 ツイート:モーショングラフィックスが作れて広告運用ができて、Google Apps Scriptが使える人間ワイ以外におらんな？でも現状全部が中途半端な状態なので、これから全部を極められる人間になるぞ〜 basictomonokai（🐦） ツイートURL:https://twitter.com/i/web/status/1266012809478975496 ツイート:◆GAS情報毎日更新◆ Google Apps Script情報 http…

Google Apps Script情報
id:basictomonokai
6 日前

GAS新着情報(2020/05/28)

ヤマタケ・特化型ブログ運営中（🐦） ツイートURL:https://twitter.com/i/web/status/1265668220205232130 ツイート:なんでか分からないけど、Google Apps ScriptのUrlFetchApp.fetchで某巨大ECサイトをスクレイピングしようとすると、3割ぐらいの確率でしかうまく取得できない。しょうがないので、whileループでき… https://t.co/wDksyxf3Tm ⅡBASA（🐦） ツイートURL:https://twitter.com/i/web/status/1265637053615575040 ツイート:【G…

Google Apps Script情報
id:basictomonokai
7 日前

GAS新着情報(2020/05/27)

ちょむ（🐦） ツイートURL:https://twitter.com/i/web/status/1265300396257374208 ツイート:うーん、このへんかな？（自信なし）Google Apps Script でスクレイピングがうまく出来ない場合にチェックするポイント - Qiita https://t.co/UnzBxToRjc ハラ（🐦） ツイートURL:https://twitter.com/i/web/status/1265276525215051776 ツイート:Google Apps Script便利ねー Ryu Ishikawa（🐦） ツイートURL:https://tw…

Google Apps Script情報
id:m-hiyama
8 日前

乱用の分類 構造・構成素の乱用、同型・等値の乱用

構造・構成素の乱用は、一番よくやるやつ。M = (M, *, e) とか。コジュール接続だと： E = (E, S, ∇) where S = Γ(E) S = (E, S, ∇) ∇ = (E, S, ∇) 名前付き順序付きタプルを使って、 X = {v-bundle: E, sec-space, deriv: ∇} とすれば、 X.v-bundle = E X.sec-space = S X.deriv = ∇ v-bundle, sec-space, deriv を構造の構成素名、または役割名と呼ぶ。出現順で番号付けるとすれば： X.1 = E X.2 = S X.3 = ∇ Coqと同…

(新) 檜山正幸のキマイラ飼育記 メモ編
id:basictomonokai
8 日前

GAS新着情報(2020/05/26)

しろくま𓂃𓈒𓏸（🐦） ツイートURL:https://twitter.com/i/web/status/1264938343533404160 ツイート:「Pythonやりたい！」「SQLやりたい！」ってのは趣味でやる分にはいいと思うけど、実務で使うなら、まず最初にスプレッドシート。それができたら、Google Apps Scriptとか、iPaaS(IFTTT, Zapier)使… https://t.co/ajP5ioDBqy なかつがわ（🐦） ツイートURL:https://twitter.com/i/web/status/1264930326033264647 ツイート:Google …

Google Apps Script情報
id:k9876
9 日前

TypeScript 関数の型とモジュールの型定義

関数の型宣言 戻り値は型推論で省略可能だが、引 数は必ず指定する必要がある 関数の引数のかっこのすぐ後ろに型を書く > const add = (n: number, m: number): number => n + m; > add(1, 3); 4 > function subtr(n: number, m: number): number { return n - m; } > subtr(5, 4); 1 > const hello = (): void => { console.log('Hello!') }; > hello(); Hello! モジュールの型定義 Type…

kouの技術的メモ
id:set21set21
9 日前

Java11の勉強

はじめに Java8環境での開発をしばらくやっていてすっかりJavaのアップデートについていけていないので Java8環境からJava11環境での差分を勉強してみます。 検証環境 以下環境で実施しています。 端末 mac OS High Sierra 10.13.3 Java version java -version java version "11.0.7" 2020-04-14 LTS Java(TM) SE Runtime Environment 18.9 (build 11.0.7+8-LTS) Java HotSpot(TM) 64-Bit Server VM 18.9 (buil…

set21set21のブログ