プログラミング言語の未来はどうなるか | κeenのHappy Hacκing Blog

κeenです。最近JEITAのソフトウェアエンジニアリング技術ワークショップ2020に参加したんですが、そこで五十嵐先生、柴田さん、Matzとパネルティスカッションをしました。その議論が面白かったので個人的に話を広げようと思います。 年末年始休暇に書き始めたんですが体調を崩したりと色々あって執筆に時間がかかってしまいました。 時間を置いて文章を書き足していったので継ぎ接ぎ感のある文体になってるかもしれませんがご容赦下さい。 というのを踏まえて以下をお読み下さい。 いくつか議題があったのですが、ここで拾うのは一番最後の「プログラミング言語の未来はどうなるか」という話題です。 アーカイブが1月末まで残るようです。もうあと数日しかありませんが間に合うかたはご覧下さい。 そのとき各人の回答を要約すると以下でした。 五十嵐先生：DSLを簡単に作れる言語というのが重要。それとプログラム検証、プログラム

[fromdusktildawn]

未来のプログラミング言語はDSLをお手軽に作れることが鍵で、DSLを簡単に作るためにはシンタックスをLISPのS式にするのが最強なのは、半世紀以上前から分かっていたこと。LISPを今風に実装すれば流行るタイミングかも。

[Nihonjin]

「象徴的なのがオブジェクト指向入門 第2版 原則・コンセプト です。 冷静に考えて1000ページ近くもある本で説明しないといけない原則は原則として破綻しています」

[programmablekinoko]

面白い、そしてLISPは偉大と言うことがよく解った/ "関数型側の主張はよく見ると... 「破壊的変更をすると分かりづらいよね」とか「高階関数って便利だよね」くらいのことしか言ってないことが多々あります。" わかる

[hatebu_ai]

「こういう実装したいんだよね」→「コーディングの候補が出る」→「選ぶ」→「コードに組込んだ状態の確認が出る」→「修正or承認」これの繰り返しで喉が枯れるようになるため、キーボードでAIと会話するようになる

[kamocyc]

“ async/awaitがよく採用されますが、高階関数との親和性がよくないので個人的には微妙だなって思ってます。” そうなのか。気になる

[rti7743]

ライブラリが強い言語じゃないの？ ライブラリが他の言語から簡単に使えるようになればいいね。MSのCOMはその思想だったけどあまりに複雑すぎた。一方DLL,soは原始的すぎる。もうちょい簡単にできるシステムがほしい。

[raimon49]

obj.method()形式のオブジェクト指向っぽいメソッド呼び出しはIDEなどが補完するタイミングを読み取るのに優しいから生き残るっていう考察がとても面白くて腹落ちした。

[roirrawedoc]

さすがκeenさんや

[ema_hiro]

Typescript が普及した考察が面白かった。

[daichirata]

とりあえず久しぶりにOn LispとLOL読むかという気持ちになった

[tasshi820]

おもしろかった。出てきた技術全部とは言わないけどキャッチアップしていきたい。

[kamatama_41]

興味深い

[yosuke_furukawa]

読んでしまった。例外のところもマルチスレッドのところも面白かった

[t-wada]

比較的長いけれど非常に面白く一気に読んでしまった

[burabura117]

言ってることが15年前から変わってないな…。

[mizdra]

良い

[puhitaku]

「オブジェクト指向は残るんじゃないかな」の節が完全にその通りって感じ

[YaSuYuKi]

30年前の段階でも、Lispからどうわかりやすい形で機能や概念を導入するか、という話をしていた気がする。30年経ってもまだLispの遺産が山積みなのか(逆に言うとLispが難しすぎてきついのか)

[quick_past]

なんかGCに頼り切ってた時代から一周回った感ある。Web系の人のオブジェクト指向への殺意の高さは、相変わらず理解できない。ちなみにswiftのエラー処理->https://is.gd/MpR6ua

[zu2]

良記事　/ 昔ならbit誌にありそうな記事だ

[kikunantoka]

面白い

[knok]

LSPのおかげで単なるプログラミングにはちょっと持て余し気味な計算リソースをかなり活用できるようになってきた感ある

[nerikara4chimi]

ソフトウェアを検査する手法として定理証明ってアプローチがあるのか

[yumu19]

ふむ。論点が多彩で面白い。

[kakku22]

これは深い．観点も幅広い．全部理解できてないからあとでもう1度読む📝

[kndkndknd]

読み物

[ku-kai27]

メタい話好き。

[ms2sato]

ブコメは偏ってて一部誇張して切り出してるのが誤解させるけど、本文は視野広く中立な見立てに見えた。コード書く脇でDB準備含めた自動テストが勝手に出来上がって、変数名や扱うデータ決めたら完成して欲しい。

[motchang]

アドホックな照明系が入った処理系おもしろそうだなぁ

[tumo300-500]

話題がモリモリで面白い

[ohbarye]

[language[type]

[tkrd]

”クラスと継承だけがオブジェクト指向という訳ではないですし、それさえやめてしまえば別に問題ない” 身も蓋もない。

[kappaseijin]

こういうとっちらかった話し好き

[muuuminsan]

“Matz：いかに自分のやりたいことを簡潔にコンピュータに伝えられるかに興味がある。また、IDEとのインタラクションによってコーディング体験を向上させるような言語設計も重要。”

[arc_at_dmz]

そこで #sigpx ですよ、というほど簡単ではないけれど。2017年の講演でdon't be afraid to be domain-specificという話をしました。

[uehaj]

一番DSLらしさと宣言的であることを突き詰め、その利点を引き出そうとするとそれはローコードプラットフォームになる。という意見。mendixとか触ってみよう。

[nilab]

「JEITAのソフトウェアエンジニアリング技術ワークショップ2020に参加したんですが、そこで五十嵐先生、柴田さん、Matzとパネルティスカッションをしました。その議論が面白かったので個人的に話を広げようと思います」

[leiqunni]

プログラミング言語とは何か？「一貫性の有る制限」だろう。Lispは式とリストだけ。全部オブジェクトに還元。最近だとラムダ式。ジェネリックは直行性。言語と実行環境が分かれて欲しい。.NETは良い。