if 文/式

if cond { a } else { b }

// 値として使う: elseが必要
let x = if cond { 1 } else { 2 };

// 手続きとして使う: elseは任意
if cond {
    process();
}

// let x = if cond { 1 };  // コンパイルエラー: elseがなく()になる

`if`は式で、`else`がないと型は`()`になる。そのため値として使う場合は`else`が事実上必須になるが、構文は手続きの`if`と同じである。`else`の使い方に制限はなく、`if let ... else`や`let ... else`（早期脱出用）も用意されている。

if cond { a } else { b }

let x = if cond { 1 } else { 2 }

if cond {
  process()
}

Rustに近く、`if`は式として扱われる。`else`を省略した`if`は`Unit`を返すため、値を使う場合だけ`else`が必要になる。手続きの`else`も禁止されていない。

if cond { a } else { b } / guard cond else { return }

// if式（Swift 5.9〜）: elseが必須
let x = if cond { 1 } else { 2 }

// 手続きのif
if cond {
    process()
}

// guardはelseが必須で、必ずスコープを抜ける
guard cond else { return handle() }
process()

`if`はstatementだが、Swift 5.9から代入・return・クロージャの値として使える`if`式が加わった。式として使う場合は`else`が必須で、各branchは単一の式である必要がある。`guard`は`else`が必須で、`return`・`break`・`continue`・`throw`などでスコープを抜けなければならない。早期脱出という思想はmelangに近いが、`guard`という別の構文を足している。

val x = if (cond) a else b

val x = if (cond) 1 else 2

// 値として使うならelseが必要
// val y = if (cond) 1   // コンパイルエラー

if (cond) {
    process()
}

値として使うときだけ`else`が必須になる点が、melangの設計に近い。一方で、手続き的な`if ... else`も許可されているため、`else`の用途は制限されていない。

if (cond) { ... } else { ... } / cond ? a : b

int x = cond ? 1 : 2;   // 三項演算子は式で、elseに相当する側が必須

if (cond) {
    process();
} else {
    handle();
}

`if`はstatementで、値を返せない。値の分岐は三項演算子（両側が必須）かswitch式で書く。「手続きは`if`、値は別の構文」と分かれているが、手続きの`else`は自由に使える。

val x = if (cond) a else b

val x = if (cond) 1 else 2

// elseを省くとUnitになり、値としては使えない
val y = if (cond) 1   // 型は AnyVal（Int と Unit の共通型）

`if`は式で、`else`を省略すると値は`Unit`になる。値として使うつもりで`else`を忘れても型が広がるだけでエラーにならない場合がある。Scala 3では波括弧を省略するインデント構文も使える。

if (cond) { ... } else { ... } / cond ? a : b

var x = cond ? 1 : 2;

if (cond)
{
    Process();
}

Javaと同様に、`if`はstatementで値を返せない。値の分岐は条件演算子と、パターンを扱えるswitch式で書く。

if (cond) { ... } else { ... } / cond ? a : b

int x = cond ? 1 : 2;

if (cond) {
    process();
}

`if`はstatementで、値の分岐は三項演算子を使う。`if constexpr`はコンパイル時の分岐であり、値を返す式ではない。

if (cond) { ... } else { ... } / cond ? a : b

int x = cond ? 1 : 2;

if (cond) {
    process();
}

`if`はstatementで、値を返す分岐は三項演算子で書く。`else`の使い方に制限はない。

if cond { ... } else { ... }

// 値の分岐はstatementで書く
var x int
if cond {
    x = 1
} else {
    x = 2
}

// 慣習: returnした後にelseを書かない
if err != nil {
    return err
}
process()

`if`は式ではなく、三項演算子もない。値の分岐は変数を宣言してからstatementで代入する。一方で、`return`で終わるbranchのあとに`else`を書かないという慣習があり、linterも指摘する。melangが目指す「手続きはearly return」に近い文化を持つが、言語としては強制していない。

const x = if (cond) a else b;

const x = if (cond) 1 else 2;

// 値として使うならelseが必要
// const y = if (cond) 1;  // コンパイルエラー

if (cond) {
    process();
}

`if`は式で、値として使う場合は`else`が必須になる。この点はKotlinと同じである。手続きの`else`は禁止されていない。

if cond then a else b

let x = if cond then 1 else 2

(* elseを省略できるのはthen側がunitのとき *)
if cond then print_endline "yes"

(* let y = if cond then 1   型エラー *)

`if`は式で、`else`を省略した場合はthen側が`unit`でなければならない。型システムが「値を返す`if`は`else`が必須」を保証する。

if cond then a else b

let x = if cond then 1 else 2

// elseを省略できるのはthen側がunitのとき
if cond then printfn "yes"

OCamlと同じく、`if`は式で、`else`を省略できるのはthen側が`unit`のときだけである。型によって「値を返す`if`は`else`が必須」が保証される。

if cond then a else b

x = if cond then 1 else 2

-- 副作用を条件付きで実行する場合はwhenを使う
import Control.Monad (when)
main = when cond process

`if`は式で、`else`を省略できない。条件付きの副作用は`Control.Monad`の`when`・`unless`で表すため、「手続きの`if`」と「値の`if`」が構文ではなくライブラリ関数で分かれている。

if Guard1 -> A; true -> B end

X = if
        Cond -> 1;
        true -> 2
    end.

% どの節にも一致しないとif_clauseエラーになる

`if`は式で、`else`という構文はない。節の末尾に`true ->`を置いてelse相当を表す。条件にはガード式しか書けないため、実際には`case`やパターンマッチによる関数節の分岐が主に使われる。

if cond do a else b end

x = if cond, do: 1, else: 2

# elseを省略するとnilになる
y = if cond, do: 1   # cond が偽なら nil

`if`は式で、`else`を省略すると`nil`が返る。`else`忘れが`nil`という値として現れるため、気づきにくい場合がある。多分岐にはパターンマッチを使う`case`や`cond`、関数の節が主に使われる。

if (cond) { ... } else { ... } / cond ? a : b

const x = cond ? 1 : 2;

if (cond) {
  process();
}

JavaScriptと同じく、`if`はstatementで値を返せない。値の分岐は三項演算子で書き、ネストすると読みにくくなりやすい。

if (cond) { ... } else { ... } / cond ? a : b

const x = cond ? 1 : 2;

if (cond) {
  process();
}

`if`はstatementで、値の分岐には三項演算子を使う。式として書ける`do`式の提案はあるが、標準化されていない。

if ($cond) { ... } else { ... } / $cond ? $a : $b

$x = $cond ? 1 : 2;

if ($cond) {
    process();
}

`if`はstatementで、値の分岐は三項演算子か、PHP 8.0で加わったmatch式を使う。`else if`と`elseif`の2つの書き方がある。

x = if cond then a else b end

x = if cond
      1
    else
      2
    end

# 後置if
process if cond

`if`は式で、`else`を省略すると条件が偽のときに`nil`が返る。`unless`や後置`if`など、条件を書く方法が多い。

if cond: ... else: ... / a if cond else b

x = 1 if cond else 2   # 条件式はelseが必須

if cond:
    process()

`if`はstatementで、値を返す分岐は条件式（`a if cond else b`）として別に用意されている。この形では`else`を省略できず、「値の分岐は`else`が必須」という点はmelangと同じ考え方になる。ただし、手続きの`else`は自由に使える。