サクサク読めて、
アプリ限定の機能も多数!
アプリで開く
●はてなブックマークって?
●アプリ・拡張の紹介
●ユーザー登録
●ログイン
●ログアウト
theatrical
id:theatrical
●
37,967
ブックマーク
●
-
お気に入り
●
-
お気に入られ
タグ
●すべて
●
.net
(7)
●
2013
(1)
●
2014
(2)
●
2048
(11)
●
3d
(2)
●
3d-printer
(1)
●
404
(3)
●
8086
(1)
●
ATS
(2)
●
Algorithms
(26)
●
AngularJS2
(1)
●
ApplicativeFunctor
(1)
●
Bar
(1)
●
CURATOR
(1)
●
Chart
(1)
●
Coeur-de-pirate
(1)
●
DIY
(1)
●
DeepLearning
(1)
●
EMML
(1)
●
EMOML
(1)
●
ElasticSearch
(2)
●
EmotionML
(1)
●
FStart
(1)
●
Factor
(1)
●
FizzBuzz
(1)
●
FreeBSD
(1)
●
Google Spreadsheets
(1)
●
HoloLens
(1)
●
IPA
(1)
●
LinearAlgebra
(1)
●
Literature
(1)
●
Logo
(1)
●
MQ(1)
●
Maître-Gims
(3)
●
Profiler
(1)
●
RabbitMQ
(1)
●
Rank-NTypes
(2)
●
Spreadsheets
(1)
●
TOOL
(1)
●
TypeScript
(5)
●
Virus
(1)
●
VisualStudio
(2)
●
WebGL
(2)
●
a-b-test
(1)
●
a-video
(1)
●
aar
(1)
●
adnroid
(1)
●
adt
(1)
●
aes
(1)
●
agda
(3)
●
agile
(3)
●
ai(8)
●
airmail
(1)
●
ajax
(1)
●
ajhc
(1)
●
akka
(6)
●
alcohol
(3)
●
algbraice-graph-theory
(1)
●
algebra
(9)
●
algebraic-geometry
(1)
●
algorithm
(1)
●
algoritm
(1)
●
alloy
(2)
●
alstjs
(1)
●
altjs
(19)
●
amazing
(1)
●
amino
(1)
●
amir
(1)
●
analysis
(1)
●
android
(10)
●
android-amazing-app
(1)
●
android-app
(1)
●
android-devs
(2)
●
angularjs
(5)
●
animation
(3)
●
anki
(3)
●
apache-spark
(1)
●
api
(13)
●
api-design
(1)
●
app
(2)
●
app_iphone
(1)
●
apple
(1)
●
apps
(2)
●
arc
(2)
●
architecture
(5)
●
archive-file
(1)
●
arduino
(1)
●
arel
(1)
●
arm
(1)
●
array
(2)
●
array-like
(1)
●
artificial-brain
(1)
●
artificial-intelligence
(4)
●
assembler
(2)
●
assembly
(3)
●
ast
(1)
●
async
(11)
●
atletico
(1)
●
atom
(4)
●
atscript
(1)
●
atslang
(3)
●
audio
(1)
●
auth-proxy
(1)
●
author-inteview
(5)
●
awk
(1)
●
aws
(3)
●
azure
(2)
●
bash
(7)
●
bayes
(2)
●
bays
(1)
●
bazqux
(1)
●
bdd
(2)
●
beaf
(1)
●
beat-alanine
(1)
●
beef
(1)
●
belath-kit
(1)
●
benchmark
(2)
●
big-data
(3)
●
bigdata
(4)
●
bigquery
(1)
●
binary
(1)
●
bing
(1)
●
bio
(1)
●
bio-authnetication
(1)
●
bit
(1)
●
bitcoin
(2)
●
biztalk
(1)
●
blog
(1)
●
blues
(2)
●
bluestooth
(1)
●
body-maintanance
(2)
●
book
(18)
●
booklist
(3)
●
bookshelf
(8)
●
bootstrap
(3)
●
c#
(32)
●
c++
(21)
●
c++14
(2)
●
cabal
(5)
●
canvas
(4)
●
category-theory
(19)
●
cateory-theory
(2)
●
chelsea
(5)
●
cl(5)
●
clang
(3)
●
clojure
(53)
●
clojurescript
(10)
●
clos
(2)
●
cloud
(8)
●
code-reading
(5)
●
coffee
(4)
●
coffeescript
(2)
●
color
(3)
●
com
(2)
●
command-line
(4)
●
common-lisp
(13)
●
compare
(3)
●
compiler
(2)
●
computer-science
(11)
●
computer-vision
(4)
●
concurrency
(11)
●
continuation
(3)
●
cooking
(5)
●
coq
(14)
●
cpu
(2)
●
cryengine
(2)
●
css
(26)
●
css-preprocessor
(2)
●
d-lang
(2)
●
d3
(6)
●
dart
(9)
●
data
(11)
●
data-constructor
(3)
●
data-science
(7)
●
data-sicence
(4)
●
data-type
(2)
●
db(5)
●
debug
(2)
●
deep-learning
(8)
●
dependecy-type
(3)
●
design
(15)
●
dlang
(7)
●
docker
(5)
●
dom
(2)
●
domain-theory
(2)
●
dotnet
(16)
●
dsl
(4)
●
ebook
(6)
●
eclipse
(3)
●
editor-war
(6)
●
effel
(2)
●
elixir
(31)
●
elm
(4)
●
emacs
(9)
●
embeded
(3)
●
entropay
(2)
●
erlang
(20)
●
error-processing
(3)
●
event-driven
(2)
●
example
(5)
●
excel
(11)
●
f#
(35)
●
f*
(3)
●
face-detect
(2)
●
facebook
(2)
●
fay
(3)
●
ffi
(6)
●
finance
(11)
●
financial-programming
(5)
●
firefox-os
(2)
●
fitness
(7)
●
font
(6)
●
food
(4)
●
football
(5)
●
fp(2)
●
fpga
(4)
●
free-monad
(2)
●
free_book
(2)
●
french
(8)
●
french-videos
(2)
●
frp
(4)
●
fstar
(4)
●
functional
(20)
●
functional-reactive
(2)
●
game
(4)
●
game-engine
(3)
●
game-programming
(22)
●
gce
(2)
●
gem
(2)
●
generator
(3)
●
ghc
(11)
●
ghc-extension
(4)
●
ghci
(2)
●
ghcjs
(2)
●
git
(6)
●
github
(7)
●
goalng
(2)
●
golang
(42)
●
google
(2)
●
google-glass
(2)
●
gpgpu
(4)
●
gpu
(3)
●
graph-theory
(4)
●
graphics
(3)
●
group-theory
(3)
●
gui
(14)
●
hacklang
(2)
●
hair-salon
(5)
●
hair-style
(2)
●
hakell
(3)
●
hardware
(7)
●
harmony
(2)
●
hasekll
(11)
●
hasell
(2)
●
haskel
(2)
●
haskell
(321)
●
haskell-data-analysis-cookbook
(11)
●
haste
(2)
●
haxe
(3)
●
health
(7)
●
heroku
(2)
●
hg(2)
●
hibernate
(3)
●
hmd
(2)
●
html
(14)
●
html5
(14)
●
ide
(4)
●
idris
(5)
●
igo
(2)
●
infographic
(2)
●
intellij
(4)
●
ios
(9)
●
iot
(6)
●
java
(28)
●
java8
(4)
●
javascript
(93)
●
joke
(2)
●
jose-mourinho
(2)
●
jquery
(2)
●
js(3)
●
json
(8)
●
julia
(7)
●
jvm
(13)
●
knot-theory
(3)
●
koka
(2)
●
kotlin
(5)
●
lambda-calculus
(2)
●
language
(2)
●
latex
(4)
●
leadership
(3)
●
learning-resouces
(3)
●
lens
(2)
●
library
(26)
●
liner-algebra
(2)
●
linq
(3)
●
linux
(3)
●
lisp
(32)
●
lisp-dialects
(5)
●
list
(2)
●
livescript
(2)
●
llvm
(3)
●
log
(2)
●
lua
(4)
●
mac
(8)
●
mac-app
(4)
●
machine-learning
(16)
●
macro
(2)
●
markdown
(4)
●
martial-arts
(3)
●
math
(113)
●
memory
(3)
●
mercurial
(6)
●
meta-programming
(2)
●
mexico
(2)
●
microdata
(2)
●
ml(2)
●
ml-like
(5)
●
modeling
(2)
●
monad
(8)
●
mongodb
(2)
●
motivation-control
(3)
●
ms(10)
●
multi-platform
(3)
●
music
(2)
●
music-video
(22)
●
mvc
(2)
●
nas
(3)
●
natural-lang
(4)
●
neovim
(2)
●
network
(2)
●
neural-network
(2)
●
news
(3)
●
nlp
(3)
●
node
(9)
●
nosql
(4)
●
nutrient
(2)
●
object-oriented
(3)
●
ocaml
(52)
●
openCV
(3)
●
openfl
(2)
●
or-mapper
(2)
●
os(3)
●
oss
(5)
●
osx
(3)
●
p-lang
(5)
●
p_lang
(5)
●
packages
(2)
●
paper
(4)
●
parallel
(18)
●
parsec
(3)
●
parser
(14)
●
pdf
(6)
●
peg
(4)
●
penetration-test
(4)
●
perfomance-tuning
(16)
●
performance-tuning
(2)
●
perl
(2)
●
perl6
(3)
●
php
(7)
●
physical-training
(2)
●
physics
(2)
●
plugin
(3)
●
pomme
(3)
●
postgres
(3)
●
powershell
(8)
●
programming
(6)
●
programming-language
(4)
●
programming-paradigm
(3)
●
promise
(3)
●
pronunciation
(2)
●
proof
(6)
●
protein
(4)
●
proxy
(2)
●
psg
(4)
●
purescirpt
(3)
●
purescript
(8)
●
puzzle
(11)
●
python
(24)
●
quickcheck
(3)
●
r(5)
●
racket
(8)
●
rails
(2)
●
react
(4)
●
reactive
(7)
●
real-madrid
(2)
●
recipe
(4)
●
recommend-system
(2)
●
reddit
(4)
●
redis
(2)
●
refactoring
(2)
●
reference
(9)
●
regex
(4)
●
relational-theory
(2)
●
riemann-hypothesis
(2)
●
rlang
(3)
●
ruby
(32)
●
running
(5)
●
running-course
(3)
●
rust
(32)
●
scala
(78)
●
scalafx
(3)
●
scalaz
(4)
●
schema
(2)
●
scheme
(16)
●
science
(5)
●
search-engine
(2)
●
security
(13)
●
server
(2)
●
server-less-architecture
(2)
●
settings
(2)
●
shell
(4)
●
sicp
(5)
●
sleep
(2)
●
smart-phone
(2)
●
software-design
(2)
●
spark
(2)
●
spec
(5)
●
sql
(14)
●
sqlite
(3)
●
statistics
(29)
●
storage
(2)
●
streaming
(3)
●
svg
(4)
●
swift
(12)
●
system-trade
(2)
●
tdd
(2)
●
team-management
(2)
●
test
(27)
●
text-processing
(2)
●
tmux
(2)
●
trading
(2)
●
tutorial
(2)
●
type
(2)
●
type-class
(3)
●
type-oriented
(2)
●
type-theory
(7)
●
type-thoery
(2)
●
ui(8)
●
unity
(6)
●
user-defined-type
(2)
●
ux(9)
●
vala
(2)
●
vba
(3)
●
video
(19)
●
viewr
(2)
●
vim
(29)
●
visa
(2)
●
visualization
(15)
●
waf
(7)
●
warning
(2)
●
web
(11)
●
web-app
(2)
●
web-design
(16)
●
web-manga
(2)
●
web-programming
(2)
●
web_design
(3)
●
webassembly
(6)
●
why-some-theory-is-intresting
(2)
●
win8
(3)
●
windows
(5)
●
wireless
(3)
●
wish-bookshelf
(78)
●
wish-food
(2)
●
wish-list
(2)
●
wish-place
(2)
●
wish-salon
(2)
●
wishlist
(57)
●
x86
(2)
●
xml
(3)
●
zed
(2)
●
zsh
(2)
●
あとで
(2)
●
あとで読む
(1)
●
いつか行く
(3)
●
ねこ
(2)
●
また見る
(7)
●
アト読み
(4)
●
オーダーシャツ
(2)
●
オーダースーツ
(4)
●
グルメ
(2)
●
タイトル変更
(2)
●
タイトル変更しました
(12)
●
パンケーキ
(2)
●
マドリー
(4)
●
レシピ
(2)
●
外食
(2)
●
後でみる
(2)
●
haskell
(321)
●
math
(113)
●
javascript
(93)
●
scala
(78)
●
wish-bookshelf
(78)
●
wishlist
(57)
●
clojure
(53)
●
ocaml
(52)
●
golang
(42)
●
f#
(35)
関連タグで絞り込む (2)
●
ats
●
atslang
タグの絞り込みを解除
ATSに関するtheatricalのブックマーク (2)
●
2 users
●
jats-ug.metasepi.org
●テクノロジー
© Copyright 2015, Metasepi team. This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License..
theatrical
2015/12/03
●ats
●atslang
●
4 users
●
cs.likai.org
●テクノロジー
In this guide, we don'taim to teach you programming in ATS (Applied Type System), but we need to tell you enough so that a seasoned ML programmer can quickly adjust to the terminology used in ATS and start reading existing ATS code. In ATS, itis useful to keep in mind that you will be programming in three worlds. Dynamics, the part that evaluates when you run the program. This is what programmer
theatrical
2014/09/29
●ATS
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