Застойные годы. Принимают мужика в партию. Председатель комиссии срашивает:
-- Вот скажите, вы курите?
-- Да.
-- А если бы партия вам приказала бросить курить, бросили бы?
-- Да!
-- А вы водку употребляете?
-- Да.
-- А если бы партия вам приказала бросить пить водку, бросили бы?
-- Да!
-- Ну а с женщинами вы встречаетесь? Ну вы, надеюсь, понимаете в каком смысле.
-- Ну да, встречаюсь.
-- А если бы партия вам приказала отказаться от женщин, отказались бы?
-- Э... Да. Раз партия прикажет, значит откажусь.
Тут председатель принимает совсем уж серьезный вид и:
-- А теперь самый важный, как я считаю, вопрос: а если бы партия приказала вам расстаться с жизнью, расстались бы?
-- Да!
-- Вы так быстро отвечаете. Может подумаете еще?
-- Да нахрена мне такая жизнь, без сигарет, водки и женщин?! Забирайте ее всю без остатка!

| Call("max", [arg1, arg2]) => Math.Max(arg1.Eval(), arg2.Eval())
| Call("min", [arg1, arg2]) => Math.Min(arg1.Eval(), arg2.Eval())
| Call(_, _) => throw InvalidOperationException(this.ToString());

 case expr::Call:
     if ("max" == e.name) Math.Max(e.arg1, e.arg2);
     else if ("min" == e.name) Math.Min(e.arg1, e.arg2);
     else throw InvalidOperationException(e);

C++’s success in real-world use also led to influences that are less beneficial. The frequent use of the ugly and irregular C/C++ style of syntax in modern languages is not something I’m proud of.

FR>Я заглядывал и показалось что что-то не так

$ for i in luaparser.mli luaparser.ml luaparsex.mli luaparsex.ml luascanner.ml ; do mv $i $i.auto ; done

$  wc -l *.ml luascanner.mll luaparsex.mly
    25 bench.ml
    12 log.ml
    86 luaast.ml
   112 luabaselib.ml
    68 luacamllib.ml
   107 luaclient.ml
   142 luafloat.ml
   270 luahash.ml
   163 luaiolib.ml
   477 lualib.ml
    31 luamathlib.ml
    25 lua.ml
    49 luarun.ml
   266 luastrlib.ml
   525 luavalue.ml
    34 main.ml
   142 srcmap.ml
   361 luascanner.mll
   212 luaparsex.mly
  3107 total

$ wc -l `find . -name *.c -or -name '*.stx'` # *.stx - это исходники парсера
   300 ./src/inout.c
   319 ./src/hash.c
   191 ./src/fallback.c
   796 ./src/lua.stx
   156 ./src/func.c
    58 ./src/mem.c
   341 ./src/lex.c
   333 ./src/undump.c
  1330 ./src/opcode.c
   145 ./src/tree.c
   278 ./src/table.c
   190 ./src/luac/print.c
   105 ./src/luac/luac.c
   248 ./src/luac/dump.c
    71 ./clients/lua/lua.c
   276 ./clients/lib/old/strlib.c
   230 ./clients/lib/old/mathlib.c
   618 ./clients/lib/old/iolib.c
   573 ./clients/lib/strlib.c
   230 ./clients/lib/mathlib.c
   295 ./clients/lib/iolib.c
  7083 total

R> case expr::Call:
R>     if ("max" == e.name) Math.Max(e.arg1, e.arg2);
R>     else if ("min" == e.name) Math.Min(e.arg1, e.arg2);
R>     else throw InvalidOperationException(e);
R>

    case expr::Call:
        if ("max" == e.name && e.args.size() == 2) Math.Max(eval(e.args[0]), eval(e.args[1]));
        else if ("min" == e.name && e.args.size() == 2) Math.Min(eval(e.args[0]), eval(e.args[1]));
        else throw InvalidOperationException(e);

| Call (OpCode ("=="), [nested_cond,
    Parm where (expr = TExpr.TypeConversion(TExpr.Literal(Literal.Bool(true)), _, _))], _) =>
    emit_branch(nested_cond.expr, else_label)

