タグ

型に関するYassLabのブックマーク (9)

  • 「作りたいものをいかに早く完成させるかが正義」 まつもとゆきひろ氏が語る、ソフトウェア開発におけるベロシティの重要性

    「作りたいものをいかに早く完成させるかが正義」 まつもとゆきひろ氏が語る、ソフトウェア開発におけるベロシティの重要性 #18 動的型付け言語と大規模開発 今回のテーマは「動的型付け言語と大規模開発 まつもとゆきひろ氏:こんにちは。まつもとゆきひろです。Matzチャンネル、18回目になりますね。今日は前回の続きで、「動的型付け言語と大規模開発」について話そうと思います。 当は前回放送リリースした次の日ぐらいに放送できるようにと思っていたんですけど、意外と忙しくてですね(笑)。 今度、フィンランドのヘルシンキで、「Euruko」というカンファレンスが開かれるんですけれども、まだ物理で海外旅行する気にならないので、キーノートを録画しましょうという話になって、そのキーノートの準備をして、スライドを書いて、英語の講演を録画するみたいな作業をしていたら、あっという間に時間が経ってしまって、「Voic

    「作りたいものをいかに早く完成させるかが正義」 まつもとゆきひろ氏が語る、ソフトウェア開発におけるベロシティの重要性
    YassLab
    YassLab 2024/04/19
    "Rubyが対象にするプログラミングの範囲内では、型宣言のないプログラミング、かつ、静的型のbenefitをツールとかの支援によって実現 / どんな言語を使うかよりも、velocityを達成することそのもののほうが重要だと私は思う"
  • フルタイムRubyコミッター・松本宗太郎を採用 開発生産性やコード品質向上に取り組み、Ruby自体の改善にも寄与|ニュース|株式会社タイミー(Timee,Inc.)

    フルタイムRubyコミッター・松宗太郎を採用 開発生産性やコード品質向上に取り組み、Ruby自体の改善にも寄与 #経営情報 スキマバイトサービス「タイミー」を提供する株式会社タイミー(所在地:東京都港区、代表取締役:小川 嶺)は、開発生産性やコード品質の向上を目的とし、松宗太郎をフルタイムRubyコミッターとして採用したことをお知らせします。 「『はたらく』を通じて人生の可能性を広げるインフラをつくる」というミッションの実現に向け、開発における生産性やコード品質向上に取り組み、さらなる事業拡大を進めてまいります。 Rubyコミッター:松宗太郎(Soutaro Matsumoto) 【略歴】 Rubyコミッター。大学院でRubyプログラムの型検査の研究に取り組み、修了後はスタートアップでWebアプリケーションの開発に従事。2017年から型検査ツールSteepの開発を始め、2019年から

    フルタイムRubyコミッター・松本宗太郎を採用 開発生産性やコード品質向上に取り組み、Ruby自体の改善にも寄与|ニュース|株式会社タイミー(Timee,Inc.)
    YassLab
    YassLab 2024/04/18
    “「Rubyでも型検査が出来ればいいのに」と学生のときに思いつき、中断を挟みながらも20年 / RBSは、Rubyプログラムの型情報を記述するもので、AWS SDKやSelenium、Prismなどの、広く利用されているRubyライブラリでも採用”
  • 「自分の未来予測を信じてちょっと意地を張ってみる」 まつもとゆきひろ氏がRubyに型宣言を入れない理由

    「自分の未来予測を信じてちょっと意地を張ってみる」 まつもとゆきひろ氏がRubyに型宣言を入れない理由 #17 動的型付け言語と大規模開発 テーマは「動的型付け言語と大規模開発」 まつもとゆきひろ氏:まつもとゆきひろです。Matzチャンネル17回目ということでお送りします。ちょっと前になりますが9月28日に私が技術顧問を始めたクラウドサーカスという会社さんがテックイベントを開催されて、その時のテーマが「動的型付け言語と大規模開発」というテーマでした。 その時に話したこととか、話そうとしたこと、話そうと思っていたんだけど時間の関係で話せなかったことなどを補足する意味も含めて今日はちょっと放送しようかと思います。というか、分量が多いので2回に分けて話そうかなと思っています。 このクラウドサーカスのイベントのテーマは別に私から指定したわけではなくて、先方が「こんなテーマで話したいんだ」とか「聞き

    「自分の未来予測を信じてちょっと意地を張ってみる」 まつもとゆきひろ氏がRubyに型宣言を入れない理由
    YassLab
    YassLab 2024/04/06
    "10年後、あるいは15年後、20年後に、型宣言がない言語が流行る可能性は高いんじゃないかなと思う / その時に今のRubyに型宣言を入れちゃうと、その時の新しい言語の仲間にRubyを入れてもらえないみたいなことが起きる"
  • aws-sdk-ruby配下すべてのgemにRBSが含まれた状態でリリースされました - スペクトラム

    みなさまに、RBSに関する重要なニュースを発表できることを嬉しく思います。 私の目標の一つにはRBSを当たり前の世界にするというものがあります。 この目標に対して大きなインパクトを残せたことに大変興奮しています。*1 aws-sdk-ruby配下すべてのgemにRBSが含まれた状態でリリースされました こちらは公式blogからのアナウンスです。 aws.amazon.com aws-sdk-rubyrubygemsでの累計ダウンロードランキング2位に乗るほどの人気gemです。(aws-sdk-core) aws-sdk-rubyは現状370以上のgemのあつまりです。 このすべてのgemにRBSが含まれた状態でリリースされました。 そうです。すべてです。 rbs v3.4.0以上でご利用いただけます。 steep + vscodeの例。etagがStringであることがわかる え、なにが

    aws-sdk-ruby配下すべてのgemにRBSが含まれた状態でリリースされました - スペクトラム
    YassLab
    YassLab 2024/02/01
    “なんでそんなに詳しいの? 私が実装を担当しました。何かおかしかったら直すので教えてください。”
  • 巨大なタスクに圧倒されそうな時は“分割統治”で征服せよ ゴールまで走り続けるために有効な考え方

    大きな問題も分割すればなんとかなる まつもとゆきひろ氏:次のことわざにいきましょうね。4番目は、これもことわざじゃないと言われちゃうんですが、「分割統治」という言葉です。英語だと「Divide and Conquer」。「分割して征服せよ」という感じです。大きな問題もね、分割すればなんとかなるというやつですね。 (スライドを示して)これは最近見た漫画です。巨大なタスクが存在して、圧倒されそうな気持ちになった時には、タスクを取り上げて細かく分解すると、細かく分解されたタスクは無視しやすいので、タスクは片づかなくても気分は楽になるという漫画なんですけども(笑)、実際、そういうところもあるんですよね。 非常に巨大なことをしろと言われると大変なんだけど、手に負える範囲に分割して1つ1つ話をしていくと問題を解決できるというのは、どこにおいても応用可能な原則だと思います。 クイックソートは一応現時点で

    巨大なタスクに圧倒されそうな時は“分割統治”で征服せよ ゴールまで走り続けるために有効な考え方
    YassLab
    YassLab 2023/08/17
    “ソフトウェアが必要以上に複雑になっていないか、もっと簡潔に書けるんじゃないか / その複雑さは間違った方向性ではないか / 減らすことによって正しい未来をもたらすのではないかについて、考えるタイミング”
  • https://twitter.com/kenn/status/1665034300679413762

    YassLab
    YassLab 2023/06/04
    "TypeScriptとPythonのコードばかり書いてるけど、やっぱり言語そのものの比較でいうとRubyが一番好み / 型は助かることも多いけどノイズも多い / Copilotを使って書いてるとAIによる型推論が静的解析を超える未来を予感させる"
  • katakata_irb を導入してみた | Webシステム開発/教育ソリューションのタイムインターメディア

    こんにちは、@tk0miya です。RubyKaigi 2023、楽しかったですね。 今回は RubyKaigi 2023 で最も感銘を受けた gem である、katakata_irb を導入してみたので、レポートしてみたいと思います。 katakata_irb とは? これまでも irb には入力補完機能がありましたが、サジェストされるメソッドが不完全であったり、メソッドチェーンの呼び出しで補完が動かないといった問題がありました。 katakata_irb gemRuby の型定義情報を使って irb の補完機能を強化するための gem です。 RubyKaigi 2023 の Power up your REPL life with types – RubyKaigi 2023 というセッションで紹介されました。 katakata_irb gem はその名の通り irb を強化す

    katakata_irb を導入してみた | Webシステム開発/教育ソリューションのタイムインターメディア
    YassLab
    YassLab 2023/05/16
    “自動抽出した型定義ファイルは rbs_rails:all で更新できるため、定期的に (書き換える都度に) 型定義ファイルを再生成することで、入力補完の精度を維持できます。 GitHub Actions などで自動化すると便利そう”
  • RBS meets LLMs - Type inference using LLM

    黒曜 / @kokuyouwind Work at: Leaner Technologies, Inc.

    RBS meets LLMs - Type inference using LLM
    YassLab
    YassLab 2023/05/11
    “With ChatGPT, can we infer the type from the meaning of a word? / ChatGPTを使えば、単語の意味から型を推測できるのでは?”
  • Ruby が YJIT でなんで速くなるのか? Lazy Basic Block Versioning をサクッと理解してみた - estie inside blog

    estie でソフトウェアエンジニアをしている徳永(@yTo_9)です。 estie では Ruby を書いたりTypeScriptを書いたりしています! estie 夏のブログ祭りにかこつけて、せっかくなら普段は追わない部分だけど、気になっていたYJITなるものを深掘りしてみようと思い、「YJITがなぜRailsアプリケーションの高速化を実現できたのか」を調べてみたので紹介したいと思います。 「どうせ難しいんでしょ?」と思いながら調べてみたのですが、講演や論文の説明がわかりやすく、意外に概要を把握することは難しくありませんでした。 YJIT の核となっているのは Lazy Basic Block Versioning (LBBV) という手法で、これはRubyだけに限らず動的言語全般に適用可能な強力なアプローチであることがわかりました。 「あるタイプの条件分岐は、ほとんどの場合で片側しか

    Ruby が YJIT でなんで速くなるのか? Lazy Basic Block Versioning をサクッと理解してみた - estie inside blog
    YassLab
    YassLab 2022/08/16
    “「組み合わせ上は存在するコードバージョンの多くが実行時に殆ど現れない」という現実のコードへの鋭い観察に基づいたシンプルなアプローチ / 動的言語の書き味は変えないまま、型固有の最適化されたコードを生成”
  • 1