Rubyセミナー 東京 https://www.ruby.or.jp/ja/news/20240702
タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
"型"のあるRailsアプリケーション開発 / Typed Rails application development
Rubyセミナー 東京 https://www.ruby.or.jp/ja/news/20240702
GitHub - g-plane/typed-query-selector: Better typed `querySelector` and `querySelectorAll`.
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
TSKaigi 2024 https://tskaigi.org/ Lightning Talk
Swiftがオープンソースになって以来、長年議論され続けてきたTyped throwsの提案がついに承認されました。これは、throws節にエラー型を指定できる新しい言語機能であり、Swift 6から導入されます。 Swiftにおけるエラーハンドリングの考え方は、Swift 2でthrows/tr…
GitHub - rayepps/radash: Functional utility library - modern, simple, typed, powerful
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 - menduz/typed-url-params: TypeSystem based parser for url parameters
import { ParseUrlParams } from "typed-url-params" function assert<T extends string = string>(r: ParseUrlParams<T>): asserts r is ParseUrlParams<T> {} assert<"/:asd/b">({ asd: "" }) assert<"/xxx/:asd/bbb:dsa">({ asd: "", dsa: "" }) assert<"/xxx/:asd/bbb/:dsa">({ asd: "", dsa: "" }) assert<"/xxx/:asd/bbb/:dsa">({ asd: "", dsa: "" }) assert<"/:test*-bar">({ test: [] }) assert<"/:test*-bar">({}) asser
GitHub - erg-lang/erg: A statically typed language compatible with Python
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 - buzz-language/buzz: 👨🚀 buzz, A small/lightweight statically typed scripting language
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 - vekatze/neut: A dependently-typed programming language with static memory management
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
Trusted by Google, Typed is a collaborative document tool that optimizes teamwork by connecting your team’s scattered docs and workflows.
Lately I’ve been messing around with Python 3.12, discovering new features around typing and pattern matching. Combined with dataclasses, they provide support for a style of programming that I’ve employed in Kotlin and Typescript at work. That style in turn is based on what I’d do in OCaml or Haskell, like modelling data with algebraic data types. However, the more advanced concepts from Haskell —
Angular 14正式リリース。Typed Angular FormsやStandalone Componentsなど新機能
Angular 14正式リリース。Typed Angular FormsやStandalone Componentsなど新機能 Webアプリケーションフレームワーク「Angular」の最新版となる「Angular 14」が正式にリリースされました。 Angular v14 is here#ngUpdate includes: Strictly typed forms! Streamlined page title accessibility CLI autocomplete a developer preview of standalone components! & so much more! Learn all about v14: https://t.co/I3mvnb2CSX pic.twitter.com/nYtpOm4KXi — Angular (@angular) June
GitHub - borgo-lang/borgo: Borgo is a statically typed language that compiles to Go.
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 - alias-rahil/handwritten.js: Convert typed text to realistic handwriting!
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 - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
This repo is still very early and rough, it's mostly just notes, speculative writing, and exploratory theorem proving. Most of the files in this repo are just "mad scribblings" that I haven't refined enough to actually stand by! If you prefer video, this presentation talks about the core ideas that make formal verification and Magmide possible, and the design goals and intentions of the project: I
GitHub - zesterer/tao: A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
You can now test Tao in the browser! A statically-typed functional language with polymorphism, typeclasses, generalised algebraic effects, sum types, pattern-matching, first-class functions, currying, good diagnostics, and much more! For more example programs, see... hello.tao: Hello world input.tao: Demonstrates a more complex example of IO effects calc.tao: A CLI calculator, demonstrating parser
Googleドキュメント、PDF…数多のファイルをタスクと共に一括管理！ 画面が散らかる人は『Typed』を駆使せよ【今日のライフハックツール】 | ライフハッカー・ジャパン
モバイルバッテリーとは呼べない。「ほぼポタ電」なコレ1台で有事の時もアウトドアも大活躍!【AmazonスマイルSALE】
Compiling typed Python
It’s been nine whole years since PEP 484 landed and brought us types from on high. This has made a lot of people very angry and been widely regarded as a bad move1. Since then, people on the internet have been clamoring to find out: does this mean we can now compile Python to native code for more speed? It’s a totally reasonable question. It was one of my first questions when I first started worki
しんのきです。 自社サービスで Apollo Client の fetchMore を使ったページネーションを実装する際、出たばかりの TypedDocumentNode を思い出し、これを使えばもっとシンプルに型定義できそうだと思って調査してみました。 結果としては大きなハマりどころもなく期待通り動いてくれました。 （ちなみにドキュメントにもまだ反映されていませんが、 fetchMore と updateQueries を使ったページネーションは Apollo Client v3 で deprecated になっています。これはまた別のお話。） TypedDocumentNode とは TypedDocumentNode は graphql-codegen など GraphQL 関連のツール群を作っている The Guild が 2020 年 7 月にリリースした、 GraphQL ライ
GitHub - coalton-lang/coalton: Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
(in-package #:coalton-user) (named-readtables:in-readtable coalton:coalton) (coalton-toplevel ;; Define Coalton `Symbol`s as Lisp `cl:keyword`s. (repr :native cl:keyword) (define-type Symbol) ;; Bind a Lisp function into Coalton. (declare sym (String -> Symbol)) (define (sym s) "Create a new symbol named `s`." (lisp Symbol (s) (cl:intern s "KEYWORD"))) ;; Define equality of `Symbol` types using CL
150B で動く strictly-typed な Event Emitter を作った - mizdra's blog
超軽量で strictly-typed な (強く型付けされた) Event Emitter を作りました。 github.com 背景 従来 Event Emitter は ブラウザでは EventTarget として、Node.js では EventEmitter として、それぞれ独自に実装されていました。これらは機能的には変わりがありませんが、インターフェイスの互換性がありません。そのため、両方の環境で同じ API で動作する universal な Event Emitter が欲しければ、eventemitter3 のようなライブラリを利用する他ありませんでした。しかし、最近になってブラウザで実装されている EventTarget が Node.js に実装され始め *1*2、EventTarget が Universal な Event Emitter としての地位を確立しつつ
This page is no longer necessary. The npm and Yarn package registries now include type information for packages. You can read more on: npm displays packages with bundled TypeScript declarations. Popular Documentation PagesEveryday TypesAll of the common types in TypeScript Creating Types from TypesTechniques to make more elegant types More on FunctionsHow to provide types to functions in JavaScrip
GitHub - Vexu/bog: Small, strongly typed, embeddable language.
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
Fe - A next generation, statically typed, future-proof smart contract language for the Ethereum Virtual Machine
The next generation smart contract language for Ethereum Create decentralized applications in a powerful, future-proof and statically typed language that is easy to learn. Beautiful and elegant The syntax of Fe is largely inspired by Rust. It is easy to learn, even for those who have never dealt with the EVM before. Fe is designed to be safe and equipped with the tooling needed to validate contrac
GitHub - yarnaimo/fireschema: Strongly typed Firestore framework for TypeScript
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 - luau-lang/luau: A fast, small, safe, gradually typed embeddable scripting language derived from Lua
Luau (lowercase u, /ˈlu.aʊ/) is a fast, small, safe, gradually typed embeddable scripting language derived from Lua. It is designed to be backwards compatible with Lua 5.1, as well as incorporating some features from future Lua releases, but also expands the feature set (most notably with type annotations). Luau is largely implemented from scratch, with the language runtime being a very heavily mo
GitHub - mizdra/happy-css-modules: Typed, definition jumpable CSS Modules. Moreover, easy!
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
GoのTyped-nilの扱い
package main import "log" type S struct { value interface{} } func (s *S) Get() interface{} { return s.value } type Value interface { Get() interface{} } func Do() Value { var res *S if false { res = &S{123} } return res } func main() { v := Do() if v == nil { log.Fatal("v is empty!") } log.Println("v is not empty:", v) } 空判定に引っかからず、有意な値を返されたという処理フローになっちゃうという問題。 Typed-nil問題について これは「Typed-nil」問題といっ
現在Swift Evolutionで議論されているSE-0413 Typed throwsについて、Swiftの歴史を辿りながら紹介します。 この記事ははてなエンジニア Advent Calendar 2023の9日目の記事です。昨日は id:kouki_dan のiPadだけでアプリを作ってみるでした。ファスティング中の id:kouki_dan を関モバに誘ったのは私です。お誕生日おめでとうございました。 Swiftのエラーハンドリング Swiftのエラーハンドリングでは、2015年6月のSwift 2.0のリリース以来、エラーに型がつかない。Errorプロトコルに準拠したなんらかの型が投げられるということだけ決まっていて、それが実際にどうであるかを確認するのは（あるいは確認しないのは）、呼び出し側に任されている。do文のcatch句にはパターンが書けるので、必要に応じてハンドリングで
BLisp is a statically typed Lisp like programming language which adopts effect system for no_std environments. BLisp supports higher order RPC like higher order functions of functional programming languages.
GitHub - hjkcai/typesafe-joi: A fork of joi that produces typed validation results in TypeScript
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
Hazel is a live functional programming environment organized around typed holes. Quick Summary Hazel is a live functional programming environment that is able to typecheck, manipulate, and even run incomplete programs, i.e. programs with holes. There are no meaningless editor states. Motivation When programming, we spend a substantial amount of our time working with program text that is not yet a
Build strongly typed polymorphic components with React and TypeScript - LogRocket Blog
In this detailed (and explanatory) guide, I’ll discuss how to build strongly typed polymorphic React components with TypeScript. We’ll cover the following sections: Real-world examples of polymorphic components Chakra UI’s as prop MUI’s component prop Building a simple polymorphic component Problems with this simple implementation The as prop can receive invalid HTML elements Wrong attributes can
GitHub - losfair/RefineDB: A strongly-typed document database that runs on any transactional key-value store.
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
5日に、Visual Studio 2019 の 16.7 と、16.8 Preview 1 がリリースされました。 Visual Studio 2019 v16.7 and v16.8 Preview 1 Release Today! ということで、先週、ライブ配信もしていました。 16.7 が正式リリースになった記念に、Preview の頃に触れてた話題を改めてちょこっと振り返ったのと、16.8 Preview 1 で新たに追加された C# 9.0 の3つの機能の話でした。 C# 9.0 に今回追加されたのは以下の3つです。 Module Initializers Static anonymous functions Target-Typed Conditional Expression 今日は主にこの3つについて説明。 Module Initializers モジュール(exe (ア
Options APIを使用してNuxt.js + TypeScriptでVuexに型指定する方法（nuxt-typed-vuex） | エスマット
2020-07-13Options APIを使用してNuxt.js + TypeScriptでVuexに型指定する方法（nuxt-typed-vuex） はじめにこんにちは。エンジニアリング事業本部の@gc_tech70です。 今回自社内で新規のWebサービスの開発プロジェクトがあり、その際の開発技術としてNuxt.js + TypeScriptを採用しました。 本記事ではその開発時のナレッジとして、Nuxt.js + TypeScript環境におけるVuexの型指定の方法についてご紹介させていただきたいと思います。 ※TypeScriptを使用する理由は多くの記事で語られていると思いますので、この記事ではあえて言及はしません。 Nuxt.js + TypeScriptでの技術選定まず最初にNuxt.js + TypeScriptと言っても現状（2020年7月12日時点）では技術選定として
GitHub - vtereshkov/umka-lang: Umka: a statically typed embeddable scripting language
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
One of the ways you can classify a programming language is by how strongly or weakly typed it is. Here, “typed” means if variables are known at compile time. An example of this would be a scenario where an integer (1) is added to a string containing an integer ("1"): result = 1 + "1"; The string containing an integer could have been unintentionally generated from a complicated suite of logic with
2022年末に正式リリースされた Nuxt 3 ですが、数多くの強力な機能を備えており、リリース後にもマイナーバージョンアップを続けているため、意外と知られていない機能が眠っていたりします。 今回はその中でも、かなり多くの方がその恩恵を受けられるはずなのに、少し知名度の低い印象のある、Typed Pages 機能について紹介したいと思います。 Typed Pages とは Typed Pages は、<NuxtLink> や useRoute() などの Vue Router を利用したルーティング管理において、指定したパスが実際に存在しているかどうかを厳格にチェックしてくれるようになる機能です。 Nuxt 3 で型安全なルーティングを実現する方法として、Nuxt Typed Router というモジュールもありますが、これとは別に、実は追加ライブラリを入れなくても Nuxt 自体がビルト
GitHub - MathisBullinger/froebel: A strictly typed utility library.
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
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Powerfully Typed TypeScript
Swift 6のTyped throwsとSwiftにおけるエラーハンドリングの全体像を学ぶ
Typed — Connecting the Docs
Statically Typed Functional Programming with Python 3.12
@graphql-codegen/typed-document-node を使ってみた
Search for typed packages
SwiftにおけるTyped throwsの現在 - cockscomblog?
BLisp: A Statically Typed Lisp Like Language
Hazel, a live functional programming environment featuring typed holes.
Visual Studio 16.7 & 16.8 Preview 1 リリース / C# 9.0 の新機能3つ(module initializers, static lambda, target-typed conditional)
CSS is a Strongly Typed Language | CSS-Tricks
Nuxt 3 組み込みの新機能「Typed Pages」で型安全なルーティング
ja.wikipedia.org
note.com/merumeru99
news.yahoo.co.jp
blog.livedoor.jp/y_name
www.sankei.com
natalie.mu