Curry: An Integrated Functional Logic Language
Curry: An Integrated Functional Logic Language
Curry: An Integrated Functional Logic Language
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
higher-order equation, 6<br />
id, 46<br />
if_then_else, 14, 48<br />
import declaration, 24<br />
index, 24<br />
infix, 63<br />
infixl, 63<br />
infixr, 63<br />
Int, 16<br />
IO, 27, 55<br />
iterate, 51<br />
Just, 55<br />
keywords, 59<br />
λ-abstraction, 12, 70, 74<br />
Left, 55<br />
left section, 62, 74<br />
left-hand side, 5<br />
length, 49<br />
let, 8, 60<br />
lines, 52<br />
list comprehension, 21<br />
lists, 17, 48<br />
local declaration, 7, 8, 75<br />
local pattern, 8, 21, 75<br />
lookup, 53<br />
map, 17, 49<br />
mapIO, 56<br />
mapIO_, 56<br />
Maybe, 55<br />
maybe, 55<br />
merge, 34<br />
mod, 54<br />
module, 23<br />
module, 23<br />
module name, 23<br />
monadic I/O, 27<br />
name<br />
of a module, 23<br />
narrowing, 3, 13<br />
negation, 14<br />
84<br />
non-deterministic function, 5<br />
not, 14, 48<br />
notElem, 53<br />
Nothing, 55<br />
null, 49<br />
of, 22, 60<br />
once, 32, 57<br />
one, 33, 57<br />
operation, 3, 64<br />
or, 53<br />
ord, 17, 54<br />
otherwise, 7, 14, 48<br />
pair, 48<br />
pattern<br />
call, 64<br />
local, 8, 21, 75<br />
position, 64<br />
predicate, 14<br />
prelude, 23, 46<br />
print, 56<br />
program, 23<br />
putChar, 28, 55<br />
putStr, 28, 55<br />
putStrLn, 28, 56<br />
range, 64<br />
readFile, 55<br />
repeat, 51<br />
replicate, 51<br />
residuation, 3, 13<br />
return, 28, 55<br />
reverse, 53<br />
Right, 55<br />
right section, 62, 74<br />
right-hand side, 5<br />
rigid, 13<br />
rigid, 13, 71<br />
root (of an expression), 64<br />
rule, 5<br />
conditional, 5<br />
search goal, 29<br />
search variable, 29
Change language