関数型プログラミング言語Haskell Part32

**デフォルトの名無しさん** · 2019/01/29(火) 09:05:47.90

関数型プログラミング言語 Haskell について語るスレです。

haskell.org (公式サイト)
https://www.haskell.org/
日本Haskellユーザーグループ
https://haskell.jp/

前スレ
関数型プログラミング言語Haskell Part31
https://mevius.5ch.net/test/read.cgi/tech/1506447188/

**デフォルトの名無しさん** · 2019/10/31(木) 19:47:56.88

モナドの話すると怒る人が一定数いるのに
最適化の話は難解でもすんなり受け入れられるのなんでだろう

**デフォルトの名無しさん** · 2019/10/31(木) 19:53:32.58

>>653
モナドとか関係なくあまりに馬鹿っぽいレスが怒られるだけ
例えば>>653もそう

**デフォルトの名無しさん** · 2019/10/31(木) 20:01:53.96

年寄りが自分の理解できないことをしゃべるなって
いっているだけでしょ。最適化はなんだかんだいっ
て実践もしくはなんとか理解できる範疇とかでは。

**デフォルトの名無しさん** · 2019/10/31(木) 20:08:46.83

例えば「馬鹿っぽい」の定義はモナドの定義よりもずっと複雑なんだよ
そのわりに「馬鹿っぽい」は難解すぎるという認識はほとんどない

**デフォルトの名無しさん** · 2019/10/31(木) 21:33:19.89

Haskellや圏論のモナドってライプニッツ由来？ギリシャ哲学由来？

**デフォルトの名無しさん** · 2019/10/31(木) 22:15:10.01

モナドの場合、「俺の理解は正しくて、お前の理解は間違ってる」てな話になりがちだから。

**デフォルトの名無しさん** · 2019/11/02(土) 11:54:49.10

>>622
お返事おくれて申し訳ありません。
時間作って是非挑戦みたいと思います。
ありがとうございました。

**デフォルトの名無しさん** · 2019/11/02(土) 21:23:26.95

【ぼくようメモ】

Haskellはマルチディスパッチをネイティブサポートしているので、
デザインパターンの一つ、Visitorパターンを気づかない内に使っている。

**デフォルトの名無しさん** · 2019/11/02(土) 22:57:22.40

Haskellを勉強するとどんなメリットが有りますか？

① Haskellを使って仕事する開発プロジェクトなんてものは世の中に有るのですか？
② ①が無いなら開発プロジェクトが無くても仕事の効率化などで、役立てる方法は有るのですか？
③ ②も無いなら、勉強して得た知識を日々のJava等の開発プロジェクトで役立てる方法は有るのですか？

**デフォルトの名無しさん** · 2019/11/02(土) 23:45:55.62

3かな。
コード書く際に
入出力部分と、ディターミニスティックな部分を選り分けるような書き方するようになった。

**デフォルトの名無しさん** · 2019/11/03(日) 00:23:07.97

>>661
世界に目を向ければ、Reddit でよく求人されてる

**デフォルトの名無しさん** · 2019/11/03(日) 07:05:59.77

>>662
>ディターミニスティック
？？
基本遅延評価なので即時評価とのより分？

**デフォルトの名無しさん** · 2019/11/03(日) 07:44:37.10

>>664
ディターミニスティック
決定論的な

IOが絡む非決定論的なコードと、引数と戻り値の関係が決まっている決定論的なコードとを、
しっかり分けて書けるようになったと言いたいのだろう。

要するに、副作用のあるコードと純粋なコードを分けるということだ。

**デフォルトの名無しさん** · 2019/11/03(日) 10:14:27.60

女心と秋の空はデバッグするのが難しいってことだ

**661** · 2019/11/03(日) 12:44:26.49

皆さんありがとうございます。

どうやら、あまり勉強する意味がなさそうに感じました。
なぜみなさんはこの言語をおやりになっているのでしょうか？
趣味でしょうか？

**デフォルトの名無しさん** · 2019/11/03(日) 12:48:35.08

まあ勉強する意味はないといえばないかな。
その当時盛り上がったってのが理由だったりするから趣味といえば趣味。
でもまあその言語がどういうところを気にして作られたかってのを
触って実感するってのはプログラム全般で役に立つと俺は思うけどね。

**デフォルトの名無しさん** · 2019/11/03(日) 13:13:12.24

