問題を解決するつもりでキッチリ型を付けた先にある高い壁 - ぼくのぬまち 出張版
null安全おじさんになりかわりそれがしがお見せつかまつる 機械が理解できる複雑な契約の型表現がもたらすものは つまるところこのようなもの ずぶぶ(切った腹から証明オブジェクトを引き摺り出す)— Noriyuki OHKAWA (@notogawa) 2016年11月18日 過ぎたるは猶及ばざるがごとし． 最近null安全？だかの話のからみで，(静的な)型で契約云々を表現してシアワセになれるんだぜーと言うのをチラホラ見聞きする．たとえば，pythonで統計なり機械学習なりやっててnumpy弄るような人が，ndarray(多次元配列)のshape(多次元配列の形)が合わずエラーで落ちたりとかそういうアレについて云々という．なるほど型があれば実行前に止めることができ，実行時，エラー*1になってファーみたいなことは避けられるだろう． しかし，これが天国へ続く道かどうかはまた別の話．(依存)型で舗
CodeIQについてのお知らせ
2018年4月25日をもちまして、 『CodeIQ』のプログラミング腕試しサービス、年収確約スカウトサービスは、 ITエンジニアのための年収確約スカウトサービス『moffers by CodeIQ』https://moffers.jp/ へ一本化いたしました。 これまで多くのITエンジニアの方に『CodeIQ』をご利用いただきまして、 改めて心より深く御礼申し上げます。 また、エンジニアのためのWebマガジン「CodeIQ MAGAZINE」は、 リクナビNEXTジャーナル( https://next.rikunabi.com/journal/ )に一部の記事の移行を予定しております。 今後は『moffers by CodeIQ』にて、 ITエンジニアの皆様のより良い転職をサポートするために、より一層努めてまいりますので、 引き続きご愛顧のほど何卒よろしくお願い申し上げます。 また、Cod
Eveはプログラミングを変化させようとしている | readwrite.jp
ここ数年世界では、プログラミングの学習に興味が集まっているが、今月初公開されたEveはこれに対してまったく異なるアプローチを取っている。このツールは人をプログラマーにしようとする試みではなく、プログラミング自体を変化させ、「コンピューターとインタラクトするのにより良い方法」を作成するのである。 簡単に言うと、単純性とアクセスのしやすさを根幹に置いている。共同設立者であるクリス・グレンジャーは発表後のブログで語っている。「長年かけて、プログラミングはプログラムを作成するというイメージに本質的に結びついてしまいました。しかし、実際に大半の人間が行おうとしていることは、自分が考える代わりにコンピューターに考えてもらい、その結果を知らせてもらうということなのです」 Eveのバージョン0は、長い道のりにおける最初のマイルストーンである。公式ウェブサイトはプロジェクトを以下のように説明している。 表面
なぜ動的型付けの言語が流行ったのか (Re 静的型付けと動的型付けのどちらが優れているかという話) - kazuhoのメモ置き場
静的型付けと動的型付けのどっちが優れているか。どのようなプログラムを書いているかによって答えはかわるんじゃないの？ たとえば、自社で開発・運用しているウェブサービスなら「問題が出たら修正」すればいいんだし、バグがないことを保証するよりも迅速に開発できるプログラミング言語（つまり動的型付けの言語）がいい。 逆に、客先への納品が発生するソフトウェア製品なら「バグがない形で出荷する（様々な状況・環境下でちゃんと動作する）」ことが重要だから、静的型付けの言語を使うことで品質を高めるというのは合理的な選択*1。 細かな論点はいろいろあるだろうけど、基本的には、このようなソフトウェア開発に対するスタンスの違いで決まる話だと思います。 別の言い方をすると、動的型付けの言語は流行ったのは、ウェブには前者のアプローチが適していたからだし、スマホアプリには静的型付けの言語がむいていると言えるのでしょうね。それ
メジャーなプログラミング言語とそれらの役割を擬人化してみた
GNUE(鵺) @gnue Cの老貴婦人がいいですね。Objective-Cがなぜかツインテールのロリっ子w RT @yuchimiri: @shokos ご所望の擬人化イラスト用意しました http://t.co/CKO7lKaOyv 2013-03-15 16:21:55
「初心者が２ヶ月でプログラミングをマスターする方法」なんてない - カレーなる辛口Javaな加齢日記
http://we-b-blog.tumblr.com/post/36103252953/2 またも大嘘レベル．*1 こいつもブラック企業経営者かな？*2 どんな環境にしろ，初心者がプログラミングを二ヶ月でマスターなんて，まず無理．普通は十年はかかる．そこそこ書けるようになるだけでも１〜２年はかかるだろう．「二ヶ月でマスター」といってる時点で大嘘つき認定して問題ない． プログラマのためのサバイバルマニュアル 作者: Josh Carter,長尾高弘出版社/メーカー: オライリージャパン発売日: 2012/08/22メディア: 単行本（ソフトカバー）購入: 5人 クリック: 79回この商品を含むブログ (27件) を見るプログラマが知るべき97のこと 作者: 和田卓人,Kevlin Henney,夏目大出版社/メーカー: オライリージャパン発売日: 2010/12/18メディア: 単行本（ソ
プログラミング言語の違いは些細なことで、何を作るかのほうが大きい
プログラミング言語処理系の開発に関わるような場合は言語が重要だけど、言語自体と関わりが薄いアプリケーション作るときには実現性、経済性、安定性などのパラメータから言語を含めて選べば良いという話で、そこで言語を「好みで」選り好みするのは不利。
俺流・プログラミング言語の選び方 - わさっきhb
情報をデータベースに格納する必要があるか? Yesなら2へ，Noなら7へ 他の人（研究室の学生など）に保守を依頼するか? Yesなら3へ，Noなら4へ PHPとSQLを使った，Webアプリケーションにしましょう． Ruby on Railsの勉強をするか? Yesなら5へ，Noなら6へ Ruby on Railsで，頑張りましょう． メインの処理はRubyで書いて，データベースのアクセスにはActiveRecordを使いましょう．Test::Unitの活用も忘れずに． 途中の状態をファイルに保存する必要があるか? Yesなら8へ，Noなら11へ Unixコマンドの組み合わせで，ファイル処理ができるか? Yesなら9へ，Noなら10へ bashのシェルスクリプトで書きましょう． Rubyで，ごりごり書きますか． 結果をどこに表示させるか? 端末なら10へ，ブラウザなら11へ12へ JavaS
言語設計者たちが考えること - 書評 - Masterminds of Programming : 404 Blog Not Found
2010年09月21日18:00 カテゴリ書評/画評/品評Lightweight Languages 言語設計者たちが考えること - 書評 - Masterminds of Programming オライリー社の担当編集者赤池様より献本御礼。 言語設計者たちが考えること Mastermind of Programming Federico Biancuzzi / Shane Warden 伊藤真浩 / 頃末和義 / 佐藤嘉一 / 鈴木幸敏 / 村上雅章訳 [原著:Masterminds of Programming] ソフトウェアに関する人文系書籍としては、間違いなく最重要の一冊。今後これなしでソフトウェアに付いて語ることは慎まれるであろう。 このような重要な一冊に査読者としてお手伝いできたことは、光栄としかいいようがない。 本書「言語設計者たちが考えること」、原著"Masterminds
不完全にしてかなり言葉足らずな比較プログラミング言語学 - 西尾泰和のはてなダイアリー
プログラミング言語は人が作ったもの。人は誤るもの。なので完璧なプログラミング言語は存在しない。 「人は誤るもの、しかし誤りに固執するのは馬鹿の所業だ。」(キケロ) プログラミング言語も、間違った設計をして、馬鹿でない人がそれを修正することの繰り返しで発展してきた。 というわけで言語間での設計判断の食い違いとか失敗した設計とかを収集中。一部抜粋して講義資料に入れるつもりなので他の事例をご存知でしたらぜひ情報をいただけるとありがたいです。 if(x = 0) C言語では代入が式であるためif(x == 0)のつもりでif(x = 0)と書いてしまい、常に偽になってしまう。 x = 0の値はint、条件式はboolでないといけないので型エラーだよ派: Java x = 0は式ではないので条件式に入れたら構文エラーだよ派: Python 条件式にx = 0をいれたらx == 0と解釈するよ派: H
Index of /ruby/mswin32/ja
Apache/2.4.41 (Ubuntu) Server at www.garbagecollect.jp Port 443
はてなブログ | 無料ブログを作成しよう
来年も作りたい！ふきのとう料理を満喫した 2024年春の記録 春は自炊が楽しい季節 1年の中で最も自炊が楽しい季節は春だと思う。スーパーの棚にやわらかな色合いの野菜が並ぶと自然とこころが弾む。 中でもときめくのは山菜だ。早いと2月下旬ごろから並び始めるそれは、タラの芽、ふきのとうと続き、桜の頃にはうるい、ウド、こ…
Lua - Wikipedia
Lua（ルア）はスクリプト言語およびその処理系の実装で、主にリオデジャネイロ・カトリカ大学（英語版）のコンピュータ科学科 (Department of Computer Science) および/または同大学附属研究所のTecgraf/PUC-Rio[注 1]に所属するロベルト・イエルサリムスキー Roberto Ierusalimschy[3][4]、Waldemar Celes[5][6]、Luiz Henrique de Figueiredo[7]らによって設計開発された[11]。 手続き型言語として、またプロトタイプベースのオブジェクト指向言語としても利用することができ、関数型言語としての要素も併せ持っている[12]。 名称の由来[編集] Luaという名前は、ポルトガル語の「月」に由来する。もともとLuaはブラジルの石油会社であるペトロブラス内部でデータ入力用に開発された言語DEL
ANTLR
What is ANTLR? ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files. It's widely used to build languages, tools, and frameworks. From a grammar, ANTLR generates a parser that can build and walk parse trees. Terence Parr is a tech lead at Google and until 2022 was a professor of data science /
実践的な Haskell の本 - あどけない話
Perl6 は何年経っても正式にリリースされません。そんな Perl6 を Audrey Tang さんは、たったの数ヶ月で作りました。その実装は Pugs と呼ばれています。短期間の開発を可能にした秘密兵器は Haskell です。 その Audrey さんが、2006年に日本で Haskell について説明してくれました(資料)。残念ながら、そのころの僕は Haskell に興味がなかったのでチュートリアルは受けていませんが、その概要にはこう書かれています。 コーナーケースを探すのにユニットテストを書くのに疲れた？ QuickCheck を使ってコンピュータに書かせちゃいましょう。正規表現ベースのパーサはメンテナンスしにくいのに気づいた？ Parsec を使って 15分で Perl6 の完全なパーサを書く方法を勉強しましょう。デッドロックやレースコンディションはもううんざり？ STM
The Scheme Programming Language, 3rd Edition
The Scheme Programming Language Third Edition R. Kent Dybvig Illustrations by Jean-Pierre Hébert Table of Contents Preface Chapter 1. Introduction Section 1.1. Scheme Syntax Section 1.2. Scheme Naming Conventions Section 1.3. Typographical and Notational Conventions Chapter 2. Getting Started Section 2.1. Interacting with Scheme Section 2.2. Simple Expressions Section 2.3. Evaluating Scheme Expres
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
サービス終了のお知らせ