続・Dottyによる変更点 - 水底
以前以下のようなDottyに関する記事を書きました. amaya382.hatenablog.jp それから暫く経ち, 多くの更新が入ったため新しくまとめました. 公式ドキュメントだけでなくあちこちにちらばった情報を集めています. 過去記事と同じくあくまで真新しい機能のみに注目し, 理論的な部分や実装については深掘りしません. 概要のみなので, 個々の詳細は各見出しのリンク先を御覧ください. Dottyとは Dependent Object Types (DOT) に基づいた新しいScalaコンパイラです. Scala3系に相当します. DOT計算理論の詳細は省きます (まとめるほど理解できていないとも言う…). 現行のコンパイラと比べ, コンパイラサイズの減少・コンパイル速度向上・様々な機能追加の他, コンパイラ自体の開発安定性も増すパワフルなアップグレードが期待できます. 現行のSca
WebAssembly text format で画像処理を書くぞ
Node.jsでつくる Node.js – WASM/WASI ミニミニコンパイラー JSConf JP 2019 (2019.11.30) のLTの資料です。
Island Life - ソース幻想
About 南の島のプログラマ。 たまに役者。 Practical Schemeの主。 WiLiKi:Shiro 最近のエントリ 無限cxr高校受験Defense振り返ってみると2019年は色々学んで楽...覚えるより忘れる方が難しい(こともある)眼鏡のつると3DプリンタIris Klein Acting ClassSAG-AFTRA conservatory: Voice Acting創作活動って自分を晒け出さねばならないと...ループを使わずに1から100までMore... 最近のコメント shiro on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/14)1357 on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/01)ベアトリーチェ on ハイポハイポハイポのシューリンガン (2022/04/02)ベアトリーチ
Firefox 58でWebAssemblyの起動を大幅に高速化 - Mozilla Flux
WebAssemblyは既にメジャーなブラウザすべてでサポートされており、その用途も、たとえばGoogle Earthが移植されるなど、ゲームに限られなくなってきている。もっとも、これまではダウンロード後のコンパイルに時間がかかるという問題があった。Firefox 58では2つの新技術でこの問題に対処し、WebAssemblyアプリケーションの起動を大幅に高速化する。 Making WebAssembly even faster: Firefox’s new streaming and tiering compiler – Mozilla Hacksによれば、1つ目の新技術はストリーミング（Streaming）という。ダウンロードの完了を待たずにコンパイルを開始するもので、この技術はWebAssemblyのファイル形式と相性がいい。単一のファイルのうち、最初にコード部分がダウンロードされる
ブラウザ セキュリティの近状
7月中旬からEdgeのセキュリティの仕事を始めて、各ブラウザごとに面白いセキュリティの対策をしていることを学んだのでまとめてみる。ちなみに、僕が担当しているのはSOPバイパスなどのデザインレベルのバグですが、最近のブラウザ セキュリティで各社アツいのは「メモリ破壊を使った攻撃を設計レベルでどの様に悪用出来なくするか」という点なのでそこをまとめます。専門ではないので広く浅く（笑） Chrome Chromeはブラウザのサンドボックスに力を入れているブラウザです。Chromeの報奨金制度でもサンドボックスのバイパスが最高額で、レンダラRCEの倍額であることからも見てとれます。Chromeはそのサンドボックス技術を使ったSite Isolationという保護機能を開発しています。 Site Isolation Chromeにはレンダラプロセスというウェブページを処理し表示するプロセスと、ブラウザ
WebAssemblyへのコンパイラ言語を簡単に実装 - Qiita
後入りですみませんが、WebAssemblyアドベントカレンダー未投稿のところ埋めさせて頂きます。 本記事では、WebAssemblyをターゲットとするコンパイラ処理系を実装します。 方針 WebAssemblyへのコンパイル言語処理系を最も簡単に 1実装するための方針は以下のとおり。 言語は「コンパイラがなるべく小さくなる言語として考案」されたBrainf*ckを採用 文法はPEG(Parsing Expression Grammar)で記述し、生成系PEG.jsでパーサを実行時に生成する WebAssemblyコード生成では文字列でWAST形式を生成し、wast2wasm2で変換する(直接WASMを生成しない)。またEmscriptenやbinaryenは使用しない WASTの表現ではflat形式ではなくs-expression形式を使用する ブラウザ上ではなくNode上で実行する。な
Rustに１００日触れてわかったこと - Qiita
Rustは「学習コストが高い？」「関数型プログラミング言語？」 と思っていた私が、実際にRustに触れてみて得られた知見をまとめました。 プログラミング言語の多くの課題を解決してくれる言語 Rustは「安全性」「速度」「並列性」を考慮して設計されています。 言語セマンティクスを強く定義し（Ownershipやlifetime 後述）、ネットワークコネクションなどのリソース管理全般に関するバグを、コンパイル時に発見してくれることで実現しているといえます。 最初はコンパイルが厳しくて「書いたコードはあってるはず...」 と、陥るほどに暗黙的な印象を感じます。コンパイルの厳格さは、人間が間違えないようにするために、静的に解析できる情報をなるべく多く与え、機械的に検証するためだと考えます。 ひと言でまとめると「コンパイルへの押し付け」です。 安全性に重きをおきながら、zero cost abstr
Emscriptenで過去に作った物をwasm対応して性能比較してみた - Qiita
はじめに 表題の通り、以前Emscriptenを使って作っていたライブラリをwasm対応して性能比較してみます。本来ならSION2 HDで比較してみたかったのですが、色々とハマっているうちに時間がなくなってしまったので、SION2 HDの中でも使っているz-music.jsに絞って評価してみようと思います。 なお評価にはChrome 63を使っています。ブラウザ間の比較とかもあれば良かったのかもしれませんが、純粋に時間がなくてやっていません。比較的新しいブラウザは全て実装しているので、いずれ比較・競争は自然と激しくなるでしょう:) 使ったマシンはMac mini (Late 2014)で、性能に関係しそうなプロセッサは3GHz Core i7です。古めのマシンとは言え、シングルコア性能で考えると今でも現役ですね。 一応Chromium Developerです、とか言っておきますが、だからと
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
TypeScript 2.6 変更点と注意点 - abcdefGets
TypeScript2.6が出たので変更点を記載 RCからほぼ変更点がない。 Strict Function Typeフラグの導入 --strictFunctionTypesというフラグが導入される。 このフラグは--strictフラグに内包されており、--strictの場合は自動でONになるが、 --strictFunctionTypesをfalseにすることで個別にOFFにすることもできる。 動作 関数の引数に対するVarianceの動作を変更する。 TypeScriptの関数のVarianceについては以前下のスライドで説明したので参照。 speakerdeck.com 今回の--strictFunctionTypesフラグがONになると、関数がBivariantではなくてContravariantになる。 つまり以下のような代入が許可されなくなる。 class Animal { .
人月の暗黙知の本 - hitode909の日記
見積りについて興味が出てきたので読んだ．コードコンプリートを書いたスティーブマコネルの本． 具体的な見積りの技法が紹介されているけど，それよりも，いい話がたくさん書いてあって良かった． 見積りとターゲット 見積り=作業量とか規模とか ターゲット=いつまでにほしいとか 数ヶ月後の発表会のための開発なら，その規模のものは作れませんではなく，間に合うような物を一緒に考える 技術的な知識を使っていろんな代案を出すのは技術者の責任 即興で見積りしてはいけない→正確ではない 専門家の判断は品質が低い→正確ではない 計算できるなら計算しなければならない 見積りに幅を持たせる この期間で終わる確率は何%とか，最良で何週間， 最低で何週間，とか そのときも計算する 高く見積るとプロジェクトが却下されるからといって安く見積ってはいけない 正しい情報を提供できないので，意思決定できなくなってしまう リソースが本
今までに経験した中で最悪の開発環境について書く
なんとなく吐きだしてみる。老害の昔語りなので興味ない人はスルー推奨。 時は2000年代初頭、俺は最初に就職した独立系SIerから4次請けの派遣として某銀行の営業店システム開発に参加していた。 新卒で入社して、二つ目のプロジェクトだった。当時は最先端であったJavaでのプロジェクトということで、ずいぶんと喜んだことは記憶している。 1フロアが丸ごとプロジェクトルームとなっており、プロジェクト統括の事業部長が常に怒号をあげながらフロアを徘徊するなかで、15インチCRTディスプレイ(当然液晶なんかじゃない)がようやく置ける狭い机とパイプ椅子で、右も左もわからないまま、Excelで書かれた仕様書と向き合い、秀丸エディタ(当時はEclipseがまだ生まれていなかった)でジャバを書いていた。 デスマであったかというと、今思うとそこまでデスってはいなかったように思う。頻繁にリスケが行われていたのでプロジ
Angular2 AoTコンパイルでTechFeedを高速化した話
前回のエントリで、TechFeedをProgressive Web Apps化した件について書きました。今回（2016/11/8）のバージョンアップでは、もう一つ大きなトピックがあります。それはAngular2のAoTビルドに対応したことでTechFeedの起動時間を大幅に削減したことです。 Angular2のAoT（Ahead of Time）ビルドについては、ググってみても意外と日本語のいい記事がないので、ちょっとだけ解説します。 AoT概要Angular2アプリは、コンポーネントのツリーによって構成されます。コンポーネントは初期化される時に依存しているオブジェクトを注入（Dependency Injection）されたり、コンポーネントの状態を検知してUIを書き換えたりと言った様々な処理が必要です。Angular2は、ランタイム本体がそれらを動的に行うのではなく、そうした処理をハード
Go のバイナリには -ldflags '-w -s' でコンパイルしてもたくさんパスが埋め込まれていた - Qiita
とコンパイルすることで、 DWARF とシンボルテーブルの情報をバイナリに残さずコンパイルできる。 しかし、自分は気になったので strings コマンドを生成後のバイナリにかけてみた。 するとバイナリには というような行が、まだたくさん残っていた。 どうやら DWARF やシンボルテーブルの情報を削除しても、コンパイルの際のパスなどの情報は残ってしまうようだ。 消してみると 10% くらい節約できた そこで、全て浅いディレクトリでコンパイルしなおしたところ、約 5MB のバイナリが約 4.5MB ほどまで節約できた。 ソースコードを細分化していればしているほど、モジュールを使っていれば使っているほど、含むパスは多くなるので、これらにより節約できるサイズは大きくなる。 Go の単一バイナリを Docker コンテナにするような状況では、 10% の節約は心理的に大きい。 (嬉しい) 使い所
Angular AoTガイド - Qiita
はじめに どうも。最近、方々で「build筋」だの「うぇぶぱっ筋」だのと発言して顰蹙を買っている @Quramy です。 さて、皆さんAngularのAhead of Time(以下AoT) Compileは利用していますか？ とても良い仕組みだと思っているのですが、まとめられた記事もまだ殆ど見かけません。 僕自身は少し前に業務案件に適用させたばかりです。折角なので記憶が鮮明なうちに投稿にしておこうと思った次第です。 このエントリは下記の3章構成でお届けします。例によって結構長いので、自分が必要としているテーマに合わせて好きな部分を読んでください。 基本編: AoTの仕組みについてのざっくり解説. 知っている人は読み飛ばしてOK 実践編: 主に僕がAoTに取り組んだ際に行ったこと、ハマったポイントについての説明 発展編: AoT環境を手に入れた後に何をすべきかについて 対象読者 このエント
TypeScript 2.0 Beta 変更点 - Qiita
追記6：TypeScript新刊情報(宣伝)を追加 追記5：--noImplicitThisについての見解を更新 追記4：Quramyパイセン記事へのリンク追加 追記3：--skipLibCheckの解説が間違ってたのを修正 追記2：モジュール名のワイルドカードについて が漏れてたので追加 追記1：DefinitelyTypedについて を少し更新 【宣伝】コミケでTypeScript 2.0.0解説本出します。通販予約木曜(8/12)まで。【/宣伝】 TypeScript 2.0 Betaが出ました！ 今回のアップデートはかなり多くの更新を含む、大規模なアップデートであるといえます。 なんせ、2.0ですからね。 2.0 Betaを試したい時は npm install -g typescript@beta しましょう。 公式ブログとWhat's newと Roadmapからまとめていきます
Evan Czaplicki「脱FRP。またはThe Elm ArchitectureからSignalを消した件」 - 以下斜め読んだ内容
elm-lang.orgの2016.5.10のブログエントリ farewell-to-frp ElmクリエータのEvanによる最新版0.17のアナウンス 「Reactiveとか、非同期データストリームとかObservableとか、まあええけど、敷居上げすぎじゃね？」 「じゃあSignal外して」「脱FRPしとくか」（今回） 「WebAssembly来るかも？」 「じゃあサクッと移行できるようにJSとのインフェース最小にしとくか」 「いつでもどこでも脱AltJSできるように準備しとくか」 「クロスコンパイルとかはいいわ」 「OSS化しましたので皆様使って頂けたら。。。。」 「神頼み？それじゃあエコシステムはできんわ」 「フルタイムでElm開発できるとこに入っとく」(Preziにjoin） 「Chigaco大でFunctional Programmingの講義をElmで通してもらった」 htt
WebAssembly を使って自作言語をブラウザで動かしてみよう - はやくプログラムになりたい
今日 Google の開発者ブログで WebAssembly の記事が載っていました．どうやら最新の Chrome では WebAssembly が動くようです． googledevjp.blogspot.jp 自作言語のコンパイラを LLVM フロントエンドとしてつくっているので，これは試さないわけにはいきません． github.com というわけで，さっそく試してみます． 準備 1. Chrome 直接 V8 をビルドするのは億劫なので Chrome のバイナリを落としてきて使います．Chrome 51.0.2677.0 以降であれば OK です．Canary 版をダウンロードしてきてインストールします． 次に chrome:flags にアクセスして WebAssembly を有効にします． 2. LLVM WebAssembly のためのアセンブリを吐くには LLVM の expe
EmscriptenでRustをJavaScriptへコンパイルする - gifnksmの雑多なメモ
以前のエントリではうまくいかなかった、RustのJavaScriptへのコンパイルですが、 gifnksm.hatenablog.jp 先日フォーラムに投稿されていたやり方をまねるだけで簡単にできるようになっていました。 internals.rust-lang.org Rust本体にEmscripten対応が取り込まれたのですが、動かすためには専用のLLVMが必要などいくつか制限があります。 制限があるとはいえ、以前よりも簡単にEmscriptenでのコンパイルが試せるようになったのは朗報ですね！ 追記 リンクしか内容がない記事というのもアレなので、Emscripten を使ったコンパイル方法を簡単に書いておきます。 Emscripten の環境変数を設定する $ source <path to emsdk>/emsdk_portable/emsdk_env.sh rustc を --ta
TypeScript + React JSX + CSS Modules で実現するタイプセーフなWeb開発 - Qiita
はじめに 以前、React JSX with TypeScript(1.6)にて書いたことがありますが、TypeScript 1.6以降ではReact JSXを直接コンパイルできるオプションが追加されています。 一般的にクライアントサイドWebアプリ開発は以下の3言語が土台ですが、 JavaScript HTML CSS TypeScriptのお陰で、1.と2.についてはタイプセーフな世界を手に入れたことになります(HTMLの要素名や属性名まで含めて、コンパイル時のチェックがされる) JavaScript -> TypeScript HTML -> React JSX(.tsx) CSS -> ??? こうなると、3. におけるCSSについても、何とかできんものかと期待するのが人情です。 今回のエントリは、CSS ModulesをTypeScript JSX環境に統合することで、タイプセー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
