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

2020/10/16 19 users Scala Newtype SOR ライブラリ 性質

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

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

2017/04/07 104 users POSTD ファームウェア リソース 自動クリーンアップ 部署

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

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

2017/03/28 54 users 難題 概念 POSTD 言語 数々

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

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

2014/09/04 190 users かなり コメント C言語 メモリ安全性 POSTD

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