GitHub - microsoft/pyright: Static Type Checker for PythonYou signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
GitHub - AaronC81/sord: Convert YARD docs to Sorbet RBI and Ruby 3/Steep RBS files
Sord is a Sorbet and YARD crossover. It can automatically generate RBI and RBS type signature files by looking at the types specified in YARD documentation comments. If your project is already YARD documented, then this can generate most of the type signatures you need! Sord is the perfect way to jump-start the adoption of types in your project, whether you plan to use Sorbet's RBI format or Ruby
GitHub - VictorTaelin/forall: Expressive static types and invariant checks for JavaScript.
Expressive static type and invariant checks for JavaScript. It is similar to TypeScript, but: Has very precise types such as the type of hex-encoded strings with an even number of characters (i.e., new Buffer()'s input), and can statically check all of them; Has invariants such as for any user and any item, purchase(user,item).balance >= 0, so that, if you forget to check the balance in your purch
多相な関数の定義から学ぶ、型クラスデザインパターン
201607.md #多相な関数の定義から学ぶ、型クラスデザインパターン twitter: @OE_uia github: taisukeoe ##多相な関数 複数の異なる型に対して適用可能な関数 どの型に対して定義されているか、静的に決定できる(定義されてない型の値を渡すとコンパイルエラーになる) Int => Int String => String Double => String Seq[Int] => Seq[Int] ##多相な関数のメリット 複数の異なる型に対する操作を一般化したまま変換,合成などを行える DSLの構築 Heterogeneousなコレクションを簡便に操作できる #一番単純な出発点としての、メソッドの引数オーバーロード def overlap(i:Int):Int = i*i def overlap(s:String):String = s.foldLeft(
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - realpython/pytest-mypy: Mypy static type checker plugin for Pytest
GitHub - ruby/rbs: Type Signature for Ruby
GitHub - apiaryio/mson: Markdown Syntax for Object Notation
GitHub - soutaro/steep: Static type checker for Ruby
GitHub - seagreen/plate: Principled schema system for JSON. Work in progress.
Type Checking JavaScript Files
https://github.com/niku/elixir-lang.github.com/blob/translate-into-japanese/getting_started/16.markdown
GitHub - jeremyjh/dialyxir: Mix tasks to simplify use of Dialyzer in Elixir projects.
Support for unified Integer class in Ruby 2.4+ by jeremy · Pull Request #25056 · rails/rails
GitHub - ksss/type_struct
facebook/flow: Adds static typing to JavaScript to improve developer productivity and code quality.