TypeScript の Discriminated Union と Haskell の代数的データ型 - 一休.com Developers Blog

2024/12/13 15 users TypeScript UNION フライング 判別

この記事は 一休.com Advent Calendar 2024 の15日目の記事です。 予定より早く書き上げてしまったので、フライングですが公開してしまいます。 TypeScript の Discriminated Union (判別可能な Union 型) を使うと、いわゆる「代数的データ型」のユースケースを模倣することができます。一休のような予約システム開発に... 続きを読む

【PostgreSQL】いかにして JSONB を安全に扱うか

2024/10/22 30 users JSONB Postgres PostgreSQL JSON

はじめに Postgres には JSON/JSONB というデータ型がありますが，JSONB はデータをバイナリ形式で格納するためインサート時に変換のオーバーヘッドがあるものの，その後の処理が非常に高速である上に，インデックスを貼ることができるため，実用上は JSONB を使うのが一般的です． 一方で，そもそも RDB のようなスキー... 続きを読む

SQLite のおもしろ仕様 (1) : データ型 - kawasin73のブログ

2023/09/09 9 users SQLite フルスクラッチ rust github.com

型は型、どうもかわしんです。SQLite では型は絶対ではなく、あくまでも尊重です。信用しすぎると裏切られます。 最近 Rust で SQLite をフルスクラッチで再実装しています。 github.com なるべく本家の SQLite と compatible にするために SQLite のドキュメントやコードを読んで挙動を理解しながら作っています。これ... 続きを読む

データ型は明示しないで！ Modern C++での型推論

2023/08/17 7 users 型推論 Modern C++

このように、（1）（2）と「vector<int>」を2回も書かなければなりません。特に（2）では、右辺の型は分かっているんだから、左辺はそれに合わせてよ！ という文句が出そうです。 初期化漏れを防止する このように、同じ意味の型を何回も書くのはかったるいな！ というときに型推論は役立つわけですが、もっと切実な理由... 続きを読む

enumはクローズド直和、traitはオープン直和

2022/09/19 17 users trait enum 直和 数式 本稿

本稿では直和による多態性を実現する2つの機能、enumとtraitを拡張性の観点から比較します。 → Expression problem ※enumとtraitを使い分けるにあたってはパフォーマンス要件など他の条件も考慮するべきですが、本記事は多態性の観点のみ説明します。 数式 — enumによる例 本稿では数式をあらわすデータ型を例として扱い... 続きを読む

代数的データ型をJavaで安全に使いこなす - BIGLOBE Style ｜ BIGLOBEの「はたらく人」と「トガッた技術」

2022/06/29 13 users BIGLOBE Java INTERFACE class 技術

関数型プログラミング由来の代数的データ型は、とても便利な道具です。馴染みのないメンバーに向けて、実例を使いながら詳しく解説してみました。 代数的データ型とは 直積型 直和型 直和型の Java での実装 ベタに class で表現してみる 2つのクラスと interface で実現 安全に利用できるメソッドを提供する おわりに ... 続きを読む

テーブル設計の考え方とやり方 [入門編]

2022/03/30 673 users テーブル設計 入門編 やり方 考え方 Event

「基本から学ぶテーブル設計　超入門！」 https://modeling-how-to-learn.connpass.com/event/242944/ の発表資料。 - ２つの設計スタイルの違いを理解する - 何を記録するか（資源・活動・当事者・規程） - どう記録するか（テーブルの役割を単純に保つ） - 基本ツール：CREATE TABLE文 - データ型と制約 続きを読む

Perlと型とコンテキスト - Qiita

2021/12/24 6 users Qiita コンテキスト perl 定義 言語

この記事はPerl Advent Calendar25日目の記事です。 Perlは動的型付き言語として一般的に知られています。実は、そのデータ型の定義とその使い方は一般的な他の動的型付き言語とは考え方が全く異なります。 そして、残念ながらそのデータ型について正しく理解していらっしゃる方はそこまで多くいらっしゃらないと思いま... 続きを読む

【追加/削除】Pythonのlist（リスト）の使い方を徹底解説 ｜ IT・エンジニア派遣のModis

2021/07/15 9 users MODIS 配列 コンテナ 順序 list

Pythonには多数の値を一つにまとめて管理するための、コレクションまたはコンテナと呼ばれるデータ型が複数存在します。list（リスト）はその一つで、他のプログラミング言語における配列のような使い方ができるデータ型です。 listには任意の型のデータを格納でき、格納された要素には順序が設定されています。これらの... 続きを読む

クライアントサイドのバリデーションエラーのデータ型についての考察 - STORES Tech Blog

