KotlinがAndroidアプリの開発言語として公式に採用される | スラド IT

2017/05/18 12 users スラド Kotlin OSDN JVM TechCrunch

チェコJetBrainsが開発を主導するオープンソースのプログラミング言語「Kotlin」が、Androidアプリ開発の「第一級言語」になることが発表された（ TechCrunch 、 JetBrainsのブログ ）。 Kotlinは2011年に発表され、2012年にオープンソース化されたプログラミング言語。静的型やJavaとの互換性が特徴で、Java仮想マシン（JVM）上で動作する（ OSDN ... 続きを読む

RubyのTypo Checkerについての考察 - なるせにっき

2017/05/16 25 users Ruby 推論 せにっき 考察 進捗

2017 - 05 - 16 RubyのTypo Checkerについての考察 RubyKaigi 2014の基調講演でまつもとさんが静的型の野望を明かして から2年半が経った。 その間の進捗は芳しいものとは言えないけれど、それでもまじめな研究として例えば 多相型、推論、Ruby が行われている。普通の人は私のこの記事を読むよりもこちらを読んだ方がよいと思う。 じゃあなぜこの記事を書いたかというと... 続きを読む

[翻訳] Python の静的型、すごい mypy! - Qiita

2016/10/19 306 users Qiita DISCLAIMER item Python 本稿

本稿は 2016年10月13日 (木) に Tim Abbott 氏によって書かれた記事の翻訳です。 Static types in Python, oh my(py)! https://news.ycombinator.com/item?id=12703008 免責事項/Disclaimer 本稿は 非公式 の翻訳記事です (著者の Tim Abbott 氏に翻訳を公開することの確認は取っていま... 続きを読む

なぜ動的型付けの言語が流行ったのか (Re 静的型付けと動的型付けのどちらが優れているかという話) - kazuhoのメモ置き場

2013/03/21 87 users ウェブサービス kazuho パク 納品 プログラミング言語

静的型付けと動的型付けのどっちが優れているか。どのようなプログラムを書いているかによって答えはかわるんじゃないの？たとえば、自社で開発・運用しているウェブサービスなら「問題が出たら修正」すればいいんだし、バグがないことを保証するよりも迅速に開発できるプログラミング言語（つまり動的型付けの言語）がいい。逆に、客先への納品が発生するソフトウェア製品なら「バグがない形で出荷する」ことが重要だから、静的型... 続きを読む

「作者の気持ち」以前に、揚げ足とる相手の最新状況くらい調べろ

2013/03/04 32 users Java 古いJava 古いAPI 揚げ足 元エントリ

タイトルは元エントリを改変させて頂きました。 動的型とか静的型の話の前に「作者の気持ち」を考えろ Java6は公式アップデートの終了した古いJavaです。 その古いAPIのみを対象としてJavaを批判するのはいささかフェアでない様に思われます。 現在最新のstable releaseである所のJava7では必要な部分だけ抜粋すると以下の様に記述出来ます。 Path p = Paths.get("/... 続きを読む

動的型とか静的型の話の前に「作者の気持ち」を考えろ - mizchi log

2013/03/03 258 users mizchi log 作者 気持ち

自分の思考を整理する意味でも、件のアレについて考えたことを書いてみる。 変数に型がないということの利点について考える - サンプルコードによるPerl入門 http://d.hatena.ne.jp/perlcodesample/20130227/1361928810 この件に触れることはプログラマとしての中二病である。恥ずかしい。マジレス乙だ。 でも気づいたら5000文字も書いてしまったし、公開... 続きを読む