サクサク読めて、
アプリ限定の機能も多数！
アプリで開く
●はてなブックマークって？
●アプリ・拡張の紹介
●ユーザー登録
●ログイン
●ログアウト
igrep
id:igrep
●
25,981
ブックマーク
●
-
お気に入り
●
-
お気に入られ
タグ
●すべて
●
.NET
(51)
●
2ch
(58)
●
AI(249)
●
API
(53)
●
ARM
(42)
●
AWS Lambda
(18)
●
ActiveRecord
(17)
●
Advent Calendar
(28)
●
Apple
(95)
●
C(84)
●
C#
(36)
●
C++
(81)
●
CI(64)
●
COVID-19
(454)
●
CPU
(62)
●
CSS
(237)
●
CSV
(15)
●
ChatGPT
(89)
●
Chrome
(305)
●
Chrome OS
(20)
●
Chromebook
(18)
●
C言語
(30)
●
DB(80)
●
DNS
(37)
●
Debian
(17)
●
ECMAScript
(26)
●
Edge
(31)
●
Eight
(23)
●
F#
(15)
●
FRP
(23)
●
Fintech
(21)
●
Firefox
(106)
●
Flash
(42)
●
GC(25)
●
GMO
(37)
●
GPU
(29)
●
GTD
(27)
●
GUI
(43)
●
Git
(255)
●
Gmail
(26)
●
Google
(443)
●
Google Apps Script
(17)
●
Google Home
(38)
●
Google+
(23)
●
GraphDB
(15)
●
GraphQL
(51)
●
IDE
(38)
●
Intel
(34)
●
IoT
(95)
●
Java
(255)
●
JavaScript
(1237)
●
Kubernetes
(116)
●
LGBT
(34)
●
LINE
(55)
●
LLM
(89)
●
LLVM
(41)
●
LaTeX
(49)
●
Lua
(38)
●
Mac
(71)
●
Mastodon
(36)
●
Microsoft
(185)
●
Monad
(76)
●
NHK
(38)
●
Neo4j
(15)
●
NoSQL
(22)
●
OCaml
(44)
●
OS(26)
●
Oracle
(47)
●
P2P
(20)
●
PDF
(42)
●
PHP
(38)
●
PostgreSQL
(87)
●
PowerShell
(44)
●
PureScript
(51)
●
Python
(233)
●
Qiita
(27)
●
R(29)
●
RDB
(24)
●
RDBMS
(21)
●
REST
(21)
●
Raspberry Pi
(16)
●
Ruby
(539)
●
SEO
(23)
●
SIer
(15)
●
SQLite
(17)
●
SVG
(37)
●
Safari
(22)
●
Sansan
(50)
●
Selenium
(28)
●
Swift
(45)
●
TCP
(27)
●
TDD
(18)
●
TLS
(19)
●
Twitter
(216)
●
UI(40)
●
UX(16)
●
Unity
(16)
●
V8
(18)
●
VR(37)
●
Visual Studio
(18)
●
Visual Studio Code
(52)
●
WASI
(79)
●
Web API
(36)
●
WebRTC
(21)
●
WebSocket
(18)
●
Webデザイン
(237)
●
Windows
(325)
●
Windows 10
(59)
●
XML
(16)
●
XSS
(27)
●
Yesod
(39)
●
YouTube
(34)
●
accessibility
(42)
●
amazon
(74)
●
android
(436)
●
aws
(168)
●
azure
(38)
●
bash
(50)
●
benchmark
(16)
●
bot
(23)
●
cabal
(65)
●
canvas
(24)
●
chromium
(24)
●
cli
(113)
●
clojure
(80)
●
cloud
(81)
●
conduit
(22)
●
cookie
(20)
●
coq
(17)
●
cui
(17)
●
cybozu
(20)
●
ddd
(20)
●
devops
(20)
●
dhall
(21)
●
docker
(241)
●
dropbox
(25)
●
eclipse
(15)
●
electron
(25)
●
elixir
(21)
●
elm
(252)
●
emacs
(26)
●
emoji
(33)
●
erlang
(25)
●
eta
(15)
●
ethereum
(19)
●
excel
(44)
●
facebook
(118)
●
framework
(37)
●
gem
(27)
●
ghc
(367)
●
github
(290)
●
gitlab
(51)
●
go(90)
●
golang
(100)
●
google cloud platform
(37)
●
hash
(15)
●
haskell
(3701)
●
haskell-jp
(40)
●
heroku
(28)
●
html
(152)
●
html5
(110)
●
http
(58)
●
http2
(28)
●
https
(23)
●
iOS
(137)
●
iPad
(19)
●
iPhone
(74)
●
ie(38)
●
iij
(108)
●
intellij
(21)
●
jQuery
(33)
●
jenkins
(18)
●
json
(117)
●
jvm
(41)
●
kindle
(23)
●
kintone
(18)
●
kotlin
(84)
●
language server protocol
(18)
●
lens
(48)
●
linux
(375)
●
lisp
(29)
●
markdown
(45)
●
microservices
(22)
●
mixi
(15)
●
moongift
(29)
●
mysql
(128)
●
neovim
(102)
●
news
(344)
●
nginx
(16)
●
nix
(24)
●
node
(53)
●
node.js
(186)
●
note
(71)
●
npm
(53)
●
oauth
(17)
●
oss
(250)
●
pandoc
(18)
●
perl
(19)
●
rails
(186)
●
react
(149)
●
redis
(19)
●
rspec
(29)
●
rust
(467)
●
scala
(77)
●
security
(948)
●
servant
(42)
●
serverless
(42)
●
shell
(35)
●
slack
(94)
●
sns
(200)
●
sony
(20)
●
sql
(107)
●
ssh
(55)
●
stack
(95)
●
svelte
(27)
●
systemd
(18)
●
test
(17)
●
tips
(269)
●
tmux
(29)
●
trouble
(68)
●
tutorial
(28)
●
typescript
(199)
●
ubuntu
(109)
●
unicode
(40)
●
unix
(24)
●
vim
(368)
●
vue.js
(26)
●
wasmer
(24)
●
webassembly
(841)
●
webpack
(20)
●
webサービス
(893)
●
いつか
(318)
●
いつか読む
(21)
●
お金
(30)
●
かわいい
(25)
●
けものフレンズ
(29)
●
これはすごい
(59)
●
これはひどい
(88)
●
はてな
(35)
●
まとめ
(254)
●
アジャイル
(33)
●
アニメ
(102)
●
アプリ
(56)
●
アメリカ
(168)
●
アルゴリズム
(117)
●
イギリス
(30)
●
イベント
(152)
●
インターネット
(117)
●
インド
(53)
●
ウクライナ
(40)
●
エディタ
(25)
●
エネルギー
(17)
●
エロ
(42)
●
オブジェクト指向
(28)
●
オリンピック
(28)
●
オープンソース
(38)
●
カルト宗教
(25)
●
キーボード
(18)
●
グラフ
(23)
●
ゲーム
(135)
●
コミュニケーション
(73)
●
コンビニ
(21)
●
コーディングスタイル
(17)
●
コードレビュー
(15)
●
サイボウズ
(26)
●
サーバ
(38)
●
サーバー管理
(31)
●
スポーツ
(51)
●
スマホ
(49)
●
スマートフォン
(58)
●
セキュリティ
(92)
●
セクハラ
(28)
●
チャット
(20)
●
テスト
(265)
●
テレビ
(46)
●
デザイン
(48)
●
デバッグ
(119)
●
デマ
(64)
●
データベース
(65)
●
データ構造
(35)
●
トランプ大統領
(26)
●
ドキュメント
(45)
●
ドメイン
(22)
●
ネタ
(567)
●
ネット
(20)
●
ネットワーク
(45)
●
バグ
(19)
●
バージョン管理
(19)
●
パスワード
(29)
●
パーサー
(24)
●
ビットコイン
(33)
●
ビルドツール
(33)
●
フォント
(28)
●
フリーソフト
(20)
●
ブラウザ
(166)
●
ブラック企業
(21)
●
ブログ
(34)
●
ブロックチェーン
(45)
●
プラグイン
(52)
●
プリキュア
(238)
●
プレゼンテーション
(30)
●
プログラマ
(29)
●
プログラミング
(296)
●
プログラミング言語
(86)
●
プロジェクト管理
(25)
●
プロファイリング
(20)
●
マスコミ
(86)
●
マナー
(20)
●
マネジメント
(31)
●
マンガ
(29)
●
マーケティング
(20)
●
メディア
(17)
●
メルカリ
(17)
●
メール
(41)
●
モナド
(34)
●
ライセンス
(16)
●
ライブラリ
(119)
●
リモートワーク
(27)
●
ログ
(37)
●
ロシア
(72)
●
ローコード
(65)
●
ワクチン
(54)
●
並列処理
(40)
●
並行処理
(35)
●
中国
(178)
●
中国語
(20)
●
乱数
(18)
●
人工知能
(37)
●
人生
(99)
●
仕事
(632)
●
企業
(138)
●
会社
(34)
●
例外
(36)
●
依存型
(21)
●
個人情報
(79)
●
健康
(76)
●
分散処理
(43)
●
労働
(234)
●
勉強会
(21)
●
動画
(51)
●
北朝鮮
(22)
●
医療
(172)
●
原発
(69)
●
図書館
(21)
●
圏論
(42)
●
圧縮
(26)
●
地図
(18)
●
地震
(22)
●
型
(63)
●
型レベルプログラミン
(33)
●
声優
(23)
●
夏時間
(86)
●
大学
(54)
●
婚活
(77)
●
学問
(81)
●
学校
(48)
●
宗教
(32)
●
寄付
(30)
●
就活
(44)
●
差別
(68)
●
広告
(117)
●
形式手法
(16)
●
心理
(54)
●
心理学
(16)
●
思想
(25)
●
性
(50)
●
性犯罪
(16)
●
恋愛
(33)
●
戦争
(39)
●
手前味噌
(188)
●
投資
(53)
●
携帯
(21)
●
政治
(394)
●
教育
(341)
●
数学
(146)
●
文化
(74)
●
文字コード
(27)
●
旅行
(24)
●
日本
(443)
●
日本語
(103)
●
暗号
(51)
●
暗号通貨
(82)
●
最適化
(27)
●
本
(106)
●
東京
(27)
●
東京オリンピック
(37)
●
東日本大震災
(65)
●
検索
(68)
●
機械学習
(144)
●
欲しい
(74)
●
正規表現
(71)
●
歴史
(141)
●
法律
(149)
●
海外
(20)
●
漫画
(43)
●
災害
(65)
●
炎上
(42)
●
無線LAN
(24)
●
犯罪
(153)
●
環境問題
(57)
●
生活
(46)
●
男女
(156)
●
画像
(158)
●
画像作成
(18)
●
画像処理
(49)
●
痴漢
(28)
●
監視
(29)
●
研究
(23)
●
社会
(71)
●
社会学
(26)
●
科学
(79)
●
税金
(42)
●
組織
(60)
●
経営
(42)
●
経済
(104)
●
結婚
(55)
●
統計
(79)
●
考え方
(365)
●
育児
(104)
●
自殺
(18)
●
自民党
(63)
●
自然言語処理
(28)
●
芸能
(23)
●
英語
(162)
●
著作権
(102)
●
行政
(61)
●
表現の自由
(40)
●
言葉
(54)
●
言語
(58)
●
言語処理系
(34)
●
設定
(17)
●
設計
(43)
●
詐欺
(44)
●
語学
(21)
●
調査
(17)
●
論文
(24)
●
警察
(38)
●
起業
(55)
●
車
(18)
●
転職
(27)
●
農業
(19)
●
遅延評価
(31)
●
選挙
(54)
●
金融
(24)
●
銀行
(22)
●
開発
(176)
●
関数型
(19)
●
関数型プログラミング
(29)
●
防災
(26)
●
障害
(68)
●
電力
(52)
●
電子書籍
(71)
●
静的解析
(38)
●
韓国
(49)
●
音声
(44)
●
音楽
(73)
●
食
(46)
●
香港
(19)
●
高速化
(144)
●
haskell
(3701)
●
JavaScript
(1237)
●
security
(948)
●
webサービス
(893)
●
webassembly
(841)
●
仕事
(632)
●
ネタ
(567)
●
Ruby
(539)
●
rust
(467)
●
COVID-19
(454)
関連タグで絞り込む (5)
●
F#
●
facebook
●
Haskell
●
並列処理
●
型
タグの絞り込みを解除
OCamlとJavaに関するigrepのブックマーク (2)
●
32 users
●
github.com/facebook
●テクノロジー
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
igrep
2017/10/23
●OCaml
●Java
●facebook
●並列処理
●
18 users
●
togetter.com
●テクノロジー
きょん＠アジャイルコーチ、システムアーキテクト @kyon_mm @osiire はい。。。F# を日常的に使っていたり、OCamlを勉強していると、型安全って静的型付けであることとは違うし、型によって何を保証したり、表現できれば型安全であるって言えるのかよくわからなくなってきました。型安全って言葉を安易に使えないですね。 2012-09-20 19:02:42
igrep
2016/04/01
●型
●F#
●OCaml
●Haskell
●Java
1
お知らせ
ランキング
今週のはてなブックマーク数ランキング︵2024年7月第2週︶
お知らせ
はてなブックマーク透明性レポート︵2024年2月-2024年4月︶
ランキング
今週のはてなブックマーク数ランキング︵2024年7月第1週︶
もっと読む
公式Twitter
●@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
●@hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
●総合
●一般
●世の中
●政治と経済
●暮らし
●学び
●テクノロジー
●エンタメ
●アニメとゲーム
●おもしろ
●アプリ・拡張機能
●開発ブログ
●ヘルプ
●お問い合わせ
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●公式アカウント
●ホットエントリー
●はてなブログ
●はてなブログPro
●人力検索はてな
●はてなブログ タグ
●はてなニュース
●ソレドコ
Copyright © 2005-2024 Hatena. All Rights Reserved.
設定を変更しましたx
GitHub - facebook/infer: A static analyzer for Java, C, C++, and Objective-C
型安全ってなんだろう？