2021/04/05 17 users クライアントサイド stores inouetakuya

業務委託で STORES の開発をしている @inouetakuya です。 先日 STORES のフロントエンドチーム内でクライアントサイドのバリデーションについて見直す機会があり、特にバリデーションエラーのデータ型をどうするかについての議論が興味深かったので、共有させていただきます。 背景 議論の背景について簡単に触れておく... 続きを読む

プログラミング初心者がpythonを学ぶ③ - はなしのたね

2019/04/10 32 users Python タネ tuple はなし 変数

プログラミング初心者がpythonを学ぶ第三弾です。今回は簡単なプログラムを実際に書いてみましょう。 変数について input関数について データ型について データをまとめるtuple プログラムを書いてみよう 終わりに 変数について プログラミングでは避けては通れない変数というものがあります。 変数は簡単にいうと、代名... 続きを読む

ポインタを使ったデータ構造をHaskellの代数的データ型と相互変換したい | Aqueos Sodium Hydroxide

2019/01/28 21 users null Haskell NEXT ポインタ 常套手段

struct ST_VEC3D_LIST { double x; double y; double z; struct ST_VEC3D_LIST * next; }; というような構造体を定義してやるのが常套手段です。 要素を追加するときは next ポインタでつないでいって、リストを手繰るときは next ポインタを再帰的に参照していくことになります。リストの終端は next に NULL を代入す... 続きを読む

ポインタを使ったデータ構造をHaskellの代数的データ型と相互変換したい | Aqueos Sodium Hydroxide

2019/01/28 21 users null Haskell NEXT ポインタ 常套手段

struct ST_VEC3D_LIST { double x; double y; double z; struct ST_VEC3D_LIST * next; }; というような構造体を定義してやるのが常套手段です。 要素を追加するときは next ポインタでつないでいって、リストを手繰るときは next ポインタを再帰的に参照していくことになります。リストの終端は next に NULL を代入す... 続きを読む

MariaDB Server 10.3/MariaDB TX 3.0リリース。Oracle Database互換機能を搭載し、同じデータ型やPL/SQLのストアドプロシジャをサポート － Publickey

2018/05/29 94 users Publickey MariaDB SQL 目玉 コア

MariaDB Server 10.3/MariaDB TX 3.0リリース。Oracle Database互換機能を搭載し、同じデータ型やPL/SQLのストアドプロシジャをサポート MariaDB 10.3と、それをコアとするMariaDB TX 3.0がリリースされた。新機能としてOracle Database互換機能を搭載したのが目玉だ。今後もMariaDBはエンタープライズ向けに強化されて... 続きを読む

GHC Generic Programming と代数的データ型 - khibino blog

2017/12/26 15 users 代数的データ型 Functor 直和 記述 エントリー

2017 - 12 - 26 GHC Generic Programming と代数的データ型 Haskell Advent Calendar 2016 の 12日目のエントリーです。 代数的データ型と Functor Generic Programming は代数的データ型の構造を Functor の直積と直和のネスト構造に対応付けることで、 任意の代数的データ型に対する操作の記述を可能にする仕... 続きを読む

MySQLのFLOAT型を使う理由が見つからない件 - hnwの日記

2017/12/21 248 users 文中 hnw 類似 混乱 根拠

MySQLのデータ型としてFLOAT型という型があるのですが、これを採用するのは混乱の元ではないか？と感じたので、その詳細を紹介します。 そもそもこの話のきっかけは「 MySQLで6桁までの小数点を丸めずに扱うならFLOAT型を使うべき理由 」という記事が目に止まったことです。それなりに人気を集めている記事のようですが、私の読んだ限りではFLOAT型を使うだけの根拠が文中から読み取れず、さらに類似... 続きを読む

Microsoft曰く、今後Excelに新たなデータ型が導入される | スラド IT

2017/09/29 22 users TechCrunch スラド 数式 Excel セル

Excelに今後「新しいデータ型」が導入されるという（ TechCrunch ）。 Excelでは現在セルに文字列および数字、数式といった情報を入力できるが、これらに限らない「豊富なデータ型」が使えるようになるという。さらに、入力されたデータがどのようなデータなのかを自動認識したり、関連情報を必要に応じて自動的に検索・収集する機能なども導入されるそうだ。 続きを読む

これならわかるJavaScript超入門：変数の基本と型の違いを学ぶ - WPJ

2017/03/09 72 users jQuery WPJ 変数 issue reproduced

