language.ext로 시작하기 (functional C#)

Question

language.ext (C#) 라이브러리를 시작점으로 함수형 프로그래밍에 대해 더 자세히 배우려고합니다. 나는 하나의 모나드를 사용하려하지만 내가 놓친 것이있다. 간단한 예를 들어, 참조 : < 왼쪽

using System; 
using System.Collections.Generic; 
using System.Linq; 
using System.Text; 
using System.Threading.Tasks; 

namespace Dates 
{ 
    public class AssignmentDate 
    { 

     public static Either<string, AssignmentDate> Create(DateTime date) 
     { 
      if (date < MinValue) 
       return Left<string, AssignmentDate>("date out of range"); 

      return Right<string, AssignmentDate>(date); 
     } 

     public static DateTime MinValue => new DateTime(1950, 1, 1); 
    } 
} 

유형>과 오른쪽 <이> 확인할 수 없습니다. 분명히 뭔가 빠졌지 만 뭐라구? <> 올바르게 사용하고 있습니까? 이것은 <>을 사용할 때 반환 할 올바른 방법입니까? 누구든지 language.ext의 더 많은 예제를 가리킬 수 있습니까? 제공된 모든 도움에 많은 감사드립니다.

Answer 1

내가 누락되었습니다. "static LanguageExt.Prelude;를 사용했습니다." 이유는 모르겠지만 Visual Studio에서 조금 다르게 처리했으며 Object Browser에서 Left 또는 Right에 대한 참조를 찾을 수 없었습니다.

Answer 2

저는 Language-Ext의 저자입니다. Left 및 Right은 자체 형식의 생성자 함수가 아니라 생성자 함수이며 모두 Either<L, R>입니다. 많은 유형의 정적 클래스 Prelude에 생성자 함수가 있으므로 그 중 using static을 수행해야합니다. 네임 스페이스가 아니라 클래스입니다.

다음과 같이 쓸 수 있습니다. Prelude.Left<L, R>(...) 및 Prelude.Right<L, R>(...). Right(x) : 당신이 그렇게 같은 Either을 구성 할 수 있도록 할

type Either<'l, 'r> = 
    | Left of l 
    | Right of r 

:

이

대수 데이터 유형 Either가과 같이 정의 할 수 있습니다 F 번호와 같은 기능 언어 (ADT를)를 시뮬레이션하는 것입니다.

다른 생성자 기능은 다음 Some(x) 및 Option위한 None, Lst위한 List(x,y,z), Set위한 Set(x,y,x)을 등

Prelude 클래스 대신 할 필요없이 한 번 using static과 기본 기능의 톤을 포함하도록 쉽게 그런데 등

, using static LanguageExt.Option, using static LanguageExt.Either 할, 당신의 예를 작성하는 기능적인 방법은 다음과 같습니다

public static Either<string, AssignmentDate> Create(DateTime date) => 
    date < MinValue 
     ? Left<string, AssignmentDate>("date out of range") 
     : Right<string, AssignmentDate>(date); 

이유는 결과를 얻기 위해 여러 개의 명령문을 사용하는 반면, 3 항 연산자는 표현식이라는 것입니다. 함수형 프로그래밍을 배우고 있다면 언제나 표현식을 사용해보십시오. 예외는 로컬 변수를 선언해야하지만 대부분 C#에서 순수 표현식을 사용할 수 있습니다. 표현식이 너무 커지면 작은 함수로 나누십시오. 함수형 프로그래밍의 한 가지 부작용은 함수가 점점 작아지는 것입니다. 때로는 단 한 번의 업무 만 수행합니다.