Nie-deterministyczny wybór z amb-operatorem

Question

Czy jest możliwe wdrożenie McCarthy's amb-operator dla niedeterministycznego wyboru w C#?

Wygląda na to, że .NET nie obsługuje kontynuacji, ale może być przydatna wersja yield return. Czy byłoby to możliwe w innych statycznych językach .NET, takich jak F #?

Answer 1

Tak, yield return ma formę kontynuacji. Chociaż w wielu użytecznych przypadkach Linq udostępnia operatory funkcjonalne, które pozwalają na podłączenie leniwego generatora sekwencji, tak naprawdę w C# 3 nie jest konieczne używanie tak dużej liczby yield return (z wyjątkiem dodawania własnych rozszerzeń w stylu Linq do własnych potrzeb; podłącz luki do biblioteki, np. Zip, Unfold).

W tym przykładzie zliczamy liczbę całkowitą przez brutalną siłę. Zasadniczo taki sam przykład w C# można zrobić z wbudowaną operatorów LINQ:

var factors = Enumerable.Range(2, 100) 
     .Join(Enumerable.Range(2, 100), 
       n => 1, n => 1, (i, j) => new { i, j }) 
     .First(v => v.i*v.j == 481); 

Console.WriteLine("Factors are " + factors.i + ", " + factors.j); 

Tutaj punktem wyjścia są moje dwa zaproszenia do Enumerable.Range, która jest wbudowana w Linq ale można realizować siebie jako:

IEnumerable<int> Range(int start, int stop) 
{ 
    for (int n = start; n < stop; n++) 
     yield return n; 
} 

Istnieją dwa nieparzyste parametry, n => 1, n => 1 parametry do Join. Wybieram 1 jako kluczową wartość dla Join do użycia przy dopasowywaniu elementów, stąd wszystkie kombinacje będą pasować i dlatego będę testował każdą kombinację liczb z zakresów.

Potem przekręcić parę wartości w rodzaj krotki (typ anonimowy) z:

(i, j) => new { i, j }) 

Wreszcie podnieść pierwszy taki krotki, dla których mój test jest spełnione:

.First(v => v.i*v.j == 481); 

Aktualizacja

Kod wewnątrz zaproszenia do First nie musi być jedynie krótkie wyrażenie testu. To może być dużo kodu imperatyw, który musi być „wznowiona” Jeśli test się nie powiedzie:

.First(v => 
     { 
      Console.WriteLine("Aren't lambdas powerful things?"); 

      return v.i*v.j == 481; 
     ); 

więc część programu, który potencjalnie musi zostać uruchomiony ponownie z różnymi wartościami idzie w tym lambda. Ilekroć lambda chce zrestartować się z innymi wartościami, po prostu zwraca false - odpowiednik wywołania amb bez żadnych argumentów.

Answer 2

To nie jest odpowiedź na Twoje pytanie, ale może Ci pomóc, czego chcesz.

amb jest używany do obliczeń niedeterministycznych. Jak być może wiesz, Prolog jest niedeterministycznym językiem używającym pojęcia unifikacji do wiązania wartości z zmiennymi (w zasadzie to, co kończy się na amb).

Istnieje implementacja tej funkcji w języku C# o nazwie YieldProlog. Jak można się domyślić, operator zysku jest ważnym warunkiem tego.

http://yieldprolog.sourceforge.net/