Back
Vim mode
型なし計算（NatBool）
構文に曖昧性がないため、括弧表記などはありません。
ループや再帰を実現する方法がなく、チューリング完全でない言語の例と言えます。電卓のようなものです。
構文
t
∷
=
t
r
u
e
f
a
l
s
e
i
f
t
t
h
e
n
t
e
l
s
e
t
0
s
u
c
c
t
p
r
e
d
t
i
s
z
e
r
o
t
\begin{align*} \textcolor{#A4D0A4}{\mathrm{\bold t}} \Coloneqq & \\ & \mathrm{true} \\ & \mathrm{false} \\ & \mathrm{if} \medspace \textcolor{#A4D0A4}{\mathrm{\bold t}} \medspace \mathrm{then} \medspace \textcolor{#A4D0A4}{\mathrm{\bold t}} \medspace \mathrm{else} \medspace \textcolor{#A4D0A4}{\mathrm{\bold t}} \\ & \mathrm{0} \\ & \mathrm{succ} \space \textcolor{#A4D0A4}{\mathrm{\bold t}} \\ & \mathrm{pred} \space \textcolor{#A4D0A4}{\mathrm{\bold t}} \\ & \mathrm{iszero} \space \textcolor{#A4D0A4}{\mathrm{\bold t}} \\ \end{align*}
t
:
:
=
true
false
if
t
then
t
else
t
0
succ
t
pred
t
iszero
t
Loading...
reset
prev
next
prev100
next100
STEP: 0
i
f
(
i
s
z
e
r
o
(
s
u
c
c
(
0
)
)
)
t
h
e
n
(
f
a
l
s
e
)
e
l
s
e
(
i
s
z
e
r
o
(
0
)
)
\mathrm{if} \medspace (\mathrm{iszero} (\mathrm{succ} (0))) \medspace \mathrm{then} \medspace (\mathrm{false}) \medspace \mathrm{else} \medspace (\mathrm{iszero} (0))
if
(
iszero
(
succ
(
0
)))
then
(
false
)
else
(
iszero
(
0
))
Loading...