How to use AND in Oz Programming language

Question

declare
fun {Beta E}
    case E
    of lambda(X [Y Z]) andthen {IsAtom Y}  then Z
    else nil 
     end
    end

{Browse {Beta lambda(y [y a])   }}

I'm trying to make a beta reducer for lambda calculus but I don't know how to append arguments for Oz which I just started using.

What I want to do is: IsAtom Y and if(X==Y) then Z

I've tried "and, &&, &, andthen" but nothing really works. Oz documentation is just giving me headaches.

Shaunak · Accepted Answer · 2015-09-23T04:09:47.340

1

In Oz, And is a function not an operator. So to do an and operation you would do something like

{And true false}

Will yield false

Here is a good reference manual.

edited Sep 23 '15 at 04:09

answered Sep 23 '15 at 04:03

Shaunak

score 1 · Answer 2 · answered Sep 23 '15 at 04:04

Remember 'then' is a separator in statement syntax, 'andthen' and 'orelse' are boolean (short circuit) operators

CASESTATEMENT:

case VALUE of PATTERN then STATEMENT

IFSTATEMENT:

if BOOLEXP then STATEMENT

BOOLEXP: BOOLEXP andthen BOOLEXP orelse BOOLEXP

2 Answers2