圏論プログラミング言語CPL入門 - うさぎ小屋
面白かったので入門記事を書きました。haskellの知識を仮定しますが圏論の知識は一切要求しません。 言語概要 圏論に基づく データは射として表す 関数は射あるいは羃対象として表す Turing完全でない 計算は必ず停止する 作者は日本人 環境導入 haskellによる実装が存在するのでこれを用います。cabalを用いて以下ですべて済みます。 1 $ cabal install CPL 起動するにはcplと叩きます。 1 2 3 4 5 6 7 $ cpl Categorical Programming Language (Haskell version) version 0.0.7 Type help for help cpl> 引数にファイルを与えるとそれを実行します。中身を標準入力から流しこんだかのようなかの挙動をします。読み込んだ後replに入るオプション-iもあります。 1 $
圏論勉強会 第2回 @ ワークスアプリケーションズ
@ワークスアプリケーションズ 中村晃一 2013年5月23日 $$ \newcommand\append{{+\hspace{-.7em}+}} $$ 謝辞 この勉強会の企画，会場設備の提供をして頂きました ㈱ ワークスアプリケーションズ様 にこの場をお借りして御礼申し上げます。 この会について 圏論(category theory)を題材にいろんなことを学びます。 分かり易さを重視して初歩的な例を多用します。 関数型言語の経験がある方がより楽しめると思います。資料中では主にHaskellを使います。 この資料はhttp://nineties.github.com/category-seminarに置いてあります。 第２回:モノイド・群 第2回の内容 モノイド勉強会 @ワークスアプリケーションズ 中村晃一 2013年5月23日 第2回の内容 本日は予定を変更して一旦圏論を離れ,モノイド・群
Chapters - Learn You a Haskell for Great Good!
Introduction About this tutorial So what's Haskell? What you need to dive in Starting Out Ready, set, go! Baby's first functions An intro to lists Texas ranges I'm a list comprehension Tuples Types and Typeclasses Believe the type Type variables Typeclasses 101 Syntax in Functions Pattern matching Guards, guards! Where!? Let it be Case expressions Recursion Hello recursion! Maximum awesome A few m
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp: 入門Haskell: はじめて学ぶ関数型言語: 向井淳: 本