Javaから初めて、Javaしか書いたことが無い人というのは再帰メソッドとして実装した方が良いものも、慣れていないし面倒くさいからという理由で再帰にしたがらない傾向が有ります。
Hakellを勉強した人間なら、そういうことが起こらないという利点が有るといいうことでしょうか？

**デフォルトの名無しさん** · 2019/11/03(日) 14:27:23.33

将棋の居飛車党と振り飛車党みたいなもん

**デフォルトの名無しさん** · 2019/11/03(日) 14:42:14.64

ループより再帰がいつも正しいわけではないでしょ
Javaなんだし
おれが仕事でやってるプロジェクトでは再帰は基本NGだよ

**デフォルトの名無しさん** · 2019/11/03(日) 15:00:10.66

ループと末尾再帰は等価(キリっω

**デフォルトの名無しさん** · 2019/11/03(日) 15:01:32.59

haskell学んでも、stack safeな再帰を書けるようになるわけでもないから、
haskellを学ぶ利点だとは思わない

理由を探さなきゃ学ぶ気になれないものには手を出さなければいいんだよ
CSの世界に限っても死ぬまでに学びきれないだけのネタがあるんだし

**デフォルトの名無しさん** · 2019/11/03(日) 16:32:47.09

『達人プログラマー』でも「毎年1つ新しい言語を学べ」と言っている
まあ凡人にそこまでは厳しくとも
たまに新しいプログラミング・パラダイムに触れることは
プログラマーにとって有益であると思うよ
それは知識として即効性のあるものというよりは(そういうのもあるかもしれないが)
1年2年経って効いてくるタイプのものかなと

**デフォルトの名無しさん** · 2019/11/03(日) 18:49:00.94

>>661
②かな
宣言的プログラミングの作法が身につく

普段Javaを使っているのなら、
最近のJavaは関数型プログラミングのシンタックスがかなり増えてきているので
Haskellで高階関数の使い方を理解しておくと、Javaプログラミングに直接的に役立つ

**デフォルトの名無しさん** · 2019/11/03(日) 19:10:14.85

宣言的プログラミングとは何ですか

**デフォルトの名無しさん** · 2019/11/03(日) 20:02:00.41

横レスだけど、そんなに役に立たないものなのか．．．
入門本買おうか悩んでたのに

**デフォルトの名無しさん** · 2019/11/03(日) 20:22:26.22

>>665
副作用ですか
Cのポインター辺りは副作用上等でトリッキーな事をしつつ記述してあるわけで
副作用と脆弱性に苦しんだ結果、RUST

Haskellの恐ろしい所はプログラムが何らかの高度な数学的アルゴリズムな場合があって
別途資料がないと全く理解できない
あっても以下略

**デフォルトの名無しさん** · 2019/11/03(日) 20:59:17.59

>>670

プロの世界では振り飛車は居飛車より勝ちにくいと言われますが、久保九段や菅井七段のようにそれを使って実践で勝つプロもいます。
アマの世界では振り飛車か居飛車かが直接勝敗に結びつくような高度な戦いができないので好きな方を選べばいいです。

ところが、ビジネスプログラミングの世界ではどうでしょうか？
残念ながら、手続き型プログラミング言語の開発プロジェクトしか存在しません。
関数型は使おうにも使う場所が無いのです。

**デフォルトの名無しさん** · 2019/11/03(日) 21:02:48.17

ないことはない
たとえIT土方業界であっても

**デフォルトの名無しさん** · 2019/11/03(日) 21:12:52.97

>>679
Javaだって宣言型にシフトしつつあるし、
最近のJavaScript(ECMAScript)は基本的に宣言型プログラミングだよ

宣言型プログラミング＝関数型プログラミングではない

**デフォルトの名無しさん** · 2019/11/03(日) 21:23:44.54

宣言型を変にもてはやす記事とかあるけどさ、
あれバグがあるときに凄まじくデバッグしにくいってことはちゃんと知っておいた方がいいぞ。

**デフォルトの名無しさん** · 2019/11/03(日) 21:26:11.59

>>682
それはいくらなんでもド素人すぎるだろう

**デフォルトの名無しさん** · 2019/11/03(日) 21:44:19.05

>>683
多分、君は論理プログラミングとか制約プログラミングについて理解してないんだろう。

**デフォルトの名無しさん** · 2019/11/03(日) 21:49:28.47

>>684
むしろそちらの方が専門に近いのですが、
どういうことか教えていただけますか？

◆QZaw55cn4c · 2019/11/03(日) 21:49:45.89

>>674
＞『達人プログラマー』でも「毎年1つ新しい言語を学べ」と言っている
新しい言語を一年に一つ、とは、これは厳しい縛りですね…

◆QZaw55cn4c · 2019/11/03(日) 21:51:15.76

>>679
＞久保九段
地元の棋士なので光速谷川氏とともに密かに応援してたりします

**デフォルトの名無しさん** · 2019/11/03(日) 21:59:29.92

>>685
横からだけど
凡人にとっては数学的な静的な関係を見つけ出すのはしんどいことが多い
副作用あろうが、ソースコードをステップ実行でトレースできる手続き型の方が
問題解析が楽ってことは往々にしてある

**デフォルトの名無しさん** · 2019/11/03(日) 22:04:59.57

>>686
ジャンプ漫画みたいな台詞すこ

「三つか四つはないと、暇を持て余してしまいます……」的な

**デフォルトの名無しさん** · 2019/11/03(日) 22:44:06.12

モナドって結局、計算効果Tをもたらすプログラム(T-プログラム)は
クライスリ圏をなすからクライスリトリプル(モナド)がT-プログラムの
合成規則として必要だから出てくる

**デフォルトの名無しさん** · 2019/11/03(日) 22:45:11.48

駄目な理系君の典型

**デフォルトの名無しさん** · 2019/11/03(日) 22:56:40.83

>>691
否定しないが結論としてはそうだぞ
モナドを利用したテクニックと登場する理由は違って当然じゃね？

**デフォルトの名無しさん** · 2019/11/03(日) 23:34:12.73

>>681

>Javaだって宣言型にシフトしつつあるし

どのような店を持ってシフトしているとおっしゃっているのか、例を教えていただけると嬉しいです。

**デフォルトの名無しさん** · 2019/11/04(月) 05:48:03.18

モナドの副作用云々は
Scala Monix の並列プログラミングも面白い

**デフォルトの名無しさん** · 2019/11/04(月) 06:29:33.14

>>678
恐ろしさというよりも
Haskellの仕様その他聞くと全く関係ない数学の話をしだす奴ばかりでカンファレンス途中で抜けてきたことがある
数学には全く興味ないんだがね
言っても聞きやしないこいつらとは合わないわと思った

**デフォルトの名無しさん** · 2019/11/04(月) 07:07:21.47

>>695
マジでHaskellは数学者が数学者の為にデザインしたみたいなものなので
ネット上のコードも数学的専門性に全振りしたものが普通にある
そんなのは数学の専門課程と無関係な人間には理解できない

だけど、英文の赤黒木を扱うHaskellのコードは恐ろしくスッキリ短くて
余分なノイズが少ない
全体の把握が楽だった、恐ろしく高密度かも
コメントで書く詳細説明≒Haskellのコード

**デフォルトの名無しさん** · 2019/11/04(月) 12:15:05.55

型の宣言だけならコードの中に埋め込むことはできた
だが数学の知識をすべて宣言するのは無理
だからコードを読みながら数学勉強しようと思ったら、わかることは静的型ばっかりだぞ

そもそも数学は広大過ぎてどこから手をつけるか迷うから静的型から始めるのは合理的

**デフォルトの名無しさん** · 2019/11/04(月) 20:52:45.92

数学の後ろ盾があるとよくわからない安心・万能感を錯覚し
これがよくわからない人を呼び寄せてしまう
この魅力はオカルトめいている
謎多き異性に惹かれてしまうのと似ている

**デフォルトの名無しさん** · 2019/11/04(月) 21:01:45.20

キモすぎてわろた

◆QZaw55cn4c · 2019/11/04(月) 21:05:02.30

>>696
＞赤黒木を扱うHaskellのコードは恐ろしくスッキリ短くて
＞余分なノイズが少ない

赤黒木がそんなに短くなるのですか？！
やっぱり haskell をがんがらなくては

**デフォルトの名無しさん** · 2019/11/04(月) 21:24:51.70

オカルトめいているのは数学でも言語でもない
人間の感情がオカルトめいているのだ

**デフォルトの名無しさん** · 2019/11/04(月) 21:59:28.69

>>700
英語の参考資料(ブラウザで翻訳しつつ
Red-Black Trees in a Functional Setting
ttps://pdfs.semanticscholar.org/7756/16cf29e9c4e6d06e5999116f777e431cafa3.pdf

◆QZaw55cn4c · 2019/11/04(月) 22:04:39.09

>>702
thx a lot !
英語は読めないのですが、想像していなかったくらいに簡潔ですね…

**デフォルトの名無しさん** · 2019/11/05(火) 17:15:35.86

PostgREST は Haskell のキラーコンテンツになれるか

**デフォルトの名無しさん** · 2019/11/05(火) 20:00:05.59

Haskellの代数的データ構造は、速度が低い方に引かれるけど、恐ろしく合理的な手法かも知れない
中身は基本Lispの構文糖衣相当だからLIST処理のコストがそのまま処理速度に反映される

ただ、数学者が数学者の為にデザインした分だけ優れた表現力をもっている

C++で
class TEST {int a, b, c}; が
Haskellでは
Test Int Int Int になって
関数の定義時に
add (Test x y z) =
z + y + z
関数定義で型指定と値を変数名に拘束して計算する

test = Test 1 2 3
add test
なんか凄い気がする

**デフォルトの名無しさん** · 2019/11/05(火) 20:14:52.01

Simon Peyton Jonesもなんかよくわからんけど関数型言語カッケーと思ったからやった
って言ってるくらいだからそういうのでいいんかもなとは思う。

**デフォルトの名無しさん** · 2019/11/05(火) 20:40:52.74

>>705
C++17なら、そこそこそれっぽく書けないか?
struct Test { int a, b, c; };
auto add(Test t) {
auto [x, y, z] = t;
return x + y + z;
}
auto test = Test{ 1, 2, 3 };
add(test);

**デフォルトの名無しさん** · 2019/11/05(火) 20:47:05.49

おっと、型定義はこっちのほうがそれっぽいか
#include <tuple>
using Test = std::tuple<int, int, int>;

**デフォルトの名無しさん** · 2019/11/05(火) 20:58:36.52

ええやん

**デフォルトの名無しさん** · 2019/11/05(火) 21:21:54.18

C言語のswitchとenumが貧弱だったせいでコールバック地獄が始まったわけだが
コールバックの一部を、代数的データ型の場合分けで代替できる

数学者のためのデザインとの指摘はあたらない

**デフォルトの名無しさん** · 2019/11/06(水) 01:26:55.45

>>707
同意します
C++の出力コードが速い事も

ただ、アルゴリズムとデータ構造を表現する時Haskellのコードがスッキリしてる
Haskellで組んだOSの例も

**デフォルトの名無しさん** · 2019/11/06(水) 11:05:04.05

haskellで組んだos詳細きぼん

**デフォルトの名無しさん** · 2019/11/06(水) 18:02:57.62

HaskellでOSを作るプロジェクトがある
Haskellそのものがガベージコレクションが必要なLispの構文糖衣的性格があるので
通常のOSはGCを利用するではなく、必要であればGC的メモリー管理もしますな立場

Haskellのそこら辺の拡張を無理やり行ってとりあえず動いてますと言う体裁だそうです
LispでOSを作ればシステムの軽さ速度に制限が起きることと同じです

一応これ
Haskell OS
ttp://programatica.cs.pdx.edu/House/
見解の元ネタに近いもの
Can a operating system be made completely in Haskell?
ttps://www.quora.com/Can-a-operating-system-be-made-completely-in-Haskell

**デフォルトの名無しさん** · 2019/11/06(水) 18:52:46.75

そういえば随分以前にLISP専用プロセッサを開発したっていう
大学があったなぁ。

**デフォルトの名無しさん** · 2019/11/06(水) 19:42:19.17

30年くらい前
京大だかなんだか

**デフォルトの名無しさん** · 2019/11/06(水) 19:49:43.93

その成果は同じく遅延評価があるTCLに結実したんですか。

三十年たっていると若者の人生相談にのってあげたりしないといけないですね

**デフォルトの名無しさん** · 2019/11/06(水) 22:09:20.32

Haskellは世界を救うってセミナーで言ってたけど。

**デフォルトの名無しさん** · 2019/11/06(水) 22:15:29.42

救われちゃったら、ハスケルハックしときゃいいのか

**デフォルトの名無しさん** · 2019/11/06(水) 22:17:29.04

みずほのシステム移行にHaskellが採用されていたなら半年で完了できていたって言ってたよ。

**デフォルトの名無しさん** · 2019/11/06(水) 22:17:52.37

コンパイルを通ればバグがないことを保障されるし。

**デフォルトの名無しさん** · 2019/11/06(水) 22:36:34.34

>>719
その手の話よく聞くけど

なんで、こうも関数型は人気ないん？
F#も人気上は微妙だし

**デフォルトの名無しさん** · 2019/11/06(水) 22:41:32.49

セミナーでは数学の素養が足りないからだって言ってたけど、僕はもう手遅れなので、次世代に期待してます。

**デフォルトの名無しさん** · 2019/11/06(水) 23:00:13.47

数学自体は結構勉強したけど　圏論のよさはよくわかんね
ある意味数学の分野で一番かもしれない、圏論のよさが分からんのは
次はホモロジー代数かな

代数幾何は一番時間食ったけど、理解できていないので除外するけど

**デフォルトの名無しさん** · 2019/11/06(水) 23:27:03.30

>>720
さすがにそれは言い過ぎ
単にコンパイラを通せただけだ

**デフォルトの名無しさん** · 2019/11/07(木) 00:27:07.92

パタンマッチの要素不足やらリストの範囲外参照やら
STMの糞詰まりやらいろいろ実行時エラーの要素は
あるよね

**デフォルトの名無しさん** · 2019/11/07(木) 00:49:38.56

まあ少なくとも、意図した型じゃないのに実行できる上、そのまま実行時に死ぬことすらしない言語よりはよっぽどマシ
(ちょうど今、某動的型付言語でハマってキレてた)

**デフォルトの名無しさん** · 2019/11/07(木) 00:57:14.10

ｗ

遅くまでお疲れ様ｗ

**デフォルトの名無しさん** · 2019/11/07(木) 04:03:06.11

>>719
COBOLのソースをHaskellで組んだプログラムで解析して
全体の処理、依存関係資料を作成
それを参考にしつつ java他へ移行じゃなかったけ？
詳細はググってください

COBOLのコードはトリッキーな記述はしない素直系だから解析はかどるんちゃう？

**デフォルトの名無しさん** · 2019/11/07(木) 06:10:19.59

>>723
英語読めない人が、英語のよさがわからんというのと同じじゃね
あなたが読めるものに誰かが翻訳してくれるのを待つか、
あなたが読めるようになるか

代数幾何なんて圏論で再構築されているから圏論の言葉がわからないと
どうしようもないけど、ホモロジー代数まで有用さがわからないというのは
代数が向いてないのか、興味が隔たっているのか微妙なところ

**デフォルトの名無しさん** · 2019/11/07(木) 06:36:09.91

>>721
関数型パラダイムの、ユーザ向けの簡単な部分のいいとこどりは各言語でされているし、
人気もあると思う
それを超えて関数型言語に入ろうとすると、面倒くささのほうが勝っちゃうのかも
F#は、実行速度が遅かったのも大きいと思う

**デフォルトの名無しさん** · 2019/11/07(木) 06:48:07.50

F#が遅いって適当なこと言ってんな

**デフォルトの名無しさん** · 2019/11/07(木) 07:46:21.60

RISCとCISCって本当に２方式独立してんのか

圏論って複素解析を婉曲的に表現してんじゃないのか？
アイレンバーグは４元数も研究してたしバーコフ息子は流体力学研究してた

**デフォルトの名無しさん** · 2019/11/07(木) 07:52:29.18

CPUレベルで実は関数型言語に翻訳されてたら
数学的に解析しやすいし高速化も数学的にできるしバグも数学的にとれる
という妄想をするんだが
失敗の歴史をウソと考えると

**デフォルトの名無しさん** · 2019/11/07(木) 09:47:06.79

現行の半導体プロセッサはスイッチングで起きる0と1状態を基本にして組みあがっている関係で
他の技術(量子関係？)が発達しない限り関数的内部表現うんぬんはLISPが誕生した時点で完了してます
テキストベースの文字列を実行可能なコンピュータプログラムに変換する行為は
文字、テキストベースである限りLIPSの構文糖衣と見なせます

**デフォルトの名無しさん** · 2019/11/07(木) 10:11:56.72

>>721
カプセル化の恩恵を受けられないからかと

Haskell含む関数型はは仕組み上データを分離/隔離できないのでロジックに比重を置きすぎてるきらいがある
一般的にはクラスに任せたい、内容を知らなくても扱える構造が欲しいわけで
関数ドリブンではやはり困る

個人的にはCに逆戻りしてる印象すらあるね

**デフォルトの名無しさん** · 2019/11/07(木) 11:12:23.51

ブライアン・カーニハンもf#の中間言語は
解析しやすいCであるべきだってプロジェクト立ち上げれば
関数型といいつ中身は手続き型でデバッガの資産も使い回せるから
人気でるかもよ。

**デフォルトの名無しさん** · 2019/11/07(木) 11:36:14.12

Cに逆戻りしている・・・型安全とガベコレがあるCを作ってしまったのか

**デフォルトの名無しさん** · 2019/11/07(木) 11:51:10.43

>>737
https://mevius.5ch.net/test/read.cgi/tech/1471841975/

**デフォルトの名無しさん** · 2019/11/07(木) 12:41:20.34

モジュールがあるからカプセル化の恩恵は受けられるのでは

**デフォルトの名無しさん** · 2019/11/07(木) 14:23:10.73

>>735
実装詳細の隠蔽にPatternSynonymsが使えるよ
https://haskell-explained.gitlab.io/blog/posts/2019/08/27/pattern-synonyms/index.html

**デフォルトの名無しさん** · 2019/11/07(木) 14:56:51.38

それはオブジェクトじゃないから目的が違うかもね

**デフォルトの名無しさん** · 2019/11/07(木) 15:20:12.79

>>741
でもまさに内容を知らなくても扱える構造だぜ？

**デフォルトの名無しさん** · 2019/11/07(木) 16:02:50.99

カプセル化「継承とポリモーフィズムがやられたようだな・・・」

**デフォルトの名無しさん** · 2019/11/07(木) 16:07:19.92

カプセル化: 抽象データ型、pattern synonym等
継承: クラス継承
ポリモーフィズム: 存在量化によるサブタイピング多相

haskellってストラウストラップの言うOOP言語なのでは

**デフォルトの名無しさん** · 2019/11/07(木) 18:28:48.58

>>729
横からですけど、ホモロジー代数の有用性を教えてくれませんか？
何に使えるんです？

**デフォルトの名無しさん** · 2019/11/07(木) 19:14:04.10

ホモが寄ってくる

**デフォルトの名無しさん** · 2019/11/07(木) 19:41:36.65

>>745
コホモロジー全般を抽象的に取り扱える。

**デフォルトの名無しさん** · 2019/11/07(木) 21:38:48.71

>>745
俺もまだあやふやなんだけどどうも複素解析で積分するとコーシーの積分定理みたいに
純トポロジカルに積分値決まるじゃん
どうもモチベーションはそこらへんで
複素平面だと複素解析の教科書みたいに簡単にいけるけど
複素多様体上で線積分しようとするとややこしいからざっくりややこしいところを
ホモロジー代数って分科したみたい

**デフォルトの名無しさん** · 2019/11/07(木) 21:48:30.40

ポアンカレから来ているし本当に突き詰めるとたぶん複素解析力学の問題解けるんだと思う

**デフォルトの名無しさん** · 2019/11/07(木) 22:17:56.72

>>747
代数幾何の教科書に層とコホモロジーが載ってるけどそのあたりと関係するのかな
>>748
難しそうだね

**デフォルトの名無しさん** · 2019/11/08(金) 02:23:56.93

>>732
> 圏論って複素解析を婉曲的に表現してんじゃないのか？

的外れにも程がある
層sheafは解析接続の考えを多変数複素関数へと拡張する発想で生まれたものだが
圏は複素解析から出てきたものではない

**デフォルトの名無しさん** · 2019/11/08(金) 07:14:54.57

>>720
エアプ乙
空リストにheadしちゃったらあっと言う間やん

**デフォルトの名無しさん** · 2019/11/08(金) 07:33:23.28

>>745
ホモロジー代数の有用性...
代数系の多くの分野の主力ツールなので知らないと入門書を終えた後に代数系で先に進めない
くらいには使われています。直接使われていなくてもやってることはホモロジー代数由来の
ことがよくあります

古くは、ホモロジー代数の枠組み(コホモロジーなことが多い)で完全列が見つかると
機械な計算だけでいろいろな結果が出てくるというのが強みでしたけど、その後は
ホモロジー代数の枠組みにはまらないものを一般化したりして新しい枠組みを作って
ホモロジー代数のように扱えるようにしてきて多くの分野が生まれています。
derived categoryやtriangulated categoryもそうですし、環論のquasi-frobenius ring
(入門書にある森田の定理の延長)などもこの線

自分で圏や代数構造をつくるのでなければ圏も代数も知らなくていいと思いますけどね