手続き型言語

IOモナド STモナド IOモナド IOはもちろんモナドである。 入出力という副作用を扱うために用いられる。 main も IO () という型の変数である。 (関数ではない)モナドだから return で値を中に入れることができる。 hoge::Int -> IO Int hoge x = return x main :: IO () main = do let ma = hoge 5 a <- ma print a -- 5 モナドだから join で一皮むくことができるが、 join で裸にはできない。 import Control.Monad main = do let ma = re…

つくばへ。『メヒコ』のつくばフラミンゴ館で昼飯を食べる。 アメリカのロードサイド店っぽい佇まい。店内もミッドセンチュリーと昭和のブレンドでかなり良い。 店内にフラミンゴがめちゃくちゃいた。「創業者がメキシコで見たフラミンゴの群れに感動し、店内で飼育したらお客さんにも喜んでもらえるのではと考えた」的な説明書きがテーブルにある。 カニピラフ スペシャルセットを注文。オードブルにホヤがありうまかった。 ちょっと食べちゃったカニピラフ。強い塩気が遠慮ない。カニと海藻のスープやカニクリームコロッケもカニの旨味と香りを前に押し出していて、お酒を飲みたい味だった。 『コーチャンフォー』つくば店で数時間過ごす…

はじめに こんにちは、タイミーでバックエンドエンジニアをしている新谷、須貝、難波です。 2月10日に広島国際会議場で YAPC::Hiroshima 2024 が開催されました。タイミーはGold Sponsorとしてブース出展をしており、エンジニアが3名とDevEnable室が3名の総勢6名で参加させていただきました。 どのセッションも興味深かったのですが、この記事では我々が拝見したセッションのうち特に印象に残ったものをいくつかピックアップしてご紹介します。 なお、タイミーには世界中で開催されている全ての技術カンファレンスに無制限で参加できる「Kaigi Pass」という制度があり、エンジニ…

先日、Haskellのリストを処理する関数で、2つのリストの直積（direct product）を返す関数を探していて、僕は見つけられなかった。仕方ないのでリスト内包表記で書いた。 [(x, y) | x <- [0,1], y <- ['a','b']]--[(0,'a'),(0,'b'),(1,'a'),(1,'b')] 先日、見知らぬ人のブログを見ていて、我が目を疑った。全く同じ結果を返す以下のようなコード例が記されていたのだ。 main = print ff = do x <- [0,1] y <- ['a','b'] return ((x, y))--[(0,'a'),(0,'b')…

最近組み込みエンジニアが気になってきました。かなり勉強大変そうだけど…。 理由はSFに出てくる機械が好きだから。産業ロボにはロマンが詰まっている。 向いてるか向いていないかは置いといて、そっちも少し勉強してみようと思います。 ちなみに最近ハマったSFアニメはネッフリ限定の「サイバーパンクエッジランナーズ」という神鬱アニメです。大好きだけどラスト見返したくない。 今回はC言語について調べたことをメモしていきます。 ※(1/27~)ぼちぼちと追記していきます

オブジェクト指向設計実践ガイド ~Rubyでわかる 進化しつづける柔軟なアプリケーションの育て方 | Sandi Metz, 髙山 泰基 |本 | 通販 | Amazon 重要だと思った箇所をメモに残した。 八、九章で力尽きてしまったのでまた気が向いたら読む。 第一章: オブジェクト指向設計 設計とは 設計とは、同一の製品をつくる組み立てラインではなく、アトリエなのです。 原則 SOLID 原則 単一責任 (Single Responsibility) オープン・クローズド (Open-Closed) リスコフの置換 (Liskov Substitution) インターフェース分離 (Inte…

今回は 詳解 Terraform 第3版 を一通り読んだので、その感想を簡単に残しておこうと思います。 TerraformはIaCツールの中でもかなり市民権を得ていると感じるツールです。にもかかわらず、ここ最近個人的にTerraformを使う機会もなく、情報を追いかけられていませんでした。なので復習の意味も込みで購入しました。 www.oreilly.co.jp 読書中のメモも併せて載せていますが、読んでて「これは助かるなあ」と思ったポイントを抜粋しておきます。 Terraformの前段階から説明してくれて助かる Terraformを学習する前段階として、「そもそもIaCとは何か？何のために使…

Haskellにおける条件式 Haskellにおいて、条件文という言葉よりも「条件式」といったほうが適切かもしれません。 条件文という言葉は手続き型言語やオブジェクト指向型言語では使われますが、Haskellにおいては「関数」が第一級オブジェクトとして扱われます。 ifも「if文」というよりは「if式」と表現し、値が返却するという点でも関数と呼んだほうが良いです。 以下はif式の具体例ですが、参考演算子のように値を返却していることに留意してください。 main = do let test_point = 95 let result = if test_point > 60 then "合格" …

はじめに Semiotics 誌への寄稿論文の編集である田中久美子『記号と再帰』（東京大学出版会）を読んだ。 応用記号論という伝統を墨守した真面目な論である。 石田英敬の情報記号論に失望した人々には受けると思う（計算機科学者ではなく仏文学者がなぜ情報記号論を建設できるのかという疑問は至極当然であろう。彼の著作を読めば、その情報学の専門性の低さには絶望する）。 西垣通から推されて書いたらしいが、なんかその実情が停滞していることを表しているというか、なんかなぁという。 情報学環の内輪ということにはなってしまうのかなと。 用いられる情報科学の知識は極めて基礎的であるものの、記号論のプログラム言語への…

Haskell 概要 Dockerを使用したHaskellの環境構築手順 Haskell, Docker, docker-compose Haskellは関数型プログラミング ghc ghci runghc Haskell 文法基礎 Haskellでの四則演算 Haskellの変数と型一覧 Haskellのlet whereの使い方 Haskell let where 変数宣言 局所的変数 Haskellの条件分岐 Haskellは数学 Haskellの関数一覧 Haskell dataコマンドの使い方 Haskell classコマンドの使い方 Haskell IO型 Haskellにおける…

2023年11月21日（明日📅）に出版される新著「詳解 Terraform 第3版」を読んだ📕 本書では Terraform の基本的な仕組みを学べるだけではなく，Terraform を実践的に使うときに必要になるステート管理・モジュール・シークレット管理・テストなど幅広いトピックまでまとまった一冊になっていて素晴らしかった❗️また Terraform の日本語書籍は今まであまりなく，この内容を日本語で読めることも素晴らしいと思う． 詳解 Terraform 第3版 ―Infrastructure as Codeを実現する作者:Yevgeniy Brikmanオーム社Amazon 本書は翻訳を…

https://www.tumblr.com/espio999/177365610518/%E8%87%AA%E5%88%86%E3%81%AE%E3%81%AA%E3%82%8A%E3%81%9F%E3%81%84%E5%A7%BF%E3%82%84%E7%8A%B6%E6%85%8B%E3%81%AB%E3%81%AA%E3%82%8A%E3%81%8D%E3%82%8B%E3%81%93%E3%81%A8%E3%81%AF%E5%AE%9F%E9%9A%9B%E3%81%AB%E3%81%9D%E3%81%86%E3%81%AA%E3%82%8B%E3%81%BE%E3%81%A7%E3…