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.
section, 62, 74<br />
left, 62, 74<br />
right, 62, 74<br />
seq, 16, 47<br />
sequenceIO, 56<br />
sequenceIO_, 56<br />
sharing, 6, 68<br />
show, 18, 54<br />
snd, 48<br />
solveAll, 32, 57<br />
solved expression, 64<br />
span, 52<br />
splitAt, 51<br />
strict equality, 10, 14, 15, 68<br />
String, 18<br />
subexpression, 64<br />
substitution, 6, 64<br />
subterm, 64<br />
Success, 15<br />
success, 15, 54<br />
suspended evaluation, 66<br />
tail, 48<br />
take, 51<br />
takeWhile, 51<br />
True, 14, 47<br />
try, 29, 57<br />
tryone, 34, 57<br />
tuple, 18, 48<br />
type, 18<br />
synonym declaration, 4<br />
type constructor, 4<br />
type declaration, 3, 5<br />
type environment, 19<br />
type expression, 4, 18<br />
type instance, 19<br />
type scheme, 19<br />
type synonym declaration, 4<br />
type variable, 4<br />
unbound variable, 9<br />
uncurry, 46<br />
unit type, 18<br />
unlines, 52<br />
85<br />
unpack, 58<br />
until, 47<br />
unwords, 53<br />
unzip, 50<br />
unzip3, 51<br />
variable, 64<br />
declaration, 9<br />
free, 5, 9, 73<br />
search, 29<br />
variable range, 64<br />
variant, 64<br />
well-typed, 19<br />
where, 8, 23, 60<br />
words, 52<br />
writeFile, 55<br />
zip, 50<br />
zip3, 50<br />
zipWith, 50<br />
zipWith3, 50