はてなブックマーク

██████╗ ███████╗ ██████╗██╗ ██╗██████╗ ███████╗██╗ ██████╗ ███╗ ██╗ ██╔══██╗██╔════╝██╔════╝██║ ██║██╔══██╗██╔════╝██║██╔═══██╗████╗ ██║ ██████╔╝█████╗ ██║ ██║ ██║██████╔╝███████╗██║██║ ██║██╔██╗ ██║ ██╔══██╗██╔══╝ ██║ ██║ ██║██╔══██╗╚════██║██║██║ ██║██║╚██╗██║ ██║ ██║███████╗╚██████╗╚██████╔╝██║ ██║███████║██║╚██████╔╝██║ ╚████║ ╚═╝ ╚═╝╚══════╝ ╚═════╝ ╚═════╝ ╚═╝ ╚═╝╚══════╝╚═╝ ╚═════╝ ╚═╝ ╚═══

Skip to the content. Haskell入門 従来の言語では問題を部分化する方法について概念的な限界がいくつかある。関数型言語はこれらの限界を押し広げるも のである。 なぜ関数プログラミングは重要か 関数プログラミングを習得するには，これまで命令プログラミングで培った技術はいったん忘れ，真っ白な気持ちで臨む必要があります。関数型の山を登るためには，命令型の山を降りなければなりません。 第1章　関数プログラミングは難しくない！ Haskellは理解すれば理解するほどきれいに書けることを約束してくれます。信頼してください 常にパターンを探しましょう。単純になるとき、またその時だけそれらを抽象化するのです 辛抱強く抽象化を正しく理解しましょう。もしそれが出来たならすべてのことが魔法のようにつじつまが合うようになるでしょう。 実装そのものが設計図となります … Haskell Ma

Skip to the content. Haskell入門 従来の言語では問題を部分化する方法について概念的な限界がいくつかある。関数型言語はこれらの限界を押し広げるも のである。 なぜ関数プログラミングは重要か 関数プログラミングを習得するには，これまで命令プログラミングで培った技術はいったん忘れ，真っ白な気持ちで臨む必要があります。関数型の山を登るためには，命令型の山を降りなければなりません。 第1章　関数プログラミングは難しくない！ Haskellは理解すれば理解するほどきれいに書けることを約束してくれます。信頼してください 常にパターンを探しましょう。単純になるとき、またその時だけそれらを抽象化するのです 辛抱強く抽象化を正しく理解しましょう。もしそれが出来たならすべてのことが魔法のようにつじつまが合うようになるでしょう。 実装そのものが設計図となります … Haskell Ma

Skip to the content. Haskell Haskell - An advanced purely-functional programming language 1990 – サイモン・ペイトン・ジョーンズ、ポール・フダック、フィリップ・ワドラー、デミ・ムーアの夫、ならびに動物の倫理的扱いを求める人々によって構成される委員会により、遅延評価を行う純粋な関数型言語Haskellが作られる。副作用の制御に使われるモナドの複雑さのため、Haskellには抵抗を持つ人々がいる。ワドラーは批判を和らげるために、こう語っている。「モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？」 出典: 不完全にしておよそ正しくないプログラミング言語小史 Index Haskell: 純粋関数型プログラミング言語 環境構築／エコシステム 入門／チュートリアル 基本文法 再帰 データ

2015/05/06 世の中はゴールデンウィークですね！今日は最終日です！！ GWは自由な時間がいっぱいあるのでたくさん勉強ができますね！（イヤッホー！） というわけで暇な時間を持て余してHaskell by Exampleというコンテンツを作りました。(はてブ、スター、プルリクください！) 知ってる人も多いと思いますが[要出典]、もともとGo by ExampleというGoをExampleを通して学んでいこうという素晴らしいサイトがあって、Haskell by Exampleはそれを出来るだけそのままHaskellに翻訳したものです。 これを作った狙いはいくつかあって Haskell の理論的な入門はあっても実践的な入門が少ない Go言語が流行ってるっぽいのでその界隈にHaskellも認知してもらう まだHaskellあんまり書けないので自分の勉強になると思った(GWなので！) と、そん

Haskell is an advanced purely-functional programming language. Haskell by Example is a port of Go by Example to Haskell. Check out the first example or browse the full list below. Hello WorldValuesVariablesConstantsForIf/ElseSwitchArraysSlicesMapsRangeFunctionsMultiple Return ValuesVariadic FunctionsClosuresRecursionStructsMethodsInterfacesErrorsGoroutinesChannelsChannel BufferingChannel Synchroni

Haskell is an advanced purely-functional programming language. Haskell by Example is a port of Go by Example to Haskell. Check out the first example or browse the full list below. Hello WorldValuesVariablesConstantsForIf/ElseSwitchArraysSlicesMapsRangeFunctionsMultiple Return ValuesVariadic FunctionsClosuresRecursionStructsMethodsInterfacesErrorsGoroutinesChannelsChannel BufferingChannel Synchroni

2015/04/27 今日GithubのHaskellのトレンドを見ていたらjaspervdj/websocketsが上がっていました。ソケット通信といえばSocket.IOな昨今ですがHaskellにもsocket-ioというバインディングが存在します。しかし何度か使おうと思って挑戦したんですがまだまだレベルが低くて使い方がわからず… 今日見つけたwebsocketは例のコードも短く使いやすそうだったので勉強がてら簡単なチャットを作ってみました。 まず依存ライブラリをインストールします {-# LANGUAGE OverloadedStrings #-} import Control.Monad (forever) import Control.Exception (finally) import Data.IORef import Data.Text (Text) import Net

2015/04/15「高階多相型ってなんですの？」 TaPLを読んだわけでもなくSystemFを理解したわけでもなくただキーワードに惹かれて高階多相型について最近調べていたのですが、面白い例を見つけたのでまとめてみようと思います。 なんでも入るリストみなさんはJavaScriptを書きますか？僕はJavaScriptが大好きです。JavaScriptでは例えば以下のような配列を作ることができます。 var array = [1, 2, "three", false, {"five":6}]; では同じようなことをHaskellでも出来るでしょうか？ list = [1, 2, "three", False, ("five", 6)] Couldn't match expected type ‘[Char]’ with actual type ‘Bool’ うーん、怒られてしまいますね。どう