鐃緒申鐃曙、erlang鐃祝わ申鐃獣てつわ申鐃緒申鐃緒申鐃緒申覆里法鐃緒申匹鐃緒申鐃緒申泙鐃緒申鐃縦わ申鐃緒申鐃塾よう鐃淑ので￥申

sumii鐃緒申鐃緒申鐃緒申 - 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申
鐃叔は￥申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申里匹鐃緒申蕕�鐃緒申鐃緒申鐃祝なっわ申鐃初、鐃盾う鐃緒申鐃緒申鐃塾逸申鐃緒申鐃祝関わ申蕕削申鐃緒申鐃緒申屬鐃緒申廚茲�鐃緒申鐃緒申鐃緒申鐃渋演算鐃緒申por鐃竣は種申鐃緒申鐃叔わ申鐃緒申任鐃緒申腓�鐃緒申鐃緒申鐃緒申鐃縦まり、 
int f() { return 1; }   /* 鐃緒申鐃術種申鐃緒申鐃緒申 */
int g() { return g(); } /* 同鐃緒申       */

int main() {
  return por(f(), g()) && por(g(), f()) && !por(0, 0);
}
鐃塾よう鐃淑プワ申鐃緒申鐃緒申爐�1鐃緒申鐃瞬わ申鐃緒申por鐃竣マワ申鐃緒申鐃熟書けわ申任鐃緒申腓�鐃緒申鐃緒申

鐃殉わ申鐃緒申erlang鐃叔￥申鐃緒申鐃熟リス鐃夙わ申複鐃緒申鐃書けわ申茲�鐃祝わ申鐃銃わ申鐃緒申泙鐃緒申鐃緒申泙鐃緒申鐃緒申鐃獣てわ申鐃淑わ申鐃竣ワ申鐃緒申鐃緒申鐃盾き鐃緒申鐃緒申鐃緒申鐃淑�鐃緒申鐃緒申鐃銃わ申鐃殉わ申鐃緒申

-module(por).
-export([por/1, t/0, f/0, l/0]).

por(List)     -> por(List, []).
por([], List) -> por_wait(List);
por([Head|Tail], List) ->
  S = self(), 
  por(Tail, [spawn(fun() -> S ! Head()  end) | List]).

por_wait(List)    -> por_wait(length(List), List).
por_wait(0, _)    -> false;
por_wait(N, List) ->
  receive Result  ->
    if Result == false -> por_wait(N - 1, List);
       true            -> 
         lists:map(fun(P) -> exit(P,kill) end, List), 
         true
    end
  end.

t() -> true.
f() -> false.
l() -> l().

1> c(por).                              
{ok,por}
2> por:por([fun por:f/0, fun por:f/0]).
false
3> por:por([fun por:f/0, fun por:t/0]).
true
4> por:por([fun por:t/0, fun por:f/0]).
true
5> por:por([fun por:t/0, fun por:t/0]).
true
6> por:por([fun por:l/0, fun por:t/0]).
true
7> por:por([fun por:t/0, fun por:l/0]).
true
8> por:por([fun por:t/0, fun por:l/0]) and por:por([fun por:l/0, fun por:t/0]) and not por:por([fun() -> false end, fun() -> false end]) .
true
9>  i().

鐃楯￥申鐃緒申鐃瞬ルか鐃縦重わ申perl鐃叔は￥申鐃緒申鐃緒申粉鐃緒申鐃緒申鐃�

sub por {
    my %running = ();
    for my $cond (@_) {
        my $pid = fork();
        defined $pid or die "fork failed:$!";
        if ($pid) {
            $running{$pid}++;    # parent
        }
        else {
            my $code = ref $cond ? $cond : sub { $cond };
            exit $code->();      # child
        }
    }
    while (%running) {
        delete $running{ wait() };
        next unless $?;
        kill INT => keys %running;
        delete $running{ wait() } while %running;
        return 1;
    }
    return 0;                    # false;
}

my $f = sub { 1 };
my $g;
$g = sub { no warnings 'recursion'; $g->() };

my $cond = por($f, $g) && por($g, $f) && !por(0, 0);
print "$cond\n"; # 1

鐃緒申鐃銃のとわ申鐃所、鐃宿わ申鐃緒申鐃�

sumii鐃緒申鐃緒申鐃緒申 - 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申
鐃塾よう鐃淑プワ申鐃緒申鐃緒申爐�1鐃緒申鐃瞬わ申鐃緒申por鐃竣マワ申鐃緒申鐃熟書けわ申任鐃緒申腓�鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申OS鐃塾ワ申鐃緒申鐃銃ムコ鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃熟使わ申覆鐃緒申鐃緒申箸箸鐃緒申泙鐃緒申鐃�

鐃夙わ申鐃緒申鐃緒申鐃祝わ申鐃緒申鐃緒申反則鐃緒申鐃緒申密鐃祝わ申erlang鐃叔わ申OS鐃叔はなわ申erlang鐃塾実行環駈申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申討鐃緒申鐃銃わ申鐃緒申里如鐃緒申鐃獣λ￥申鐃緒申鐃緒申桧鐃祝￥申砲鐃緒申蕕削申廚鐃緒申鐃緒申里鐃殉わ申鐃藷が￥申

鐃緒申鐃緒申鐃緒申鐃緒申琉娚鐃緒申文鐃緒申僂任鐃緒申諭鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申函鐃緒申鐃緒申泙鐃緒申鐃緒申諜鐃緒申櫃鐃緒申討鐃緒申鐃瞬わ申与鐃殉わ申鐃緒申鐃峻採決し鐃銃わ申鐃暑感鐃緒申...

Dan the Infinite Looper