Go to Qiita Advent Calendar 2024 Top

ゆーちき

@yuchiki1000yen

262Contributions

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#にパイプライン演算子もどきの拡張メソッドを作って書き味を向上させる

article is Stocked

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

article is Liked

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

article is Liked

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

article is Liked

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

article is Liked

jqコマンドでAtCoder Beginners Selectionを解いてみた

article is Stocked

jqコマンドでAtCoder Beginners Selectionを解いてみた

article is Liked

jqコマンドでAtCoder Beginners Selectionを解いてみた

article is Stocked

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