FR>Вот тут http://www.cminusminus.org/rsync/dist/lua-ml-20071123.tar.gz лежит интерпретатор Lua 2.5 написанный на Ocaml, тут он же http://www.lua.org/ftp/lua-2.5.tar.gz на си, и почему то сишная версия поменьше в размерах

...Once we have [[Map]], we can provide a mapping between a Lua name like
[[Pair.mk]] and its {\ocaml} implementation. The [[register_module]]
function takes a list of (name, value) pairs, where a value can be a
function. The conversion between the interpreter's internal
representation and our's is provided by a clever infix function [[**->]]
that makes the conversion function look like a function type. The
[[Map]] module is here essential to name the user-defined argument
types. 

<<register [[Pair]]>>=    
C.register_module "Pair"
    [ "mk", V.efunc (V.value **-> V.value **->> Map.pair) Pair.mk
    ; "fst",V.efunc (Map.pair **->> V.value)              Pair.fst
    ; "snd",V.efunc (Map.pair **->> V.value)              Pair.snd
    ] g;
@

The registration of the [[Char]] module shows how to deal with errors in
conversions. [[Char.mk]] expects a string whose first character is used...

E>Зато вот те, кто затеял возню с микроядром и метапрограммированием, потеряли мотивацию к дальнейшей разработке.

        public Init(configPath : string) : void
        {
            def config = FastcgiDaemonsWatcherConfig.ParseFile(configPath);
            logPath_ = config.LogPath;
            def gates = Hashtable();
            mutable port = config.StartPort;
            foreach (gate in config.Gates)
            {
                mutable argCount = 0;
                mutable args = "";
                def startPlink()
                {
                    when (argCount > 0)
                    {
                        def plink = System.Diagnostics.Process();
                        plink.StartInfo.FileName = config.PlinkPath;
                        plink.StartInfo.Arguments = $"-ssh $args -pw $(gate.Password) $(gate.Login)@$(gate.Host)";
                        plink.StartInfo.UseShellExecute = false;
                        plink.StartInfo.CreateNoWindow = false;
                        plink.StartInfo.RedirectStandardError = true;
                        plink.StartInfo.RedirectStandardInput = true;
                        plink.StartInfo.RedirectStandardOutput = true;
                        when (!plink.Start())
                            throw Exception("Can't start plink.");
                        plinks_ ::= plink;
                        args = "";
                        argCount = 0;
                    }
                }
                def addPlinkArg(daemonHost, daemonPort)//*1*
                {
                    def localPort = port;
                    def localHost = "localhost";
                    args += $" -L $localPort:$daemonHost:$daemonPort ";
                    ++port;
                    ++argCount;
                    when (argCount >= 20)
                        startPlink();
                    (localHost, localPort);
                }
                gates.Add(gate.Name, (addPlinkArg, startPlink));
            }
            daemonsStatusGetters_ = config.Daemons.Map(daemon =>
            {
                def makeTCPGetter(name, host, port)
                {
                    () => (name, FastcgiDaemon.GetFastcgiDaemonStatusTCP(host, port))
                }
                match (daemon.GateName)
                {
                | null | "" =>
                    makeTCPGetter(daemon.Name, daemon.Host, daemon.Port);
                | gateName =>
                    def (Some((addPlinkArg, _))) = gates.Get(gateName);
                    def (host, port) = addPlinkArg(daemon.Host, daemon.Port);//*2*
                    makeTCPGetter(daemon.Name, host, port);
                }
            });
            gates.Values.Iter((_, startPlink) => startPlink());
        }

using System;
using System.Console;
using SCG = System.Collections.Generic;
using Nemerle;
using Nemerle.Utility;
using Nemerle.Collections;

/*
Consider the number 45656. 
It can be seen that each pair of consecutive digits of 45656 has a difference of one.
A number for which every pair of consecutive digits has a difference of one is called a step number.
A pandigital number contains every decimal digit from 0 to 9 at least once.
How many pandigital step numbers less than 10^40 are there? 
*/

public class Problem178
{
    [Memoize]
    step(cur : int, len : int, bits : int) : Int64
    {
        match (len - 1, bits %| (1 << cur))
        {
        | (0, 0x3ff)  => 1L
        | (0, _)      => 0L
        | (len, bits) =>
            def rec(cur)
            {
            | _ when cur < 0 || cur > 9 => 0L;
            | _ => step(cur, len, bits)
            }
            rec(cur + 1) + rec(cur - 1)
        }
    }

    public Solve() : string
    {
        $[1..40]//max 66
        .Map(len =>
        {
            $[1..9]
            .Map(s => step(s, len, 0))
            .Sum64()
        })
        .Sum64()
        .ToString()
    }
}

Я по секрету сознаюсь, что этот компилятор с Модулы уже на пределе допустимой сложности, и я бы чувствовал себя совершенно неспособным создать хороший компилятор для Ады.
Н. Вирт

HANDLE CreateEvent(
  LPSECURITY_ATTRIBUTES lpEventAttributes, 
  BOOL bManualReset, 
  BOOL bInitialState, 
  LPTSTR lpName 
);

bManualReset
[in] Boolean that specifies whether a manual-reset or auto-reset event object is created. If TRUE, then you must use the ResetEvent function to manually reset the state to nonsignaled. If FALSE, the system automatically resets the state to nonsignaled after a single waiting thread has been released.

Если нет одного индивидуума, понимающего проект во всей его полноте или хотя бы в весьма значительной степени подробностей, то с большой вероятностью система построена не будет.

[Yield]
public MapFilteredLazy[T, U](this lst : list[T], fn : T -> option[U]) : SCG.IEnumerable[U]
{
    def loop(_)
    {
        | head :: tail =>
            match (fn(head))
            {
            | Some(result) => yield result;
            | None => ();
            }
            loop(tail);
        | [] => ();
    }
    loop(lst);
}

import std.stdio;

R delegate(U) memoize(R, U...)( R function(U) gd )
    {
        struct Key {
            U m_u;
        }
        static R[Key] memory;
        R inner( U u )
            {
                Key k;
                foreach( i, a; u )
                    k.m_u[ i ] = u[ i ];
                R * p = (k in memory);
                if( p !is null )
                    return *p;
                else
                    {
                        R r = gd(u);
                        memory[ k ] = r;

                        return r;
                    }
            }

        return &inner;
    }

int sum( int a, int b )
    {
        writefln( "a=", a, ",b=", b );
        return a + b;
    }

void main()
    {
        auto m = memoize( &sum );
        writefln( m( 1, 2 ) );
        writefln( m( 1, 2 ) );
        writefln( m( 3, 2 ) );
        writefln( m( 2, 1 ) );
        writefln( m( 2, 1 ) );
        writefln( m( 1, 2 ) );
        writefln( m( 3, 2 ) );
    }

a=1,b=2
3
3
a=3,b=2
5
a=2,b=1
3
3
3
5

В теории любой примитив синхронизации можно выразить через любой другой примитив синхронизации.
Но на практике так никто не делает ибо тормозит.
А чтобы не тормозило каждый примитив синхронизации выпиливают под конкретную железку.

template<typename T>
void f(T t1, T t2)
{
  auto R = t1 + t2;
  //...
}

struct BinIntCall {string name; int a1, a2;};
struct BinOp {string name; any a1, a2;};

void to_str(any e)
{
    if (double* d = any_cast(e)) cout << *d;
    else if (BinIntCall* c = any_cast(e)) cout << c->name << "(" << c->a1 << "," << c->a2 << ")";
    else if (BinOp* c = any_cast(e)) to_str(c->a1); cout << c->name; to_str(c->a2);
    else throw 0;
}

R>>double eval(const expr* e)
R>>{
R>>    if (0 == strcmp("min", e->data.name) && 2 == e->data.count)
R>>        return min(eval(e->data.params[0]), eval(e->data.params[1]));
R>>    else if (0 == strcmp("max", e->data.name) && 2 == e->data.count)
R>>        return max(eval(e->data.params[0]), eval(e->data.params[1]));
R>>}
R>>

double eval(const expr* e)
{
    switch (e->t)
    {
    case expr::Plus:
        return 0;
    case expr::Call:
        if (0 == strcmp("min", e->data.name) && 2 == e->data.count)
            return min(eval(e->data.params[0]), eval(e->data.params[1]));
        else if (0 == strcmp("max", e->data.name) && 2 == e->data.count)
            return max(eval(e->data.params[0]), eval(e->data.params[1]));
    }
}

'eval' : not all control paths return a value

Зачем кому-нибудь C++?

Зачем C++?