リーンは今日人気があるようですので、それがどのように/なぜ機能し、Juliaでミニバージョンを実装するかについての小さな投稿があります

非常に簡単なので、これについてジュリアを知る必要はありません。(そして、あなたは_間違いなく_リーンを知る必要はありません)

とにかく、ここに投稿があります

ライブストリームを楽しむ方:

ロゼパインドーン(イタリック体なし)@outputlayer、フォントは比類のない@usgraphicsのバークレーモノです

@frang_u99393、そうそう、依存型がここに完全に表示されている場合、リーンは型システムの簡単な副作用であり、実際にJuliaでソフトウェアを作成できるという点でいくつかの追加の優れた点があります

@frang_u99393 「リーン型対話型定理証明システム」の代用としての「リーン」