bleis-tift

Functional Ninja #3 (OCaml編 その2)

Functional Ninjaとは

ﾆﾝｼﾞｬｰ

• FunctionalNinja #3

事前準備

bleis-tift

class AgentRuntime(profile: Properties, holder: ServiceBindingHolder[MicroRuntimeServiceBinder]) {

  def startAgent(name: String, args: Array[AnyRef]): Future[AgentController] =
    for {
      binder <- holder.getServiceBinder()
      binder <- createContainer(binder)
      binder <- startAgentCore(name, args, binder)
    } yield MicroRuntime.getAgent(name)

bleis-tift

using System;

interface IPiyo<in T, out U>
{
    Func<T, U> Hoge(Func<U, T> f);
    Func<Func<U, T>, U> Hoge(Func<Func<T, U>, T> f);
    Func<T, Func<T, U>> Hoge(Func<U, Func<U, T>> f);
    Func<Func<U, T>, Func<T, U>> Hoge(Func<Func<T, U>, Func<U, T>> f);
}

bleis-tift

using System;

namespace LangExt.Playground.CurriedFunc
{
    public delegate Func<TArg2, TResult> CFunc<in TArg1, in TArg2, out TResult>(TArg1 arg);
    public delegate CFunc<TArg2, TArg3, TResult> CFunc<in TArg1, in TArg2, in TArg3, out TResult>(TArg1 arg);
    public delegate CFunc<TArg2, TArg3, TArg4, TResult> CFunc<in TArg1, in TArg2, in TArg3, in TArg4, out TResult>(TArg1 arg);
    public delegate CFunc<TArg2, TArg3, TArg4, TArg5, TResult> CFunc<in TArg1, in TArg2, in TArg3, in TArg4, in TArg5, out TResult>(TArg1 arg);
    class Sample
    {

bleis-tift

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using LangExt; // ver1.x

namespace LangExt.Playground
{
    public interface IPattern<T, U>
    {

bleis-tift

using System;
using System.ComponentModel;

namespace LangExt.Playground
{
    public sealed class LazyVal<T>
    {
        readonly Func<T> f;
        bool hasValue = false;
        T value;

bleis-tift

using System;

namespace LangExt.Playground
{
    public sealed class LazyVal<T>
    {
        T value;
        bool hasValue = false;
        readonly Func<T> f;

bleis-tift

public abstract class Base<T>
{
  public abstract T Method();
}

public class Sub1 : Base<int>
{
  public override int Method() { return 0; }
}

bleis-tift

interface A {
  hoge(str:string): string;
}

interface B {
  hoge(str:string): string;
}

class AImpl implements A {
  hoge(str) {

bleis-tift

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading;
using System.Threading.Tasks;
 
namespace Proofcafe
{
    public static class TaskMonad