If you programmed in C or Java, you will recognize Haskell's if/then/else as an equivalent to the ternary conditional operator ?

var a = true ? 1 : 2; // OK

var a = if(true) 1 else 2; // Error, if-else "возвращают" void.
void a = ... // Такое вообще нельзя

if true then 2 else 3 end; # Результат игнорируем

a = if true then 2 else 3 end; # Результат используем

_NN>var a = true ? 1 : 2; // OK

_NN>var a = if(true) 1 else 2; // Error, if-else "возвращают" void.
_NN>void a = ... // Такое вообще нельзя
_NN>

print "----1----"
class Foo :
  print "defclass"
  def __init__(self) :
    print "init"

print "----2----"
f = Foo()
print "----3----"

----1----
defclass
----2----
init
----3----

x = 1234 and_for range(k) { |i| i*100 } # при k<1, x=1234; иначе, x=(k-1)*100

def a = def b = 1;
// b = 1
// a = ()

def a = foreach(x in []) {};
// a = ()

a = if True:
      1
    else
      2

a = 1 if True else 2

if (expression)
    statement1
[else
    statement2]

CAB>>То есть? Почему?

IB>if (expression)
IB>    statement1
IB>[else
IB>    statement2]
IB>

          if_statement  
          /     |    \
expression statement1 statement2

Интересно cmov появился в инструкция процессоров до или после развития структурного программирования?

CAB> В вики не говорится об обязательности выражений в структурном ЯП.

if (expression)
statement1
[else
statement2]

a = expression.

  asing -1
  add 1 
  if_zero
   statement1
  else
   statement2

int a = flag ? 1 : 2;

if (flag)
    a = 1;
else
    a = 2;

var flag = true;
var a1 = flag ? 1 : 2;
int a2;
if (flag)
    a2 = 1;
else
    a2 = 2;
    
Console.WriteLine(a1);
Console.WriteLine(a2);

.method private hidebysig static void  Main() cil managed
{
  .entrypoint
  // Code size       32 (0x20)
  .maxstack  1
  .locals init ([0] bool flag,
           [1] int32 a1,
           [2] int32 a2)
  IL_0000:  ldc.i4.1
  IL_0001:  stloc.0

  
// Раз
  IL_0002:  ldloc.0
  IL_0003:  brtrue.s   IL_0008
  IL_0005:  ldc.i4.2
  IL_0006:  br.s       IL_0009
  IL_0008:  ldc.i4.1
  IL_0009:  stloc.1
  
// Два
  IL_000a:  ldloc.0
  IL_000b:  brfalse.s  IL_0011
  IL_000d:  ldc.i4.1
  IL_000e:  stloc.2
  IL_000f:  br.s       IL_0013
  IL_0011:  ldc.i4.2
  IL_0012:  stloc.2
  

  IL_0013:  ldloc.1
  IL_0014:  call       void [mscorlib]System.Console::WriteLine(int32)
  IL_0019:  ldloc.2
  IL_001a:  call       void [mscorlib]System.Console::WriteLine(int32)
  IL_001f:  ret
} // end of method Program::Main

There's a good chance that the ternary operator gets compiled into a cmov while the if/else results in a cmp+jmp. Just take a look at the assembly (using -S) to be sure. With optimizations enabled, it won't matter any more anyway, as any good compiler should produce the same code in both cases.

using System;
using System.Diagnostics;;


namespace ConsoleApplication5
{
    class Program
    {
        static void Main(string[] args)
        {
            Stopwatch stopWatch = new Stopwatch();
     
            stopWatch.Start();
            for (int i = 0; i < 100000000; i++)
            {
                bool flag = true;
                int a = flag ? 1 : 2;
            }
            stopWatch.Stop();
            Console.WriteLine("Ternary operator: {0}", stopWatch.ElapsedMilliseconds);

            stopWatch.Restart();
            for (int i = 0; i < 100000000; i++)
            {
                bool flag = true;
                int a;
                if (flag)
                {
                    a = 1;
                }
                else
                {
                    a = 2;
                }
            }
            stopWatch.Stop();
            Console.WriteLine("If statement: {0}", stopWatch.ElapsedMilliseconds);

            Console.ReadLine();
        }
    }
}

Ternary operator: 426
If statement: 555

Ternary  If
------- ---
    319 326
    311 327
    328 317
    313 329
    312 304

using System;
using System.Diagnostics;


namespace ConsoleApplication5
{
    class Program
    {
        static void Main(string[] args)
        {
            Stopwatch stopWatch = new Stopwatch();
     
            stopWatch.Start();
            for (long i = 0; i < 1000000000; i++)
            {
                bool flag = i % 2 == 1;
                int a;
                long b;

                if (flag)
                {
                    a = 1;
                    b = i + a;
                }
                else
                {
                    a = 2;
                    b = i + 1;
                }
            }

            stopWatch.Stop();
            Console.WriteLine("If statement: {0}", stopWatch.ElapsedMilliseconds);

            stopWatch.Restart();
            for (long i = 0; i < 1000000000; i++)
            {
                bool flag = i % 2 == 1;
                int a = flag ? 1 : 2;
                long b = flag ? i + a : i + 1;
            }
            stopWatch.Stop();
            Console.WriteLine("Ternary operator: {0}", stopWatch.ElapsedMilliseconds);
        }
    }
}

If statement: 9102
Ternary operator: 9045

If statement: 9043
Ternary operator: 9005

If statement: 9075
Ternary operator: 9001

If statement: 9034
Ternary operator: 9005

If statement: 9037
Ternary operator: 9000

If statement: 9035
Ternary operator: 8994

If statement: 9029
Ternary operator: 8994

If statement: 9056
Ternary operator: 9047

If statement: 9030
Ternary operator: 9009

If statement: 9035
Ternary operator: 8998

If statement: 9035
Ternary operator: 9027

If statement: 9138
Ternary operator: 8999

Для продолжения нажмите любую клавишу . . .

Оба детектора наблюдали новую частицу с массой около 125—126 ГэВ с уровнем статистической значимости 5 сигма.

В марте 2013 года учёные ЦЕРН пришли к выводу, что открытая ими в июле 2012 года частица действительно является бозоном Хиггса[24][25]. Однако ещё не установлено точно, является ли эта частица бозоном Хиггса, предсказанным Стандартной моделью, или это другой вариант бозона Хиггса, о котором говорят некоторые другие теории, выходящие за рамки Стандартной модели