はてブログ

はてなブックマーク新着エントリーの過去ログサイトです。



タグ 型安全性

新着順 人気順 5 users 10 users 50 users 100 users 500 users 1000 users
 
(1 - 4 / 4件)
 

さらなる型安全性を求めて ~ Refinement TypeをScalaで実現する ~ - Visional Engineering Blog

2020/10/16 このエントリーをはてなブックマークに追加 19 users Instapaper Pocket Tweet Facebook Share Evernote Clip Scala Newtype SOR ライブラリ 性質

SoRの性質が強いBtoBアプリケーションでは、「堅く」作ることを求められる箇所がしばしばあります。 Scalaの型安全性が頼もしく感じられるのは、まさにこのような箇所においてです。 「堅く」作るために、私たちがいま注目しているのが refined と newtype というライブラリです。 この記事では、refindとnewtypeを使っ... 続きを読む

組み込みシステム上でのC++ | インフラ・ミドルウェア | POSTD

2017/04/07 このエントリーをはてなブックマークに追加 104 users Instapaper Pocket Tweet Facebook Share Evernote Clip POSTD ファームウェア リソース 自動クリーンアップ 部署

去年の10月、私が所属している(http://www.flukenetworks.com/)の部署で、組み込みファームウェアの開発をC言語からC++に切り替えました。C++のクラス、リソースの自動クリーンアップ、パラメータ多相、そして強化された型安全性などは、汎用OSをデスクトップ機で稼働している時と同様、去年の10月、私が所属している 会社 の部署で、組み込みファームウェアの開発をC言語からC+... 続きを読む

型安全性と統計計算 | コンピュータサイエンス | POSTD

2017/03/28 このエントリーをはてなブックマークに追加 54 users Instapaper Pocket Tweet Facebook Share Evernote Clip 難題 概念 POSTD 言語 数々

本記事では、統計計算システムの振る舞いに関する規範論の展開に型安全性の概念を用いる可能性を説明します。また、そのような規範論によって、現行システムの誤用のされ方を明確にできることも論じます。それとともに、統計向けのより型安全な言語を実装しようという現実的提案に立ちはだかる数々の難題についても述べていきます。私は大ざっぱに言って、統計学のコミュニティはコンピュータサイエンスの概念にもっと触れた方が恩... 続きを読む

【翻訳】型安全性とは何か | POSTD

2014/09/04 このエントリーをはてなブックマークに追加 190 users Instapaper Pocket Tweet Facebook Share Evernote Clip かなり コメント C言語 メモリ安全性 POSTD

以前書いた(C言語についての)メモリ安全性について定義した記事について、型安全性について説明する記事も投稿してほしいというコメントがありました。型安全性についてはかなりよく知られてきていると思いますが、ズバリこうだと簡単 […]以前書いた(C言語についての)メモリ安全性について定義した記事について、型安全性について説明する記事も投稿してほしいというコメントがありました。型安全性についてはかなりよく... 続きを読む

 
(1 - 4 / 4件)