Haskellの環境構築を行いました。参考にさせていただいた記事を添付します。 ghcup + VSCodeでの環境構築について Haskellの環境構築2023 cabalを使用したHaskellプロジェクトの作成 [おすすめHaskellプロジェクト作成方法(ほぼ)2021年版 cabalプロジェクトの実行 $ cabal runをターミナルで入力 The Haskell Cabal | Overview

今回は、HaskellのIOアクションについて、ようやく納得できたので書いていく。

はじめに Haskell を勉強中なのですが、($) と (.) の使い分けで少し混乱しました。というもの、読んでいた入門書で、($) と (.) が置き換え可能そうな例が載っていたからです。 置き換え可能なのか、私が勘違いしているだけなのかわからなかったため、調べていました。 前提 ($) について 「関数適用演算子」という名前です ($) による関数適用は右結合になります これは、($) が Haskell 標準の二項演算子の中で最も低い優先順位であることと、($) が右結合であることから実現されています（参照：演算子 - ウォークスルー Haskell） 定義は以下の通り ($) :: …

Haskellで「小数点以下、四捨五入」をしたくて標準ライブラリPreludeに含まれている「round」関数を使ってみたところ、どうも結果がおかしい。調べてみると、どうやら「round」は「銀行型丸め」（小数部分が「0.5」ピッタリの場合、偶数に丸める）を行う関数のようだ。 Prelude> map round [-5.5 .. 5.5][-6,-4,-4,-2,-2,0,0,2,2,4,4,6] 僕はこの「銀行型丸め」で昔ハマったことがある。すっかり忘れていたが、このブログにも書いていた（「2010年07月18日」だそうだ…。遠い昔じゃのう…）。 そもそも「小数点以下、四捨五入」って、小数…

先日、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')…

Haskellの勉強を始めて約1か月が過ぎたのだが…、学習がなかなか捗らない。関数型プログラミング言語に関して全くの初学者を対象としたHaskell入門書を2冊購入したのだが、どちらも25〜45%読んだところでストップしてしまっている。その内の1冊なんかは200ページ足らずしかない薄い本で、まさか1か月経っても読み終えられないとは思ってもいなかった。まぁ、先に進むことよりも充分に理解することを重視して、同じところを2度も3度も読み返しているからなのだが…。 関数型言語入門の定番の流れは、「式の評価」→「関数の定義」→「再帰関数」→「高階関数」みたいな感じで始まる。ここまでが前半。Haskell…

Haskellの修行のツモリで、Paizaのスキルチェックの過去問題（一番易しいDランク問題）やAtcoder Beginner Contestの過去問題（やはり一番易しいA問題）を解いていた。そしたら、ものの見事にハマった～（涙）。 やりたいことは簡単だったのだ。a、b、x、yといった数値が与えられるので、「2 × a」と「b × (x - y)」の「小さい方」を求めたかった。それでこんなコードを書いてしまった。 min (2 * a) b * (x - y) 変数の値は、 a = 200 b = 300 x = 8 y = 6 とかそんな感じ。変数の値を数値で示すと、 min (2 * 2…

👦 対象者 プログラミング入門本を読み終わった学生 キャリアの方向性に迷いが出てしまったエンジニア 🏁 ゴール このサイトの目標は、プログラミングに入門したての新米エンジニアに対して、プログラミング学習の「目的」と「手段」を見つけるヒントを示すことです。 やるべきこと、身につけたい技術が明白な方は「📗 目次」より各ページをご参照ください。 キャリア戦略の立案や取得技術の選択を行いたい方は エンジニアのためのキャリア戦略 から理想的なキャリアパスを構築しましょう。 📗 目次 キャリア エンジニアのためのキャリア戦略 コーディング Haskell Kotlin Kotlin Junit Power…

Foldableとは？ foldrやfoldlができる型クラス。 class Foldable (t :: Type -> Type) where というように宣言されている。 https://hackage.haskell.org/package/base-4.20.0.1/docs/Data-Foldable.html ちなみに t :: Type -> Type というのは単に型t aと書けるようなtということを明示しているだけらしい。昔はclass Monad m whereと書いてメソッドでm aと書いていたが、確かにこれだとダックタイピング的な気がする。 Foldable の実装 …

[Verse 1: Gordon Haskell]Cadence and Cascade ケーデンスとカスケードはKept a man named Jade ジェイドという男をCool in the shade 日陰で涼ませたWhile his audience played 聴衆が演奏している間 [Chorus: Gordon Haskell]Purred, whispered “Spend us too 小声でささやいたWe only serve for you” “私たちも使ってください 私達はあなたのためだけに奉仕します” [Verse 2: Gordon Haskell]Slidin…

こんにちは、CTOの id:motemen です。Hatena Developer Blogの連載企画「卒業生訪問インタビュー」では、創業からはてなの開発に関わってきた取締役の id:onishi、CTOの id:motemen、エンジニアリングマネージャーの id:onkが、いま会いたい元はてなスタッフを訪問してお話を伺っていきます。id:motemenが担当する第11回のゲストは、サイボウズ株式会社でソフトウェアエンジニアとして活躍しているid:itchynyさんこと、濱田健さんです。itchynyさんは、京都大学大学院工学研究科電子工学専攻修了後、はてなに入社。Mackerelチームやは…

nazology.kusuguru.co.jp アメリカのアラバマ大学（UA）から発表された研究により、生命が生と死を超えた第3の状態に変化できるとの概念が示されました。 生命には生と死を超えた「第3の状態」の状態が存在すると判明 - ナゾロジー 研究ではここ十数年の研究成果がレビューされており、栄養、酸素、生化学的刺激が与えられた場合、人間やカエルの体が死後に新たな機能を備えた「多細胞生物」に変化できることが示されています。 生命には生と死を超えた「第3の状態」の状態が存在すると判明 - ナゾロジー 研究者たちは死の生物学が進んだ結果「生物の死に関する従来の理解や「生命」および「生物」の定義…

このブログの目標 初期の目標 インターネット上にはユーザーが入力したものが多数ありますが、それを取り込んでプログラムをアップデートしていくことを考えます。本来はインターネット上のテキストやゲームの入力などを取り込んでほしいのですが、現在はおそらく人間がアップデートしていると考えられます。生成AIなどはありますが、それでアップデートできるかどうかは、ちょっと調べてみた限りでは不明です。これはなぜなのかという疑問を解決することが、このブログの初期の目標でした。将来AIが発展したとき人間がやることの一つの選択肢になる可能性がありますが、私はAIの専門家ではないので、このブログはこれを目標にするという…

※ネタバレ注意 atcoder.jp atcoder.jp atcoder.jp atcoder.jp atcoder.jp atcoder.jp atcoder.jp atcoder.jp atcoder.jp atcoder.jp atcoder.jp atcoder.jp https://atcoder.jp/contests/typical90/tasks/typical90_bcatcoder.jp atcoder.jp メモ：一見なのかよといらつく問題だが、より難しい問題で合同算術の積の衝突可能性について慣れていると、そういう意図であろうという見通しが立ちやすい https://a…

Kotlinを勉強していて、気になったことのメモ 今回はwhen文の使い方について 最新のJavaではできるようになったこともあるが、ちょっと前の Java を触っていた身からすると、すごく柔軟に感じた when文 式として使い、戻り値を返すことができる val x = 2 val result = when (x) { 1 -> "One" 2 -> "Two" 3 -> "Three" else -> "Unknown" } println(result) // "Two" と出力 条件式でチェックすることができる val x = 15 when { x % 2 == 0 -> print…

最近は無をやっております。本当に特に制作などはやってないです。 色々やりたいことは思いつくんだけどいまいち決め手に欠けるみたいな感じです。 なのでやりたいことをメモしておこうと思いました。 なんでもつくれるやつ 前からずっと言っているやつですが、ひたすら継続して資料…というか「こういうことできたらいいな」を貯めています。 貯めているだけで構造化されてないので、現実性みたいなものは一切ないですが。 根底となるベースの体系をどう組むかが永遠に決まらないので何も進みませんね。 小さく作っていくしかないかなあとは思っていて、その時 Sessions に出すつもりがあったので、それ用のツールとして作るこ…

30週：2024/7/22(月)〜2024/7/28(日)のことを書きます。 [つくりおき] [やったこと] [読書] [ソフトウェア開発] [まとめ]

本日読了（初版）。 ［増補改訂］関数プログラミング実践入門 ──簡潔で、正しいコードを書くために WEB+DB PRESS plus 作者:大川徳之 技術評論社 Amazon 少しずつ覚える。 依存型。値域（値そのものの範囲、リスト長さなど）に制限がある型。これがあると、実行時例外をかなりコンパイル時に検出できて便利。Haskellではサポートされていない。 型クラス。ある型が何からの性質を持つことを示すインタフェース。Rustのトレイト境界のようなもの？ モナド。文脈を伴う計算同士を組合せ可能にするしくみ。文脈=副作用と考えると、純粋性を保ちながら副作用を扱うことができる。

Androidでsshの他に色々と試したかったのでTermuxにprootのUbuntuを入れたときのメモ。 1. Termuxの入手とUbuntuのインストール メインの流れはここ（【簡易版：Androidのブラウザで実現するpython環境】機械学習(pytorch, scikit-learn)や実用的なプログラミング(jupyterlab, pandas, matplotlib, strearmlit)の環境構築について）を参考にした。 1.1. F-DroidからTermuxを入手 F-Droid版のTermuxを入手。このときのTermuxはバージョン0.118.0(118)。 1.…