「混ぜられない数」をHaskell/GHCの型を使って手軽につくる
はじめに ============ Haskell/GHCの型システムを使って、「混ぜることのできない数」のグループを手軽に作る方法を紹介します。 Haskellの基本的な機能と、GHC拡張を１つだけ使用しています。 なお、ここで紹介する方法は、Don Stewartさんが昔に、"Haskell in the Large"という資料（現在、オリジナル資料はリンク切れ）で紹介していたものを元にしています。 また、本記事で出てくるnewtype宣言やphantom型や数値型については、以下の記事などが参考になります。 すごいH本で見落としがちだが実は重要な機能：newtype 本当はすごい newtype で、出たー！幽霊型だー！(Phantom Type) Haskellらしさって？「型」と「関数」の基本を解説！ （数値型と型クラスについて簡単に） では、順に試しながら機能を追加していきます
TypeScript1.8 入門④ (ジェネリクス) - Qiita
ジェネリクスとは「抽象化されたデータ型」を表現する機能です。 同じ様な関数だが、型違いの場合に、引数である型を抽象的に使う時に便利な機能です。 ジェネリクスを使わない例では、 let getStringArray = (value: string): string[] => { return [value, value, value]; }; let getNumberArray = (value: number): number[] => { return [value, value, value]; }; 冗長ですよね。 関数の受け取る引数が違うだけなのに、複数の関数を定義している例です。 だめな解決策としては、型の部分をany型にするという解決策がありますが、それではTypeScriptで静的型付けをしている意味が全くありません。 そこで登場するのが、 ジェネリクス という機能です。
Variable Annotation と Cython でお手軽高速化 - Qiita
みなさん Cython 使ってますか？私は使っていません. というのも次の理由があったからです. コンパイルが面倒... C じゃなくて Python が書きたいんだけど... Python のコードを実行不可にしたくない or デコレータが見にくい... これらのうち上記2つはこれまでも解決されていました. IPython の Cython Magic を使う Pure Python Mode を使う 最後の一つに関しては先日 Cython 0.27 によって解決されました。 Variable Annotation を使う Python は v.3.5 より Type Hints (PEP 484) が追加され, v.3.6 より Variable Annotation (PEP 526) が追加されました. そして, 現在最新版である Cython 0.27 より Variable A
ZEAM開発ログ v.0.4.0 型多相かつ型安全なNIFをC言語で書いてみる - Qiita
はじめに ZACKY こと山崎進です。今回から micro Elixir / ZEAM の開発に向けて新シリーズです。micro Elixir / ZEAM 構想についてはこちらの資料をご覧ください。 「耐障害性が高くマルチコア性能を最大限発揮できるElixir(エリクサー)を学んでみよう」 「ZEAM開発ログ 目次」はこちら さて本題 今回から新シリーズということで，コード生成について検討してみたいと思います。まず最初は算術演算について型多相で型安全なコードを記述してみたいと思います。 2018/09/11 追記 Dai MIKURUBE さん @dmikurube のツイート 作るもの・作ったものの設計をドキュメント化するときには、「なぜそうするか」「なぜこうはしないか」の理由と問題の背景、それを補助する実験・実測値が一番大事で、設計そのものの詳細を微に入り細に入り記述しておいてもドキ
JSDocで型チェックする - Qiita
JavaScriptでも静的な型が求められるようになりTypeScriptやFlowが使われるようになってきました。 しかし、それらが無かったころのJavaScriptのコードやトランスパイラを使わずに開発している人はいてると思います。 この記事はコードの変更なしでJSDocのみで型検査をする方法を紹介します。 TL;DR JSDocの型定義で型チェックをする TypeScriptのallowJsとcheckJsを使う 必要に応じてd.tsをインストールする JSDocの型定義 TypeScriptやFlowが登場するより前からJSDocは存在します。JavadocやPHPDocのJavaScript版のようなものです。 そのJSDocは型定義が書けるようになっています。 エディタによってはJSDocの型定義で型のチェックを行ってくれることもあります。 JSDocについては@use JSD
Ruby に型が欲しい理由 - Qiita
Help us understand the problem. What is going on with this article? 2018/07/05 追記 JavaScript と漸進的型付について詳しい mizchi さんが記事を書いたので、併せて読むと良さそうです。 漸進的型付け言語の時代に必要なもの 前置き RubyKaigi2018 の発表で型の導入の検討についての話がいくつかあったものの、 Matz 自身は型アノテーションに否定的であるという発言をしているとのことを受けて、自分の意見の表明として書いている。 筆者は Ruby に育てられて Ruby は好きであるが、業務経験は主に JavaScript(TypeScript) や Python(Type Hinting) が多く、漸進的型付けによるコードの健全化を経験した上で、型付きの方が好きであるという立場である。 なお
Common Lispの型宣言 - Qiita
この記事はLisp Advent Calendar 2016の24日目の記事です。 年末に入りとうとうクリスマスイブですが皆様いかがお過ごしでしょうか。 Common Lispは動的型付けの言語ですが、最適化のための型宣言機構が規格に組み込まれています。 また、SBCLやCMUCLでは、この型宣言を利用し、型エラーをコンパイル時に指摘する機能がついています。 型宣言と最適化の関係については、 最適化 - Common LISP users jp Cより高速なCommon Lispコードを書く Common Lispの最適化に挑戦してみる これらの記事によくまとまっています。 この記事は、実際にどのような記法で型宣言をするのかについて、学習のためにまとめたものになります。 type specifier 型は type specifier (typespec) という方式で記述されます。 ty
Rubyの構文で静的型付けな記述ができる言語、Crystalの導入から型指定方法 まとめ - Qiita
Crystalとは Ruby言語と似た構文を持った、静的型付けができる言語です。 Crystalの目標 ・構文がRubyの影響を受けている。(ほぼRuby言語の構文) ・静的な型のチェックがあるが、変数とメソッドの引数の型を指定しなくてもよい。 ・Crystalのルールに基づいて書かれたC言語のコードを呼び出すことができる。 ・ボイラープレートコード(定型文)を避けるため、コンパイル時間評価とコード生成を持つ。 ・効率的なネイティブコードにコンパイルしてくれる。 記事を書いた理由 公式リファレンスを読んだところ、Crystal特有の構文に加えてRuby言語ではおなじみの構文もしっかり書いてありました。 そこで今回は翻訳も含めてCrystal特有の構文や型指定方法に注目して記述していきます。 公式サイト http://crystal-lang.org 公式リファレンス http://crys
で、Crystal で Ruby のコードってどんだけそのまま動くの？ - Qiita
最近話題の Ruby ライクなプログラミング言語 Crystal について。 「Ruby コードが変更なく動く」という衝撃的な発言や、「静的型付けの Rails 嬉しい」といった気の早すぎるように思える発言なども目にして、「じゃあ実際どのくらい Ruby コードがそのまま動くの？」ということを知りたく、「なんかの Gem を Ruby コードのコピペで実装してみよう！」と思いました。 とりあえず空いてる時間が5時間くらいあったので、その範囲という制限でやります。文章も進めながらだらだらと書いていったものそのままで整理していないので超読み辛いかもしれません。 お題の Gem Crystal でコピペ実装する Gem は dotenv です。 これを選択したのは、 他の Gem への依存がない そんなに大きくない コードリーディングで使われたりしてたので Ruby っぽいコードだろう 自分がま
npmでTypeScriptの型定義を管理できるtypesパッケージについて - Qiita
どうも、らこです。 Angular 2の開発リポジトリでは型定義ファイルの依存解決に関して、最初はtsdだったのが途中でtypingsに移り、そして最近またtsdに回帰していたのですが、ついにtsdすらも使わず、npmだけですべてを解決するようになってました。 いったいどうやって？というのが今回のお話で、結論から言うと @types スコープから公開されているパッケージがdevDependenciesとして依存されるようになっていました。 @types typesという名前のユーザーで、明らかにbotだけど中身はMicrosoftの人らしい。(メールアドレスから) どのパッケージもだいたい 2016/5/17 に最初のpublishがされているらしく、最近始まった取り組みのようです。 現在1700超のパッケージが公開されてますが、すべて型定義ファイルのパッケージです。型定義は https:
TypeScriptの型定義ファイルを共有しよう！ - Qiita
2014/11/13 改訂 CONTRIBUTORS.mdが自動生成になった こんにちは、株式会社トップゲートのわかめ(@vvakame)です。 TypeScript 1.0がリリースされ、大変喜ばしい限りです！ 安定版がリリースされたので、これから普及にはずみが付くでしょう。 TypeScriptはJavaScriptのスーパーセットです。 そして、TypeScriptは静的型付け言語です。 ところが、JavaScriptは動的型付け言語なんですね。なので、JavaScriptの既存ライブラリをTypeScriptで安全に使うには、型情報を後付で与えなければなりません。 それが、型定義ファイル(言語仕様上はdeclaration source file)と呼ばれるものです。 この型定義ファイルを集積しているサイトが、DefinitelyTypedになります。 DefinitelyType
TypeScript型定義ファイルのコツと生成ツール dtsmake - Qiita
JavaScriptからTypeScript用型定義ファイル( d.tsファイル )を生成する dtsmake というツールを作った。その過程で型定義ファイルのコツが色々と見えたので紹介込みでまとめてみたい。 型定義ファイルで消耗してませんか？ TypeScriptでjsのライブラリなどを使う時に必ず問題になるのが、型定義ファイルの存在。DefinitelyTyped にあれば tsd で取ってくればいいが、問題は無い場合。そもそも非公開ライブラリの場合はあるはずもなく、自分で型定義ファイルを書くことになる。 私のようなノンプログラマの多くがそうであるように、ただライブラリを使いたいだけ、のような場面ではこれはかなりのコストがかかり、TypeScriptで消耗する原因のかなりの割合を占めるのではないかと推測している。 dtsmake について dtsmakeはそういった「 とりあえず使いた
第21章：Scalaの型パラメータ - Qiita
皆、元気してた？久々の投稿をさせてもらうね。 今回から 応用編 に突入するよ！ 今回のテーマは、 型パラメータ だ！ こんな感じで語っていくからね。 型パラメータとは 型境界 変位指定アノテーション まとめ 型パラメータとは 型パラメータってなんだろ？ 意味分かんないぞ！ と思っていたら、Javaで言う ジェネリックス(総称型) のことを、Scalaでは 型パラメータ と呼ぶみたいなんだ。 型自体をパラメータとし使うことができるんだ。 クラスの定義自体はジェネリックスにしておいて、インスタンス化するときに型を決定する。 なんてことができるようになるんだ。 例えば、JavaのArrayListの定義を抜粋するとこんな感じです。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
mypyやっていくぞ - Qiita
絶対ハマる、不思議なnil - Qiita
Pythonではじまる、型のある世界 - Qiita
flowtypeで既存の型に述語を付与してassertを削除しよう - Qiita
Crystalの型を限定した配列と多機能な暗黙のto_proc #crystal #ruby - Qiita
Unityからxcodeに書き出しアプリを実行したらdouble型の値が不正になってしまったケース - Qiita
TypeScriptの型定義管理ツールTypingsについて - Qiita
