F*(f star) の処理系をインストールする
Update(2022/11/09) この記事はやや古くなっています。 ubuntuにおいて、2022/11/09に以下のリポジトリの手順で動くことを確かめました。 https://github...
2
1
Comment0
9 search resultsShowing 1~9 results
Stocked
You need to log-in
C# 9.0でHaskellの代数的データ型(ADT)的な書き方をする
TL; DR C# 9.0ではHaskellのADT的な書き方ができて、しかも構文的に軽量 record構文と継承を用いることで実現 pretty print や、値に基づいた等価性比較も自動で...
29
13
Comment0
C#にも代数的データ型(ADT)を軽量に定義できる構文がほしい
この記事は古いです。 C# 9.0でHaskellの代数的データ型(ADT)的な書き方をする で、最新の状況について書いています。C# 9.0ではかなり簡潔に書けるようになっています。 TL;D...
33
15
Comment1
C#にパイプライン演算子もどきの拡張メソッドを作って書き味を向上させる
概要 C#にはパイプライン演算子が導入されていません。しかし拡張メソッドを用いることで似た書き味を実現することができます。 この記事では最初に使用例を提示し、どのような書き味が実現されたか提示し...
7
3
Comment0
C#でC++のcinっぽいものを作ってみる
注意 この記事は昔はてなブログに書いた記事C#でC++のcinっぽいのに詳細説明を加筆し、細部を修正したものです。 TL; DR C++ のcinと似た使い勝手のクラスをC#で再現してみました。...
21
8
Comment0
C#のクエリ記法をHaskellのモナド＆do記法みたいに使う話
この記事はC# Advent Calendar 2019の12月５日の記事として書かれました。 この記事はkekyoさんのスライド「C#でわかる こわくないMonad」をモチベーションに書かれて...
21
9
Comment0
jqコマンドでAtCoder Beginners Selectionを解いてみた
TL; DR 普段はjsonの加工に使われるjqコマンドで AtCoder Beginners Selection(≒drkenさんの精選10問)を 解いてみたよ！（ただし１問はおそらくTLEす...
58
26
Comment0
無限にIEnumerable
目的 無限IEnumerableについて紹介し、いくつか簡単な例を挙げます。 無限IEnumerable C#(ほか様々な言語)では、無限に列挙し続けるイテレータを書くことが出来ます。 例えば、...
9
5
Comment2
C#のパーサコンビネータライブラリSpracheでML風言語のインタプリタを実装する
C#の Spracheというパーサーコンビネータライブラリの紹介記事です。 Sprache とは C#のパーサーコンビネータライブラリです。Spracheを使うとパーサーコンビネータ方式で簡単に...
28
20
Comment0
9 search resultsShowing 1~9 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles