検索対象

並び順

ブックマーク数

期間指定

  • から
  • まで

1 - 16 件 / 16件

新着順 人気順

type-inferenceの検索結果1 - 16 件 / 16件

  • GitHub - colinhacks/zod: TypeScript-first schema validation with static type inference

    You 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 - colinhacks/zod: TypeScript-first schema validation with static type inference

    • GitHub - gvergnaud/ts-pattern: 🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.

      You 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 - gvergnaud/ts-pattern: 🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.

      • Effective TypeScript › Flow Nodes: How Type Inference Is Implemented

        In most programming languages a variable has a type and that type does not change. But one of the most interesting aspects of TypeScript's type system is that a symbol has a type at a location. Various control flow constructs can change this type: function refine(x: string | number) { // type of x is string | number here if (typeof x === 'number') { // type of x is number here. } else { // type of

          Effective TypeScript › Flow Nodes: How Type Inference Is Implemented

        • Type Profiler: Ambitious Type Inference for Ruby 3

          TypeProf for IDE: Enrich Development Experience without Annotations

            Type Profiler: Ambitious Type Inference for Ruby 3

          • TypeScript-first schema validation with static type inference

            TypeScript-first schema validation with static type inference

              TypeScript-first schema validation with static type inference

            • Type Inference Was a Mistake

              Type inference is bad. It makes code harder to read, and languages that use it too much are harder to write. It’s a false economy whereby you save unobservable milliseconds of typing today and make everything else worse. Type Inference Makes Code Less Readable If you have an IDE with a working LSP, you can hover over variables to see their types. In VSCode with rust-analyzer I can see the type ann

              • 2023-01-18のJS: Flow v0.197.0(Local Type Inference)、Fetch APIのエラーハンドリング

                JSer.info #627 - Flow v0.197.0がリリースされました。 Release v0.197.0 · facebook/flow Flow v0.197.0ではLocal Type Inferenceという機能がopt-inで導入されています。 Introducing: Local Type Inference for Flow | by Michael Matson Vitousek | Flow | Medium Flowは、強い型推論エンジンを持っていましたが、Type-Firstなアーキテクチャへと移行しています。 そのため、依然と比べると明示的な型付けが必要となるケースは増えますが、安全性やバグが減ります。 Clarity on Flow’s Direction and Open Source Engagement | by Vladan Djeric | F

                  2023-01-18のJS: Flow v0.197.0(Local Type Inference)、Fetch APIのエラーハンドリング

                • 【Modern Java】Local-Variable Type Inference - A Memorandum

                  JEP 286: Local-Variable Type Inference ローカル変数宣言型推論の注意点 4つの原則 7つのガイドライン 「インターフェースを使ったプログラミング」についてはローカル変数では重視しなくてよい ダイヤモンド<> やジェネリックメソッドにおける var 利用は注意すること リテラルにおける var 利用は注意すること var の利用例 まとめ blog1.mammb.com JEP 286: Local-Variable Type Inference Java 10 によりローカル変数宣言で型推論(type inference)が可能となり var により型定義を省略できるようになりました。 C++ での auto、C# での var、Scala での var/val、Go での := のように大抵の言語ではローカル変数型推論をサポートしており、Java は

                    【Modern Java】Local-Variable Type Inference - A Memorandum

                  • Why I'm excited for Biome's type inference

                    A few weeks ago, Biome published their 2024 roadmap. There’s a lot of good stuff in there, but one thing has me particularly curious: type inference for implementing lint rules that rely on TypeScript type information. There’s a lot to unpack in that single sentence. What is Biome actually trying to achieve here? First of all, I would like to stress that they’re not trying to create a full impleme

                    • A brief introduction to type inference

                      We present a brief introduction to what "type inference" is and how it works, in 5 minutes! This talk will take place in VRCLT #2. Please visit their website https://vrc-lt.github.io/ for more information.

                        A brief introduction to type inference

                      • RBS meets LLMs - Type inference using LLM

                        黒曜 / @kokuyouwind Work at: Leaner Technologies, Inc.

                          RBS meets LLMs - Type inference using LLM

                        • A reckless introduction to Hindley-Milner type inference

                          (I've been editing this post on and off for almost a year. I'm not really happy with it, but I suspect I never will be.) Several months ago I gave a talk at work about Hindley-Milner type inference. When I agreed to give the talk I didn't know much about the subject, so I learned about it. And now I'm writing about it, based on the contents of my talk but more fleshed out and hopefully better expl

                          • If there is one piece of advice about type inference I think everyone should hear it's absolutely this

                            If there is one piece of advice about type inference I think everyone should hear it's absolutely this Be very explicit about the difference between type variables, unification variables and skolems Type variables are always bound by foralls and represent variables that can be instantiated to any possible concrete type. For example, forall a. a -> a can be instantiated to Int -> Int, String -> Str

                              If there is one piece of advice about type inference I think everyone should hear it's absolutely this

                            • Swiftの型推論を学ぼう | Let's Learn About Type Inference in Swift

                              try! Swift Tokyo 2024 で発表しました。 スクリプトはこちら https://speakerdeck.com/omochi/sukuriputo-swiftnoxing-tui-lun-woxue-bou

                                Swiftの型推論を学ぼう | Let's Learn About Type Inference in Swift

                              • TypeScriptの型推論(type inference)を理解する - Qiita

                                はじめに TypeScript には型推論という機能があり、すべての変数/引数において型アノテーションを書く必要がない。 うまく使えばコード量を大幅に減らし、コードの可読性も高めることができる。 型推論とは 型推論（かたすいろん、英: type inference）とはプログラミング言語の機能の 1 つで、静的な型付けを持つ言語において、変数や関数シグネチャの型を明示的に宣言しなくても、初期化のための代入式の右辺値や関数呼び出し時の実引数などといった、周辺情報および文脈などから自動的に（暗黙的に）各々の型を決定する機構のこと。 変数/引数に対して明示的に型を宣言しなくても、周辺の文脈から型を暗黙的に決定することができる仕組みのことを指す。 以下が一番シンプルな型推論の例である。 この例ではxという変数に対して10を代入している。 あえて宣言をしなくても代入する値が数値型であることから、コン

                                  TypeScriptの型推論(type inference)を理解する - Qiita

                                • Local Variable Type Inference: Style Guidelinesを読んだ - kagamihogeの日記

                                  javaのvarをどう使うかについて何か良い資料無いかな、とぐぐってたら本家にあったので読んで訳した。とはいえ、ごく当たり前のことで、まとめれば、極めて狭いスコープかつ変数名は可読性を損なわないように、プラスでジェネリクスとかダイヤモンド演算子とかリテラルとかの注意事項が少々、といったところか。 特記事項としてはIDE以外でも読めるように、のくだり。これは現在でも起こる問題で、たとえば、ぐぐって出てきたjavaのサンプルコードでクラス名が欠落しているが、正にそのクラス名が知りたい、といったケース。varはそれに拍車をかける可能性が高いので、その場合は注意しないといけない。 https://openjdk.java.net/projects/amber/LVTIstyle.html Local Variable Type Inference: Style Guidelines Stuart

                                    Local Variable Type Inference: Style Guidelinesを読んだ - kagamihogeの日記
                                  1

                                  はてなブックマーク

                                  公式Twitter

                                  はてなのサービス

                                  • App Storeからダウンロード
                                  • Google Playで手に入れよう
                                  Copyright © 2005-2024 Hatena. All Rights Reserved.