Lựa chọn không xác định với nhà điều hành tham gia

Question

Có thể triển khai McCarthy's amb-operator để lựa chọn không xác định trong C# không?

Rõ ràng .NET thiếu hỗ trợ tiếp tục nhưng yield return có thể hữu ích. Điều này có thể có trong các ngôn ngữ .NET tĩnh khác như F # không?

Answer 1

Có, yield return thực hiện một hình thức tiếp tục. Mặc dù trong nhiều trường hợp hữu ích, LINQ cung cấp các toán tử chức năng cho phép bạn kết nối với nhau một trình tạo chuỗi chậm, vì vậy trên thực tế trong C# 3, bạn không cần sử dụng yield return nhiều (ngoại trừ khi thêm các phần mở rộng kiểu Linq của riêng mình vào cắm khoảng trống trong thư viện, ví dụ Zip, Unfold).

Trong ví dụ, chúng tôi tính một số nguyên theo lực lượng vũ phu. Về cơ bản ví dụ tương tự trong C# có thể được thực hiện với sự tích hợp trong khai thác 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); 

Đây là điểm khởi đầu là hai cuộc gọi của tôi để Enumerable.Range, được xây dựng-in để LINQ nhưng bạn có thể thực hiện bản thân như:

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

Có hai tham số lẻ, tham số n => 1, n => 1 đến Join. Tôi đang chọn 1 làm giá trị khóa cho Join để sử dụng khi kết hợp các mục, do đó tất cả các kết hợp sẽ phù hợp và vì vậy tôi sẽ kiểm tra mọi kết hợp của các số từ các phạm vi.

Sau đó, tôi lần lượt các cặp giá trị vào một loại tuple (một loại vô danh) với:

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

Cuối cùng, tôi chọn tuple đầu tiên như vậy mà thử nghiệm của tôi được thỏa mãn:

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

cập nhật

các mã bên cuộc gọi đến First không cần phải chỉ đơn thuần là một biểu thức kiểm tra ngắn. Nó có thể là một toàn bộ rất nhiều mã bắt buộc mà cần phải được "khởi động lại" nếu thử nghiệm thất bại:

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

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

Vì vậy, các phần của chương trình có tiềm năng cần phải được khởi động lại với các giá trị khác nhau đi trong lambda đó. Bất cứ khi nào lambda muốn tự khởi động lại với các giá trị khác nhau, nó chỉ trả về false - tương đương với việc gọi amb mà không có đối số.

Answer 2

Đây không phải là câu trả lời cho câu hỏi của bạn, nhưng nó có thể giúp bạn có được những gì bạn muốn.

amb được sử dụng cho tính toán không xác định. Như bạn có thể biết, Prolog là một ngôn ngữ không xác định bằng cách sử dụng khái niệm thống nhất để ràng buộc các giá trị cho các biến (về cơ bản những gì amb kết thúc lên làm).

Có triển khai thực hiện chức năng này trong C#, được gọi là YieldProlog. Như bạn đã đoán, toán tử lợi nhuận là một điều kiện tiên quyết quan trọng cho việc này.

http://yieldprolog.sourceforge.net/