関数型言語

ガベージコレクション 多くの関数型言語ではリストが基本的なデータ構造となる。純粋な関数型言語では再束縛が不可となるので、forループで配列を扱うことはできず、リストを使って再帰関数で処理するのが基本となる。リストが関数の引数や返り値となるため、計算量的な事情からリストを指すポインタのみをやり取りする。関数内で宣言されたリストも返り値となるのでスタック領域ではなくヒープ領域に確保することになる。 ガベージコレクションはLISPが発表された1960年の論文Recursive Functions of Symbolic Expressions and Their Computation by Mac…

しばらく個人的に忙しい時期が続いたが，一時的に余裕が生まれたので以前から気になっていた Haskell を少し勉強した． Lisp や OCaml で関数型言語の経験はあったが，型クラスやモナドといった単語になんとなく興味があり Haskell に至った． Haskell入門 関数型プログラミング言語の基礎と実践 すごいHaskellたのしく学ぼう! (通称 "すごいH本") の2冊を中心に読んだ． 最初に"Haskell入門 関数型プログラミング言語の基礎と実践"のほうをあまり手を動かさずにざっと読み，後から"すごいH本"をコードを実行しながら読んだ． (読んだ後から思えば，本の内容などから…

近年、ハードの発展に伴って関数型言語の名前をよく聞くようになりました。 当時、何も知らなかった自分は「バグが出ないコードが書ける」という噂を聞きつけて、elixirというプログラミング言語に出会いました。その後、Haskellの学習を通じて関数型言語といわれる言語がどのような特徴を備えているのかを身をもって体験しました。 しかし「関数型言語はどんな言語なのか」という問いに対して、WEB上では様々な見解が見られます。 当初、何も知らなかった自分には判断が難しく非常に混乱させられました。 関数型言語では... map・filter・reduceを使った実装が関数型言語のプログラミングスタイルだ 値…

初めに こちらは Java 二年目の自分が実務であまり使用したことのないラムダを理解するためにまとめた記事です。対象の読者は以下の様な方を想定しています。 Java 二年目付近の人 ラムダが何をしているのかわからない人 ラムダを用いることのメリットがわからない人 ※本記事では Stream / Optional は扱いません。 ラムダは関数型言語の考え方であること。それを取り入れて匿名クラスの記述を簡略化したもの。そもそも匿名クラスの目的はなんなのか。などを順番に書いていきます。 初めに 1. ラムダとは 2. インナークラスと匿名クラス 2-1. インナークラス 2-2. 匿名クラスとラムダ…

Coconut とは functional-style で書きやすいように Python を拡張した言語で， Python にコンパイルされます． 特に関数型言語を書いた後で， Python でコードを書くとき綺麗に書けないなぁと思うことが多く， awsome-python を眺めていたときに気になった Coconut に触れてみました． Python で感じる壁 Python で functional-style で書こうとしたときに，個人的には以下のような壁をよく感じます． 無名関数が使いづらい 使いづらい，というと語弊があるかもしれません． Python では以下のように無名関数を定義で…

春和の候！若手エンジニアふんわりLT Night！に参加してきましたので、その記録です。 wakate-funwari-study.connpass.com 概要 connpassより引用 このイベントは、新卒1〜3年目ぐらいまでの若手エンジニア同士の交流を主目的としています。 前半はテーマフリーのLT（ライトニングトーク）会、後半は参加者同士が交流ができる懇親会を開催します！ LT会と懇親会を通して、エンジニア同士の横の繋がりを作りましょう！ 一人で参加する予定で、うまく溶け込めるか不安だったのですが、和気藹々とした雰囲気ですぐに打ち解けることができ、いろんなお話をすることができました！ ま…

ふと、「再帰」のことが気になり、ChatGPTにいろいろ聞いていたところ、KotlinのWebサーバーフレームワークKtorの使い方の話に行き着きました。 Kotlinでコードを書く際は特に関数型プログラミングの知識が必須というわけではないのですが、徹底しようと思えば相当純度の高い関数型プログラミングが出来るようになっています。 Ktorというライブラリなどはその一例かも。 特に今、差し迫った必要があるわけではないのですが、少し興味があります。 プログラミングにおいて、再帰という手法が重要な理由を教えてください。コード例はRubyでお願いします。 関数型プログラミングの書籍に再帰の説明が多く記…

先日AY2024-Term3を終えて卒業要件単位数を満たすことができました。今はまだ卒業申請中なので「仮」としている。ディプロマを手にするまでは実感が湧かなそうだけれど日に日に記憶が薄れていくので振り返りを。 清々しい気分で見物した今年の牡丹 目次 CS 2204 Communications and Networking CS 2301 Operating Systems 1 CS 3307 Operating Systems 2 CS 4402 Comparative Programming Languages CS 4407 Data Mining and Machine Learnin…

記事一覧 Haskellのモナドいろいろ (1) - 滴了庵日録 Haskellのモナドいろいろ (2) - 滴了庵日録 Haskellのモナドいろいろ (3) - 滴了庵日録 Haskellのモナドいろいろ (4) - 滴了庵日録 分類 上記の記事で述べた8つのモナドは、2種類に分類できる。 失敗系：List, Maybe, Either 状態系：IO, ST, State, Reader, Writer モナドには他にも種類があるが、まずはこの2種類を押さえておく。 失敗系 (List, Maybe, Either) 失敗系モナドは、本来期待されるデータ型以外に、値が無い(失敗)という値が…

私が Lean 言語の名前を知って勉強し始めたのは去年の8月くらいなので，勉強を始めて8カ月程度が経過したことになります．全然きりはよくないですが，振り返り記事を書こうと思います． その間に私が達成できたことは，こんな感じです： タクティク逆引きリスト Lean と Mathlib にあるタクティク（定理証明を行うためのツール）が一覧できる資料を作りました．https://lean-ja.github.io/tactic-cheatsheet/ これは現在も開発中ですが，既にレファレンスとして十分な数のタクティクとコマンドを紹介できているかと思います．今後も Lean のアップデートは続くので…

第３回です。これまでもマニアックな質問が多かったかもしれませんが、ここからは更に多くなっていきます。 SubscribeとAwait（内部スタッフの好みはどっち？） https://forums.unrealengine.com/t/ask-epic-verse-march-28-10-00-am-et/1765393/96?u=t.tutiya Ｑ：SubscribeとAwaitのどちらを使うべきでしょうか？これらはどういう時に使うのが良いですか？また、Subscribeを通して他のパラメータを効率的に渡すためのサポートはあるのでしょうか？ Ａ：私自身は、強力な構造化された並行性の展開機能を…

CTO 藤村がホストするPodcast、論より動くもの.fmの第28回を公開しました。今回は STORES のエンジニア yubrotと言語の副作用や第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）の感想について話しました。 論より動くもの.fmはSpotifyとApple Podcastで配信しています。フォローしていただくと、新エピソード公開時には自動で配信されますので、ぜひフォローしてください。 podcasters.spotify.com テキストで読みたい方は下記からご覧ください。 副作用はあった方がいいのか、ない方がいいのか 藤村：こんにちは、論より…

ゆるコンピューターラジオを聴いていて(40時間Lispを勉強したら信者になれる？)、Lisp面白そうだなと思ったものの、違う言語を今からやる気力は無いので、僕がよく使っているRubyとの比較でいろいろ聞いてみました。 面白そう・・。 かなり前に勉強してみた関数型言語の特徴もLispくらいコードとデータの区別のないコードを常用することを念頭におけば自然な制約かもしれない・・と、少しだけ思いました。 ちなみに、もう少し複雑な例として挙げてもらったLispLikeクラスの例は、Rubyの標準クラスの標準的な振る舞いで同じことができるので、特にLispの強みを示す例としては適切でないかもしれませんが、…

ChatGPTに入力してみることの続きです。今のところ自分でプログラムを書くぐらいの入力をしてもプログラムをちゃんと書いてくれないし、自分で証明を書くぐらいの入力をしても証明をちゃんと書いてくれないという状況です。今はやり方が書かれた本がいろいろ出ているのでできるようになっているかと思いましたが、今のところこのようなやり方が書かれた本は見つかりません。しかしいずれはそのようなことが書かれた本も出るのではないかと思います。それまではこのブログも意味があるので、それはそれで良いです。自分が何かを考えるときのヒントにはなるので、ここではその方針でやっていきます。関数型言語について質問するよりもラムダ…

プログラミング言語に関する質問をChatGPTに入力してみることの続きです。変数を変更することができる関数型言語のプログラムを変数を変更することができない関数型言語のプログラムに変換するという問題を考えます。ここで扱う例はクロージャーには関係なくなるかもしれないので、「関数型言語の拡張」は「関数プログラミングのクロージャー」に引き継いだのですけど、復活しました。クロージャーに関連しないことはこちらに書くことにしました。有限の回数で終了するプログラムであれば、変数を変更することができない関数型言語のプログラムに変換することはできると思われるので、有限の回数では終了しないプログラムを考えます。また…

Digitization部 Bill One Entry*1グループの秋山です。 はじめに Domain Modeling Made Functionalというスゴ本 補講：Make Illegal States Unrepresentable バックエンドの処理を抽象化する 手続き型プログラミングの典型例 課題1：制約のないエラーハンドリング 課題2：低い可読性 課題3：エラーハンドリングの低い網羅性 Railway Oriented Programming TypeScriptで型安全にエラーハンドリングする ステップ1：サブ関数の出力はResult型で表現する ステップ2：サブ関数にRe…

プログラミング言語に関する質問をChatGPTに入力してみることにします。この目的は関数型言語に無限に動作するための機能を追加することです。 純粋関数型言語のクロージャーについて教えてください これは思っていた答えと違いました。 純粋関数型言語では変数を書き換えることができないとします これで書き直してくれるかと思ったのですが、書き直してはくれませんでした。 純粋関数型言語のクロージャーについて教えてください これはいい感じになりました。 純粋関数型言語のイテレーターについて教えてください これは正しそうな答えが返ってきました。 純粋関数型言語で、サーバー上で無限の時間にわたって動き続けるプロ…