なんとなくjQueryを使っているけど、実はJavaScriptの基礎がよくわかっていない……。そんなJavaScript初心者のために、変数とデータ型をていねいに解説します。これなら絶対わかる！JavaScriptの変数と型の基礎をいまこそ理解する 2017/03/09 Tania Rascia Articles in this issue reproduced from SitePoint C... 続きを読む

SIMD型について - JS.next

2015/07/22 54 users JS.next SIMD API CPU 数値

2015-07-22 SIMD型について ★★★ ES7 新仕様実装 V8 概要 ES7で採用検討中の、新しいプリミティブ型であるSIMD型及びAPIがV8で実装されてきている。 SIMDとは、複数の数値を並べて１つの値にしたようなデータ型である。 これはCPUによって効率良くサポートされているデータ型であり、 1 + 2 -> 3 をするように [1, 2, 3, 4] + [2, 3, 4, ... 続きを読む

Yakst - PostgreSQLのアンチパターン : 何でもかんでもjsonに入れる

2015/06/02 193 users JSON Yakst PostgreSQL モデリング 最初

PostgreSQLは、データ型としてjsonをサポートしています。しかし、やりたいことがある時に何でもかんでもjson型を使ってしまうというのはやめるべきです。これは、hstoreや新しく登場したjsonb型にも同じことが言えます。これらの型は必要な時には便利なツールになりますが、PostgreSQLでデータのモデリングを行う際に最初に検討すべきものではありません。 なぜなら、データを呼び出した... 続きを読む

PHP7のタイプヒントベストプラクティス | yohgaki's blog

2015/04/10 32 users yohgaki's blog PHP7 JSON 乖離 整数型

のPHP 7から基本的なデータ型（整数型、浮動小数点型、配列型）タイプヒントが追加されます。直感的に書くコードと正しいコードには乖離があります。PHP7でタイプヒントを使う場合のベストプラクティスを紹介します。 タイプヒントとタイプヒントの問題点については前回のブログを参照してください。 PHP7使用すべきタイプヒント PHPはWebシステムで利用され、データベースやJSONなどの外部データとのや... 続きを読む

第4章　木構造とハッシュ―平衡二分探索木「赤黒木」で知る豊かなデータ型：［入門］関数プログラミング―質の高いコードをすばやく直感的に書ける！｜gihyo.jp … 技術評論社

2015/03/05 20 users ハッシュ 関数プログラミング 赤黒木 gihyo.jp 入門

この章ではリストから一歩進み，永続データとして利用できる木構造を説明します。木構造の例として赤黒木という平衡二分探索木を取り上げ，ハッシュテーブル（以下，ハッシュと略記）を実装します。 ハッシュを実現できる木構造 関数プログラミングと（C言語などで使われる）配列は相性が良くありません。なぜなら，配列を永続データとして使おうとすると，一部を変更するだけでも配列全体をコピーしなければならないからです。... 続きを読む

「PostgreSQL 9.4」がリリース、データ型にJSONBをサポート、GINインデックスの性能が改善：CodeZine

2014/12/19 29 users CodeZine JSONB GINインデックス 性能 両方

PostgreSQL開発グループは、オープンソースのデータベース管理システムの最新版「PostgreSQL 9.4」を、12月18日（現地時間）にリリースした。 最新版では、新たなデータ型として「JSONB」（バイナリJSON）を追加しており、データストアのリレーショナル／非リレーショナルの選択は不要で、両方を同時に利用できる。JSONBは、高速なルックアップと、Generalized Inver... 続きを読む

Swiftのパワフルな記述力が秘められた　「関数」と「クロージャ」 （1/5）：CodeZine

2014/07/01 95 users クロージャ CodeZine Swift 定数 変数

前回はSwiftの変数と定数、データ型、if文などの制御構文について説明しました。今回は「関数」と「クロージャ」について説明します。クロージャはSwiftの特徴的な仕組みの1つで、プログラムをより柔軟に、より簡便に記述することを可能にしています。Swiftにおける関数とクロージャの関係にも注目してください。 続きを読む

RubyでただのArrayだと思ってデータを追加したつもりなのに気がついたら全文検索出来ていた・・的なものを作った - ブログのおんがえし

2013/12/22 107 users Array おんがえし rroonga Ruby 全文検索

2013-12-22 RubyでただのArrayだと思ってデータを追加したつもりなのに気がついたら全文検索出来ていた・・的なものを作った ruby rroonga groonga web Ruby Advent Calendar 22日目の記事です RroongaというRubyで使える全文検索エンジンがあって愛用しているのですが、使う前の準備でカラム指定やデータ型を指定したり、全文検索のためのイン... 続きを読む