Variadic experiments

shittyvariadics.cs

using System;
using System.Linq.Expressions;
using VMware.Vim;

namespace AgentAutomation.VimExtensions
{
    class Foo
    {
        static void Main()
        {
            var tup = Tuple.Make(11.5)
                .And("Hello")
                .And(DateTime.Now)
                .And(42);

            tup.Apply(v1 => v2 => v3 => v4 => Console.WriteLine($"{v1} is an int, {v2} is a date, and {v3} is a string, and {v4} is a double, and all of this is statically verifiable"));
        }
    }

    public interface ISingle<TCurr>
    {
        ITuple<TNext, TCurr, Func<TNext, Action<TCurr>>, ISingle<TCurr>> And<TNext>(TNext val);
    }

    public interface ITuple<TCurr, TPrev, in TFunc, out TParent>: ISingle<TCurr>
        where TParent : ISingle<TPrev>
    {
        new ITuple<TNext, TCurr, Func<TNext, TFunc>, ITuple<TCurr, TPrev, TFunc, TParent>> And<TNext>(TNext val);

        void Apply(TFunc f);
    }

    public static class Tuple
    {
        public static ISingle<TVal> Make<TVal>(TVal val)
        {
            throw new NotImplementedException();
        }
    }
}