6. Declarative Programming
(宣言的プログラミング)とは
Wikipedia(英語版)によると、
「ImperaYveでないProgramming
Style
(キリッ)
」
その他の定義としては、
• A
program
that
describes
what
computaYon
should
be
performed
and
not
how
to
compute
it
方法(how)
ではなく、何(what)をすべきかを記述
• Any
programming
language
that
lacks
side
effects
(or
more
specifically,
is
referenYally
transparent)
副作用の無いこと(厳密には、参照透過であること)
• A
language
with
a
clear
correspondence
to
mathemaYcal
logic
数理と対応している言語のこと
http://en.wikipedia.org/wiki/Declarative_programming
広く緩い定義から狭く厳密な定義まであるらしい...。
ひとまず、あまり厳密性は気にしないでおく…。
18. (Appendix) Cloud Management領域における
Imperative vs Declarative議論
hEp://docs.oasis-‐open.org/tosca/TOSCA/v1.0/
cs01/TOSCA-‐v1.0-‐cs01.pdf
Proceedings
of
the
IEEE
InternaYonal
Conference
on
Cloud
Engineering
(IEEE
IC2E
2014)}
March
2014,
p87-‐96,
DOI
10.1109/IC2E.
2014.56