非純粋関数型言語の純粋関数と純粋関数型言語メモ(正しさハラスメントとカモ)
-
- いいね！0
堀内紀彰
@aki_horiuchi
@cubbit2 加害の意思を持たれるのは自由ですが、「思う存分なじれる」などと公言するのはやめてください。 pic.twitter.com/b6m3ggtWvM
2021-12-06 15:04:25
拡大
↑後日判明、揚げ足取って正しさハラスメントをする事が目的で、生産的な議論をする気はなかったようです。
こちらの重要な指摘や質問を無視したり、強引に話の流れを変えたりして、自分が間違いなく正しい分野だけで戦いたかったようです。
えいる
@eielh
純粋関数はとても良い。Immutableはデータ構造なので、純粋関数を保てるのであればこだわりすぎる必要はない気もする。(なぜ、純粋関数がよいのかはここでは言及しない
2021-12-02 13:08:08
Cubbit
@cubbit2
関数型プログラミングは決して純粋関数型プログラミング言語だけのものではありませんが、自動的に純粋性が保証される純粋関数型言語と、確かめる方法はないけど頑張れば純粋性を満たせるかもしれないねという言語では、使い勝手が段違い！ 頑張らない人にこそ、純粋関数型な言語がお勧めです！ twitter.com/j5ik2o/status/…
2021-12-03 01:26:48
加藤潤一(かとじゅん)
@j5ik2o
純粋関数型言語を使ってないけど、ドメインモジュールだけは純粋関数的に設計するようにしている。効能はこの記事に書いたとおり。 zenn.dev/j5ik2o/article…
2021-12-01 09:19:06
SEAHAl
@seahalcom
もちろん、Scala や Elixir をやれるという時点で頭が良いのは事実だろうがね。まぁ、それすら元ネタは Pragmatic Bookshelf のオシ言語だからだろうけどさ。かっちゃんが Swift や React を予見できてないで、Ruby と関数型言語をプッシュしたりするのは、その辺が原因やろうな。
2021-12-03 05:24:24
ぶっかん
@bukkan817
非純粋関数型言語でもLintみたいなものです純粋関数型として記述できてるかチェックできるみたいなツールないのかな？ 特定ディレクトリ配下だけにチェック入れられるのが良い気がする。 twitter.com/cubbit2/status…
2021-12-03 05:46:17
加藤潤一(かとじゅん)
@j5ik2o
以前のuntypedはそうではなかったけど、akka-typedのアクターは非純粋で可変な状態を扱うけど、アクターの振るまい自体は純粋関数的に記述できる。このおかげでテストしやすくなったというのはあると思う。
2021-12-03 09:57:15
きりみんちゃん🐦
@kirimin_chan
関数型言語的な思想だとそもそもmutableなArrayを使用すること自体が非推奨だからわざわざそこに注力しないか
2021-12-03 20:35:55
えいる
@eielh
A => B という型の関数があるとして、AもしくはBが関数になれるのが高階関数で、A => B のようなカインドの型コンストラクタがあるとしてAもしくはBが型コンストラクタになれるのが高階カインドなんやなを(たぶん
2021-12-03 22:44:43
Cubbit
@cubbit2
きょうはプロジェクト終盤の締めでお客さんに会いに行ったら、それ最初に言ってくれよ！みたいな要求が突然出てきました でも私はそんなことでは動じませんし、ただそれを実装してお客さんのビジネスをお助けするだけです 要件定義に終わりなどはないさ 今日の夕飯に食べたいものを訊くのと同じです
2021-12-04 00:13:50
Cubbit
@cubbit2
関数の純粋性の大切さを強調したり関数型プログラミングの有用性を声高に説くわりに、純粋関数型言語を使うのだけは頑なに拒む人たち、なぜなのか
2021-12-04 01:44:48
James Akira Richie
@J_G_Arouser
高階関数と言ってるんだ 引数や返り値に関数なんてのは大昔からやってることだけど、いつごろからこういう呼び方になったのかにゃ？
2021-12-04 03:58:22
r.ishibashi
@cactaceae
@cubbit2 純粋関数は単純で調べれば簡単に小学生でも定義が分かり理解できます。 純粋関数型言語は純粋（関数型言語化）のように純粋が関数型言語にかかってます。そしてそれを調べると、、、
2021-12-04 08:19:06
はたの☆☆☆☆☆☆☆Mind-1Nippon
@hatano
みんなアレコレ言ってるけど40年前はPASCALにはfunctionとprocedureがあるけどCには関数しかないから関数型言語っていうのが通説やったんやで #関数型言語 #とは
2021-12-04 09:03:51
くちた える
@kuchita_el
自分が学ぶ時は純粋関数型言語を使えばいいと思うけど、そうじゃない時は言語が変わるだけで抵抗されるから、純粋関数型言語で紹介しづらいなぁ。 twitter.com/cubbit2/status…
2021-12-04 09:06:58
r.ishibashi
@cactaceae
そういえばIdrisはwikipediaには純粋関数型プログラミング言語って書いてあるけど公式ページには書いてないな
2021-12-04 09:32:56
r.ishibashi
@cactaceae
Scalaにもゲーム開発環境が欲しい！ twitter.com/koher/status/1…
2021-12-04 09:38:13
koher
@koher
少なくとも僕にとっては、経験のあるSceneKit+Swiftでゲーム開発するよりも、未経験のRoblox+Luaで勉強しながら作った方が100倍くらい簡単。SceneKit流行らない理由がよくわかって悲しい。Unityもこんな感じなんだろうなぁ。 twitter.com/koher/status/1…
2021-12-03 10:08:43
r.ishibashi
@cactaceae
@exoego これもしかしてGather.townのエンジン？ よさそうだけど、MinecraftやRobloxには勝てない＞＜
2021-12-04 09:51:19
r.ishibashi
@cactaceae
冷静に考えるとゲームエンジンは明らかにRustに向いてる。でもカジュアルにゲームを作りたいユーザーにはGCがあった方が良いからそこにSDKを用意してミスマッチを解消する方向に向かった方が良いかも。(scala-nativeがRustより良くなる可能性は無いとみなす)
2021-12-04 10:29:19