Ruby 3 の静的解析ツール TypeProf の使い方 - クックパッド開発者ブログ
こんにちは、フルタイムRubyコミッタとして働いてる遠藤（@mametter）です。昨日、Ruby 3.0.0-preview2がリリースされました！ このリリースには、遠藤が開発している Ruby の静的型解析ツール TypeProf が初めて同梱されています。これの使い方をかんたんにご紹介したいと思います。 デモ TypeProf は、型注釈のない Ruby コードを無理やり型解析するツールです。とりあえずデモ。 # user.rb class User def initialize(name:, age:) @name = name @age = age end attr_reader :name, :age end User.new(name: "John", age: 20) typeprof コマンドは、Ruby 2.7 で gem install typeprof でインスト
Rubyと型についてのポエム - まめめも
zenn.dev matz はじめコミッターの型に対する姿勢にも疑問を持っています。 というご意見が自分に刺さった気がしたので、他の話題はともかくこの点に関してだけ、ポエムを書きます。 「Rubyに型が欲しい」というのは、「もっと速い馬が欲しい」だと思っています。意味を知らない人は ヘンリー・フォード もっと速い馬が欲しい で検索してください。 これは批判でも皮肉でもありません。みんなが馬の乗り方を知っている世界では、誰も乗り方を知らない自動車より、速い馬のほうが確実で合理的です。まして、自動車が本当に実現できるかどうかわからない段階では。なので、他言語で型注釈を書くことによるプログラミング体験が良いと思った人が、それをRubyでも享受したいと思うのは自然だと思います。実際、Steep や Sorbet は Ruby でそういうプログラミング体験を提供することを目指していて、すでにある程度
IOCCC日本語ネタバレ解説
C言語プログラムの独創性で競い合うプログラミングコンテスト、International Obfuscated C Code Contest（IOCCC）の全作品を日本語で紹介することを目指すサイトです。 更新履歴: 2021/12/31: IOCCC 2020の解説を公開しました。 2021/06/12: IOCCC 2019の解説を公開しました。 2021/06/06: IOCCC 2018の解説を公開しました。 2021/05/30: IOCCC 2015の解説を公開しました。 2021/05/23: IOCCC 2014の解説を公開しました。 2021/05/17: IOCCC 2013の解説を公開しました。 2021/05/08: IOCCC 2012の解説を公開しました。 2021/05/01: IOCCC 2011の解説を公開しました。 2021/04/25: IOCCC 20
アニメ「Sonny Boy」の『難解』プログラムの解説 - まめめも
『Sonny Boy』というアニメが放送されています。学校が異次元に漂流してしまい、超能力に目覚めた生徒たちがサバイバルしながら、さまざまな奇妙な現象の裏にあるルールを解き明かし、元の世界に変える方法を探す、というストーリーです。ルールが分かったあとで何度も見直したくなります。 anime.shochiku.co.jp さて今回、『Sonny Boy』に、プログラムを寄稿しました。プログラムでおもしろいCGを作ったとかではなく、プログラムの実行の様子そのものが『Sonny Boy』の5話の中で放送されました。 こういうプログラムです。 nankai.rb このプログラムがどういうものだったかを解説します。 どんなプログラム？ 実行すると、「難解」という文字がほどけてなくなるアニメーションをします。 起動したらまず、プログラム自身が画面に表示されます。 しばらくしたら「難解」が左から右へほど
DXを阻む障害
DXを阻む障害 2021.07.22 Updated by Ryo Shimizu on July 22, 2021, 09:12 am JST いわゆるDX、デジタルトランスフォーメーションする必要性を多くの企業が迫られている。 ところが、これがなかなか難しい。 たとえば、DXをコンサルティング会社に依頼するも、そもそもそのコンサルティング会社そのものがDXしてないので「DXのようなもの」しか提案できない。 とあるコンサルティング会社が顧客先にDXを提案する資料を見せてもらったことがあるが、一言で言えば、それはDXというよりも「OA化」と呼んだ方がいい段階の提案に留まっていた。 たとえば、「AIの活用」という項目では、「FAX書類に書かれた文字の自動読み取り(AI-OCR)」という項目があるだけで、そもそも我々のような生粋のIT企業では、仕事上の文章は全てE-mailやPDFでやり取りさ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
