Haskell

圏論に案内される

『圏論の道案内』を読んだ。本稿はその読書メモである。

コンピュータ・ソフトウェア関係の人間であれば、だいたいHaskellのモナドから圏論に触れるのではないか。御多分に洩れず私もその一人だった。

私はHaskellが好きだし関数プログラミングは素晴らしいと信じているが、Haskellで仕事をしているプロフェッショナルのプログラマーではない。よって、私がHaskellに対して思っていることは、も

もっとみる

Haskell始めました

前々からやりたいと思っていた、プログラミング言語のHaskellの勉強を開始しました。
過去にも2度勉強をしたことはありましたが、その際は2回とも本の内容を一通りやって、そのままフェードアウトするという感じで終わってしまいました。
特に作りたいものとかがあったわけではなく、ただ勉強をしていたというのがいけなかったかなーと、今から考えるとそう思います。

でも、Haskellやりたいなーという思いが

もっとみる

【Haskell】 Functional Programming

ぽっくりファンキ〜な今回は、関数型言語のHaskellにフォーカスしましゅ!

♥。・゚♡゚・。♥。・゚♡゚・。♥。・゚♡゚・。♥。・゚♡゚・。♥。・゚♡゚・。♥。・゚♡゚・。♥。・゚♡

;^_^ o[ " First Steps " ]o  .+*:゚+。.☆

⏩ パート1 ⏩ パート2 

;^_^ o[ " Types & Classes " ]o  .+*:゚+。.☆

⏩ パート1

もっとみる

プログラミング言語での無限集合の取り扱い

プログラミング言語のリスト内包表記は、数学の集合と対応があります。今回の記事では、「Haskellのリスト内包表記は集合の記法に似ているだけでなく無限集合も取り扱える」ことを紹介しようと思います。

数学では集合を

{n | n ∈ N}

と書きます。nは元(要素、element)と言い、Nは自然数の集合としましょう。自然数の集合Nは無限集合であり、無限の要素を含みます。

上記の”ような”

もっとみる

関数型言語HaskellでHello Worldをしよう

最近関数型プログラミング言語であるHaskellの勉強をはじめました。その初めての取っ掛かりとしてHello WorldをHaskellで書いてみました。

問題設定は以下のとうりです:

(1)標準入力からnをインプットする

(2)Hello Worldをn回改行して出力する

これを再現するようにコーディングしてみました。以下コード

hello_world 1 = putStrLn "He

もっとみる

pythonでループをつかって複数ファイルを処理したくない場合

最近haskellを学んでいて、pythonを書くときに、いかにループを使わずに書くかを考えることが増えてきた。その一つが複数ファイルの処理。

ループを回さずに複数ファイルを読み込むにはどうしたらいいか。ここに、それぞれ一次元データである“a.txt”, “b.txt”,”c.txt”があるとする。中身は適当な数列にした。

==> a.txt <==123==> b.txt <==243==>

もっとみる

noteでコードを表示してみる

拙いコードだけど、noteでどのようにコードが表示されるかみてみます。HaskellでFizzBuzzを書いたものです。

filterFizzBuzz :: Int -> StringfilterFizzBuzz x = if x `mod` 15 == 0 then "FizzBuzz" else if x `mod` 5 == 0 then "Buzz" e

もっとみる

TidalCyclesの環境設定でつまづいたので対処方法を書いておく

先日、BNNより田所淳さんの『演奏するプログラミング、ライブコーディングの思想と実践 ―Show Us Your Screens』が販売されたので、早速購入をしてライブコーディングの勉強を始めています。
学習を進めていく中でchapter3の中級編で用いるTidalCyclesの環境設定でかなりつまづいたのと、調べてもなかなか出てこなかったので対処方法を書いていきます。

step1. tidal

もっとみる

今日の日課 -Haskell- 2018/07/21

お疲れ様です。今日はHaskellという言語でTwitterのAPIを叩いてタイムラインを持って来ました。ちなみに先日から上げているTidalCyclesというサウンドプログラミング環境はHaskellによって組み込まれてます。

この動画、英語ですがプログラムの感じがわかりやすいです。短くて効果絶大なプログラムが書けるので頭の構造がついていけば強くなれそう

もっとみる