ゆーちき

@yuchiki1000yen

268Contributions

9
Posts 54
Followees 18
Followers

はてなブログ： http://yuchiki1000yen.hatenablog.com/ C#や型理論、形式検証に興味があります

Following Organizations

No Organizations you are following

Following tags(15)See all

C#F*microservices コーディング規約 .NETCore 関数型言語論文読み Makefile codingRule LINQ リファクタリング F#関数型プログラミング Git Haskell

Contributions

article is Liked

C# 9.0でHaskellの代数的データ型(ADT)的な書き方をする

article is Liked

C#にも代数的データ型(ADT)を軽量に定義できる構文がほしい

article is Liked

C#のパーサコンビネータライブラリSpracheでML風言語のインタプリタを実装する

article is Liked

C# 9.0でHaskellの代数的データ型(ADT)的な書き方をする

article is Liked

C# 9.0でHaskellの代数的データ型(ADT)的な書き方をする

article is Liked

C#のクエリ記法をHaskellのモナド＆do記法みたいに使う話

article is Liked

C# 9.0でHaskellの代数的データ型(ADT)的な書き方をする

article is Liked

C#にパイプライン演算子もどきの拡張メソッドを作って書き味を向上させる

article is Stocked

C#のクエリ記法をHaskellのモナド＆do記法みたいに使う話

article is Liked

C#のクエリ記法をHaskellのモナド＆do記法みたいに使う話