কেন সি # সংকলক এই নেস্টেড লিংক কোয়েরিতে পাগল হবে?

Question 1

নিম্নলিখিত কোডটি সংকলন করার চেষ্টা করুন এবং আপনি দেখতে পাবেন যে সংকলকটি> 3 গিগাবাইট র‌্যাম (আমার মেশিনে সমস্ত নিখরচায় মেমরি) এবং সংকলন করতে খুব দীর্ঘ সময় (আসলে আমি 10 মিনিটের পরে আইও ব্যতিক্রম পাই)।

using System;
using System.Linq;

public class Test
{
    public static void Main()
    {
        Enumerable.Range(0, 1).Sum(a =>
        Enumerable.Range(0, 1).Sum(b =>
        Enumerable.Range(0, 1).Sum(c =>
        Enumerable.Range(0, 1).Sum(d =>
        Enumerable.Range(0, 1).Sum(e =>
        Enumerable.Range(0, 1).Sum(f =>
        Enumerable.Range(0, 1).Count(g => true)))))));
    }
}

কেউ কি এই কৌতূহলী আচরণ ব্যাখ্যা করতে পারেন?

সিএস সংস্করণ: মাইক্রোসফ্ট (আর) ভিজ্যুয়াল সি # সংকলক সংস্করণ 4.0.30319.17929
ওএস নাম: মাইক্রোসফ্ট উইন্ডোজ 7 আলটিমেট
ওএস সংস্করণ: 6.1.7601 পরিষেবা প্যাক 1 বিল্ড 7601

স্মৃতি এর ব্যবহার

Question 2

আমি বিশ্বাস করি যে এটি ওভারলোড রেজোলিউশনের সাথে মিলিয়ে টাইপ ইনফারেন্স এবং / অথবা ল্যাম্বদা প্রজন্মের সাথে (যখন টাইপ অনুক্রমটি স্বাভাবিকের বিপরীত দিকে যেতে হয়)। দুর্ভাগ্যক্রমে, কেবলমাত্র পরামিতি সরবরাহ করার ফলে পরিস্থিতি কোনওভাবেই সহায়তা করে না (যেখানে সম্ভবত এটি এখনও টাইপ চেকিং করতে হবে)।

লাম্বদাস বিশ্লেষণ করার পরে নিম্নলিখিত কোডটি যা যৌক্তিকভাবে আপনার কাছ থেকে সমতুল্য কোড হওয়া উচিত, তা ইস্যু ছাড়াই সংকলন করছে:

static void Main()
{
    var x = Enumerable.Range(0, 1).Sum(a);
}

private static int a(int a)
{
    return Enumerable.Range(0, 1).Sum(b);
}
private static int b(int b)
{
    return Enumerable.Range(0, 1).Sum(c);
}
private static int c(int c)
{
    return Enumerable.Range(0, 1).Sum(d);
}
private static int d(int d)
{
    return Enumerable.Range(0, 1).Sum(e);
}
private static int e(int e)
{
    return Enumerable.Range(0, 1).Sum(f);
}
private static int f(int f)
{
    return Enumerable.Range(0, 1).Count(g);
}
private static bool g(int g)
{
    return true;
}

আমি বিশ্বাস করি যে এরিক লিপার্ট সি # সংকলকের এমন একটি স্থানের আগে এই ধরণের অনুমিতি পোস্ট করেছেন যেখানে (কিছু সমস্যা) কমপ্লেয়ারকে এনপি-সম্পূর্ণ সমস্যা সমাধানের চেষ্টা করতে বাধ্য করতে পারে এবং এর একমাত্র আসল কৌশল (যেমন এখানে) নিষ্ঠুর শক্তি। যদি আমি প্রাসঙ্গিক তথ্যগুলি খুঁজে পেতে পারি তবে আমি সেগুলি এখানে যুক্ত করব।

আমি খুঁজে পাচ্ছি সেরা রেফারেন্সটি এখানে যেখানে এরিকের এটি ওভারলোড রেজোলিউশন কাজ যা আসল ব্যয়ের কারণ হিসাবে বিবেচনা করছে - মনে রাখবেন, এনুমারবেল S সামের 10 টি ওভারলোড রয়েছে যা একটি ল্যাম্বদা / পদ্ধতি গ্রহণ করে।