サクサク読めて、
アプリ限定の機能も多数!
アプリで開く
●はてなブックマークって?
●アプリ・拡張の紹介
●ユーザー登録
●ログイン
●ログアウト
nanakoso
id:nanakoso
●
25,647
ブックマーク
●
-
お気に入り
●
-
お気に入られ
タグ
●すべて
●
ネタ
(16)
●
.NET
(7)
●
2ch
(374)
●
3D
(5)
●
AA(11)
●
AI(34)
●
ANTLR
(3)
●
API
(65)
●
AR(6)
●
ART
(2)
●
AVR
(2)
●
Ant
(10)
●
Apple
(47)
●
Arduino
(8)
●
AutoPagerize
(49)
●
BASIC
(7)
●
BD(2)
●
BIOS
(4)
●
BITCOIN
(6)
●
BitTorrent
(6)
●
C(58)
●
C#
(12)
●
C++
(26)
●
CD(4)
●
CG(9)
●
CMS
(2)
●
CPU
(44)
●
Clojure
(8)
●
CoffeScript
(3)
●
Coq
(7)
●
Curl
(3)
●
D3.js
(4)
●
DB(61)
●
DBMS
(3)
●
DNS
(10)
●
DTM
(3)
●
DVD
(10)
●
Docker
(24)
●
EPUB
(2)
●
Eclipse
(60)
●
Erlang
(11)
●
FPGA
(3)
●
FRP
(2)
●
FTP
(3)
●
Felica
(37)
●
FireWire
(3)
●
Firefox
(775)
●
FirefoxOS
(2)
●
GC(10)
●
GCC
(4)
●
GNU
(10)
●
GPL
(5)
●
GPS
(25)
●
GPU
(5)
●
GTK
(2)
●
GUI
(20)
●
Groovy
(5)
●
HDD
(7)
●
HDL
(2)
●
HPC
(3)
●
Hadoop
(10)
●
Haskell
(665)
●
Haxe
(6)
●
Heroku
(2)
●
IDE
(35)
●
IE(39)
●
IIJ
(2)
●
IME
(4)
●
Intel
(4)
●
IoT
(6)
●
JSDeferred
(3)
●
JSON
(12)
●
JSX
(3)
●
Jakarta
(6)
●
Java
(744)
●
JavaCC
(3)
●
JavaFX
(65)
●
JavaScript
(603)
●
Kotlin
(8)
●
LLVM
(9)
●
Linux
(295)
●
Lisp
(67)
●
MS(11)
●
MTP
(9)
●
MVNO
(6)
●
Makefile
(4)
●
Mastodon
(20)
●
Maven
(29)
●
Microsoft
(11)
●
Minibuffer
(4)
●
NET
(236)
●
NFC
(6)
●
NHK
(22)
●
NetBean
(11)
●
Netty
(3)
●
OAuth
(11)
●
OCaml
(4)
●
OOP
(13)
●
OS(108)
●
Objective-C
(3)
●
OpenID
(15)
●
Opera
(3)
●
Oracle
(8)
●
P2P
(68)
●
PC(535)
●
PDF
(33)
●
PHP
(17)
●
PS3
(7)
●
PSP
(22)
●
Parsec
(3)
●
Plagger
(6)
●
PowerShell
(37)
●
Processing
(5)
●
Python
(20)
●
RFC
(11)
●
RISC-V
(5)
●
RSS
(6)
●
RaspberryPi
(19)
●
Ruby
(41)
●
Rust
(61)
●
RxJava
(3)
●
SF(48)
●
SNS
(61)
●
SQL
(22)
●
SVG
(10)
●
Scala
(60)
●
Scheme
(27)
●
Script
(11)
●
Subversion
(35)
●
Swift
(5)
●
Swing
(6)
●
TV(47)
●
Togetter
(32)
●
Tomcat
(4)
●
Tumblr
(5)
●
TypeScript
(7)
●
UI(37)
●
UML
(7)
●
UPnP
(4)
●
Ubiquity
(3)
●
Ubuntu
(16)
●
Unicode
(69)
●
Unity
(3)
●
VBScript
(5)
●
VML
(3)
●
VPN
(5)
●
VSCode
(5)
●
Vimperator
(71)
●
Visual Studio
(3)
●
W-ZERO3
(4)
●
WSH
(5)
●
WSL
(13)
●
WebAssembly
(3)
●
WebDav
(3)
●
WebRTC
(17)
●
WebSocket
(3)
●
Wicket
(5)
●
Windows
(375)
●
Winny
(17)
●
XML
(52)
●
Yahoo
(16)
●
Z80
(3)
●
ajax
(10)
●
amazon
(46)
●
amdroid
(3)
●
android
(1232)
●
apache
(8)
●
arm
(16)
●
bash
(46)
●
blog
(53)
●
bluetooth
(11)
●
chrome
(41)
●
chumby
(39)
●
clang
(4)
●
coffeescript
(5)
●
cookie
(3)
●
css
(62)
●
cvs
(3)
●
cygwin
(4)
●
docomo
(3)
●
ealang
(6)
●
emacs
(4)
●
enchantMOON
(46)
●
evernote
(3)
●
excel
(12)
●
facebook
(9)
●
fc2
(4)
●
ferica
(4)
●
flash
(63)
●
fon
(11)
●
forth
(3)
●
gif
(9)
●
gist
(3)
●
git
(153)
●
github
(25)
●
gmail
(36)
●
go(8)
●
google
(461)
●
greasemonkey
(176)
●
hack
(11)
●
html
(128)
●
html5
(6)
●
http
(68)
●
iOS
(16)
●
iPad
(3)
●
iPhone
(114)
●
jQuery
(33)
●
mac
(14)
●
mail
(17)
●
markdown
(5)
●
misskey
(3)
●
mixi
(45)
●
mobile
(5)
●
mp3
(14)
●
mysql
(5)
●
node.js
(18)
●
office
(8)
●
paypay
(16)
●
perl
(9)
●
pixiv
(310)
●
programming
(5)
●
raspberry pi
(9)
●
security
(5)
●
shell
(12)
●
skype
(3)
●
software
(5)
●
sony
(3)
●
spam
(26)
●
ssh
(20)
●
swf
(6)
●
tex
(7)
●
tips
(1063)
●
tor
(4)
●
trac
(7)
●
twitter
(304)
●
twittr
(4)
●
unix
(85)
●
usb
(13)
●
vi(16)
●
vim
(205)
●
web
(418)
●
webアプレット
(4)
●
webサービス
(1251)
●
webデザイン
(5)
●
wget
(4)
●
wifi
(87)
●
wiki
(8)
●
word
(4)
●
xevra
(7)
●
xperia
(19)
●
youtube
(119)
●
zip
(5)
●
あとであてる
(164)
●
あとでいく
(11)
●
あとでみる
(3)
●
あとでトラックバック
(11)
●
あとで行く
(21)
●
あとで見る
(659)
●
あとで読む
(55)
●
いらすとや
(3)
●
うさくん
(4)
●
おたく
(1158)
●
おっさんホイホイ
(6)
●
おもちゃ
(20)
●
お店
(6)
●
お絵かき
(25)
●
くねくね
(15)
●
これはすごい
(602)
●
これはひどい
(77)
●
これは便利
(369)
●
すべからくの誤用
(45)
●
なつかし
(387)
●
はてな
(103)
●
ふたば
(25)
●
ぷに
(44)
●
まとめ
(383)
●
みんなのうた
(9)
●
もめごと
(35)
●
やる夫
(10)
●
アイデア
(8)
●
アドオン
(4)
●
アナログ計算機
(6)
●
アニメ
(265)
●
アニ研連
(7)
●
アプリケーション
(7)
●
アルゴリズム
(150)
●
アングラ
(3)
●
イベント
(13)
●
インターネット
(7)
●
エディタ
(12)
●
エロ
(6)
●
オタク
(5)
●
オブジェクト指向
(13)
●
オンライン開発環境
(4)
●
カメラ
(11)
●
グッズ
(3)
●
ゲーム
(452)
●
コミケ
(484)
●
コンテナ
(5)
●
コンピュータ
(27)
●
スクリプト
(8)
●
スクリプト言語
(56)
●
スクレイピング
(6)
●
スパコン
(6)
●
スマートフォン
(5)
●
セカンドライフ
(3)
●
セキュリティ
(660)
●
ソフトウェア
(942)
●
ツール
(34)
●
テレビ
(37)
●
デイリーポータル
(60)
●
デイリーポータルZ(40)
●
デザイン
(12)
●
デバッグ
(9)
●
データベース
(21)
●
ニコニコ
(7)
●
ニコニコ動画
(512)
●
ニコニコ技術部
(5)
●
ニセ科学
(6)
●
ニュース
(5)
●
ニュースサイト
(3)
●
ネタ
(2478)
●
ネットワーク
(45)
●
ハッカー
(7)
●
ハードウェア
(574)
●
バッチファイル
(5)
●
バージョン管理
(16)
●
パズル
(4)
●
ビジネス
(5)
●
ファイルシステム
(6)
●
ファイル共有
(4)
●
フォント
(12)
●
フレームワーク
(22)
●
ブラウザ
(45)
●
プチコン
(6)
●
プライバシー
(9)
●
プログラミング
(3688)
●
プログラム
(20)
●
プロトコル
(11)
●
ホビー
(6)
●
モバイル
(11)
●
ライセンス
(11)
●
ライブラリ
(112)
●
リテラシー
(3)
●
ロリータ・エロス
(282)
●
不動産
(3)
●
並行-並列
(13)
●
中国
(11)
●
事故
(5)
●
人形
(6)
●
仕事
(4)
●
仮想化
(3)
●
伊集院光
(13)
●
会社
(10)
●
便利
(28)
●
写真
(7)
●
分散処理
(8)
●
初音ミク
(5)
●
動物
(23)
●
動画
(271)
●
化学
(95)
●
医療・医学
(266)
●
半導体
(8)
●
参考
(4)
●
同人
(469)
●
名言
(293)
●
吾妻ひでお
(77)
●
哲学
(45)
●
囲碁
(3)
●
図書館
(11)
●
圏論
(28)
●
地図
(86)
●
地理
(9)
●
増田
(5)
●
宇宙
(86)
●
宗教
(16)
●
実験
(4)
●
工作
(6)
●
工学
(4)
●
平行・並列
(30)
●
建築
(5)
●
情報
(7)
●
技術
(1169)
●
押井守
(16)
●
拡張
(301)
●
携帯
(14)
●
携帯電話
(212)
●
政治
(132)
●
教育
(25)
●
数学
(709)
●
数学的中二病
(14)
●
文化
(45)
●
文字
(20)
●
文字コード
(54)
●
文房具
(6)
●
料理
(11)
●
日本
(16)
●
日本語
(20)
●
映画
(29)
●
時事
(17)
●
暗号
(16)
●
書き込んだ
(29)
●
書店
(5)
●
本
(530)
●
格言
(17)
●
植物
(24)
●
検索
(13)
●
検索サービス
(5)
●
正規表現
(40)
●
歴史
(481)
●
決済
(3)
●
法律
(357)
●
海外
(3)
●
漢字
(19)
●
漫画
(349)
●
漫画家
(5)
●
物欲
(783)
●
物理
(132)
●
特許
(8)
●
犯罪
(5)
●
環境
(5)
●
生活
(198)
●
生物
(432)
●
画像
(186)
●
知識
(71)
●
社会
(1327)
●
秋葉原
(75)
●
科学
(1312)
●
経済
(360)
●
絵
(6)
●
老害
(7)
●
自然
(34)
●
自然言語処理
(3)
●
芸術
(123)
●
著作権
(246)
●
裏技
(3)
●
規制
(3)
●
言語
(186)
●
設定
(4)
●
認証
(4)
●
読み物
(1785)
●
論理
(7)
●
謎
(7)
●
谷根千
(9)
●
資料
(110)
●
資格
(4)
●
軍事
(29)
●
農業
(3)
●
選挙
(6)
●
鉄道
(9)
●
開発
(20)
●
関数型言語
(716)
●
雑学
(1866)
●
電子マネー
(3)
●
電子回路
(6)
●
電子工作
(71)
●
電子書籍
(5)
●
韓国
(10)
●
音楽
(50)
●
食
(5)
●
駄目
(6)
●
魚拓
(7)
●
プログラミング
(3688)
●
ネタ
(2478)
●
雑学
(1866)
●
読み物
(1785)
●
社会
(1327)
●
科学
(1312)
●
webサービス
(1251)
●
android
(1232)
●
技術
(1169)
●
おたく
(1158)
関連タグで絞り込む (7)
●
haskell
●
TypeScript
●
プログラミング
●
型
●
数学
●
言語
●
関数型言語
タグの絞り込みを解除
RustとOCamlに関するnanakosoのブックマーク (1)
●
68 users
●
zenn.dev/nanikamado
●テクノロジー
// 割る2をする関数の引数が偶数であることを型によって強制する例︵実用性はない︶ data O // 数字の0を表すデータ型 data S(A) forall { A } // +1を表すデータ型 // 型エイリアス type Nat = O | S[Nat] // 非効率すぎる他倍長整数 type Even = O | S[Odd] type Odd = S[Even] // 偶数を引数にとって2で割った結果を言語組込みの整数として返す関数 div2 : Even -> I64 = // 網羅性チェックつきのパターンマッチ | O => 0 | S(S(n)) => 1 + n.div2 TL;DR ユニオン型は直和型の上位互換である︵追記あり︶。関数型言語を作るときは直和型の代わりにユニオン型を採用するのもあり。 はじめに Cottonというプログラミング言語を2021年の夏頃から作
nanakoso
2023/02/03
●言語
●Rust
●haskell
●TypeScript
●OCaml
●プログラミング
●型
●関数型言語
●数学
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