GitHub - LuxLang/lux: The Lux Programming LanguageYou 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
Ruby 㧠Contracts を使ã£ã¦å‹•çš„åž‹ãƒã‚§ãƒƒã‚¯ - Qiita
[妄想] Rubyã«æ¬²ã—ã„文法 ã®è¨˜äº‹ã‚’èªã‚“ã§ã„ã¦ã€ã“ã“ã«æ›¸ã„ã¦ã‚るよã†ãªå‹•çš„åž‹ãƒã‚§ãƒƒã‚¯ã§ã‚れ㰠Contracts を使ãˆã°ã„ã„ã‚“ã˜ã‚ƒãªã„ã®ã‹ãªã€ã¨æ€ã„ã¾ã—ãŸã€‚ Contracts ã¨ã¯ Contracts ã¨ã„ㆠgem ã¯ã€ãƒ¡ã‚½ãƒƒãƒ‰ã«ã‚³ãƒ¼ãƒ‰ã‚³ãƒ³ãƒˆãƒ©ã‚¯ãƒˆã‚’è¨å®šã™ã‚‹æ©Ÿæ§‹ã‚’è¿½åŠ ã™ã‚‹ã‚‚ã®ã§ã™ã€‚ コードコントラクトã¨ã„ã†ã®ã¯ã€ã‚るコード(主ã«ãƒ¡ã‚½ãƒƒãƒ‰)ã«å¯¾ã—ã¦ã€Œäº‹å‰æ¡ä»¶(pre condition)ã€ã‚„「事後æ¡ä»¶(post condition)ã€ãªã©ã‚’è¿½åŠ ã™ã‚‹ã‚‚ã®ã§ã€C++ ã‚„ .NET Framework ã§ã¯ã‚ˆã使ã‚ã‚Œã¦ã„ã‚‹(よã†ãªæ°—ãŒã™ã‚‹)ã‚‚ã®ã§ã™ã€‚ ãŸã ã€ã“ã® Contracts gem ã«ãŠã„ã¦ã¯ã€ã‚‚ã£ã¨å˜ç´”ã«ã€ã€Œãƒ¡ã‚½ãƒƒãƒ‰ã®å¼•æ•°ã¨æˆ»ã‚Šå€¤ãŒã‚ã‚‹æ¡ä»¶ã‚’満ãŸã—ã¦ã„ã‚‹ã‹ã‚’ãƒã‚§ãƒƒã‚¯ã™ã‚‹ã‚‚ã®ã€ã¨è€ƒãˆã¦è‰¯ã„ã¨æ€ã„ã¾ã™ã€‚ãã“ã«æ¡ä»¶ã‚’è¨å®šã§ãã‚‹ãªã‚‰ã€å½“然型ãƒã‚§ãƒƒã‚¯ã ã£ã¦å¯èƒ½ã§ã™ã—ã€æƒ³å®šã—ã¦ã„る用途ã¨ã—
Rubyã«åž‹ã‚’付ã‘ã‚‹Haskellã¨ã„ã†gemを作ã£ãŸãƒ¨ï¼
2020/12/27追記 https://www.ruby-lang.org/ja/news/2020/12/25/ruby-3-0-0-released/ => Ruby3.0.0ã«RBSã¨TypeProfã¨ç”¨ã„ãŸé™çš„解æžã«å¯¾ã™ã‚‹ã‚½ãƒªãƒ¥ãƒ¼ã‚·ãƒ§ãƒ³ãŒæä¾›ã•ã‚Œã¾ã—ãŸã€‚ 今後ã¯ã“ã¡ã‚‰ã®ã‚¨ã‚³ã‚·ã‚¹ãƒ†ãƒ をガンガン盛り上ã’ã¦ã„ãã¾ã—ょã†ðŸ’ª #ã‚ã„ã•ã¤ P.S. 12/11 Haskellã‹ã‚‰Rubypeã«gemを変更ã—ã¾ã—㟠ã“ã‚“ã«ã¡ã¯. 寒ã•ãŒä¸€æ®µã¨åŽ³ã—ããªã£ã¦ããŸäº‹ã‚‚ã‚ã‚Šã¾ã—ã¦å¿ƒã‚’温ã‚ã‚‹Gemを作りã¾ã—ãŸ. Rubyã®æŒ¯ã‚‹èˆžã„を汚染ã™ã‚‹äº‹ç„¡ãåž‹ä¿è¨¼ã®æ©æµã‚’ゆるãµã‚å—ã‘られるgemã§ã™ （型をã¤ã‘ã‚‹ã¨ã‹åž‹ä¿è¨¼ã¨ã„ã†è¨€è‘‰ã‚’ã“ã®æ–‡è„ˆã§ã¯ãƒ¡ã‚½ãƒƒãƒ‰ã®å¼•æ•°è¿”り値ã®ã‚¯ãƒ©ã‚¹ã‚’実行時ã«ãƒã‚§ãƒƒã‚¯ã™ã‚‹ã¨ã„ã†æ„味ã§ä½¿ã£ã¦ã„ã‚‹.） 得体ã®çŸ¥ã‚Œãªã„Gemã§æŠµæŠ—æ„ŸãŒã‚ã‚‹ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ãŒã€ã‚³ãƒ¼ãƒ‰è‡ªä½“ã¯50行以下ã®è–„ã„Gemãªã®ã§
Flow | A static type checker for JavaScript
Code Faster.Tired of having to run your code to find bugs? Flow identifies problems as you code. Stop wasting your time guessing and checking. Code Smarter.It's hard to build smart tools for dynamic languages like JavaScript. Flow understands your code and makes its knowledge available, enabling other smart tools to be built on top of Flow. Code Confidently.Making major changes to large codebases
Blog
What We Know Our key takeaways from partnering with enterprise-level engineering teams. Details How We Ensure Success Our unique and personalized approach to help you achieve your business goals. Details Your SEI Platform Get to know your custom-designed Software Engineering Intelligence (SEI) platform. Details
ã¾ã¤ã‚‚ã¨ã‚†ãã²ã‚ã•ã‚“ã€Ruby 3ã«å‘ã‘ã¦çµ„ã¿è¾¼ã‚“ã§ã¿ãŸã„アイデアをæ案 ～ RubyKaigi 2014 2日目 基調講演 | gihyo.jp
RubyKaigi 2014 レãƒãƒ¼ãƒˆ ã¾ã¤ã‚‚ã¨ã‚†ãã²ã‚ã•ã‚“ã€Ruby 3ã«å‘ã‘ã¦çµ„ã¿è¾¼ã‚“ã§ã¿ãŸã„アイデアをæ案 ～ RubyKaigi 2014 2日目 基調講演 2014å¹´9月18日～20æ—¥ã®3日間ã€ã‚¿ãƒ¯ãƒ¼ãƒ›ãƒ¼ãƒ«èˆ¹å €ã«ã¦RubyKaigi 2014ãŒé–‹å‚¬ã•ã‚Œã¾ã—ãŸã€‚基調講演をãã‚Œãžã‚Œãƒ¬ãƒãƒ¼ãƒˆã—ã¾ã™ã€‚ 2日目ã®åŸºèª¿è¬›æ¼”ã¯ã€ã¾ã¤ã‚‚ã¨ã‚†ãã²ã‚ã•ã‚“ã§ã™ã€‚ã¾ã¤ã‚‚ã¨ã•ã‚“ã¯ã€éŽåŽ»ã«é–‹å‚¬ã•ã‚ŒãŸRubyConfã§Rubyã«å–り込んã§ã¿ãŸã„アイデアをæ案ã—ã¦ãã¾ã—ãŸã€‚ã—ã‹ã—ã€æœ€è¿‘ã®ã‚«ãƒ³ãƒ•ã‚¡ãƒ¬ãƒ³ã‚¹ã§ã¯Rubyã®æœªæ¥ã«ã¤ã„ã¦ã‚ã¾ã‚Šè¨€åŠã—ã¦ã„ã¾ã›ã‚“ã§ã—ãŸã€‚ãã“ã§ä»Šå¹´ã¯ã€ŒComming Soon...ã€ã¨ã„ã†ã‚¿ã‚¤ãƒˆãƒ«ã§ã€Ruby 3ã®ã‚¢ã‚¤ãƒ‡ã‚¢ã‚’話ã—ã¾ã—ãŸã€‚ 今ã¾ã§æ案ã—ã¦ããŸã‚¢ã‚¤ãƒ‡ã‚¢ã‚’振り返る 2001å¹´ ã¾ã¤ã‚‚ã¨ã•ã‚“ã¯2001å¹´ã®RubyConfã§Rubyã®Virtual Machineを作りãŸã„ã¨ã„ã†ã‚¢ã‚¤ãƒ‡ã‚¢
Pythonã¸ã®åž‹ã‚¢ãƒŽãƒ†ãƒ¼ã‚·ãƒ§ãƒ³å°Žå…¥ã‚’目指ã™Guido van Rossumæ°
Spring Bootã«ã‚ˆã‚‹APIãƒãƒƒã‚¯ã‚¨ãƒ³ãƒ‰æ§‹ç¯‰å®Ÿè·µã‚¬ã‚¤ãƒ‰ 第2版 何åƒäººã‚‚ã®é–‹ç™ºè€…ãŒã€InfoQã®ãƒŸãƒ‹ãƒ–ック「Practical Guide to Building an API Back End with Spring Bootã€ã‹ã‚‰ã€Spring Bootを使ã£ãŸREST API構築ã®åŸºç¤Žã‚’å¦ã‚“ã 。ã“ã®æœ¬ã§ã¯ã€å‡ºç‰ˆæ™‚ã«æ–°ã—ãリリースã•ã‚ŒãŸãƒãƒ¼ã‚¸ãƒ§ãƒ³ã§ã‚ã‚‹ Spring Boot 2 を使用ã—ã¦ã„る。ã—ã‹ã—ã€Spring Boot3ãŒæœ€è¿‘リリースã•ã‚Œã€é‡è¦ãªå¤‰...
F7: Refinement Types for F# - Microsoft Research
F7 is an enhanced typechecker for the F# programming language, a dialect of ML. F7 pioneers the static checking of security properties expressed with refinement types. Although the original motivation was to check security properties, F7 is not security-specific and is applied in other areas, such as database modelling. The theoretical core of F7 is the typed lambda-calculus Refined Concurrent FPC
TypeScriptã®d.tsパースã—ã¦åž‹æƒ…å ±ã‚’æŠœã出ã™ã®ä½œã£ãŸ - mizchi's blog
土日使ã£ã¦æ°—åˆã§ä½œã£ãŸã€‚ mizchi/dts-parser ã¨ã‚Šã‚ãˆãšlib.d.tsãŒãƒ‘ースã§ããŸã®ã§ã ã„ãŸã„ã®ã‚‚ã®ã¯ãƒ‘ースã§ãã‚‹ã¨æ€ã†ã€‚ パースçµæžœã®ãƒ•ã‚¡ã‚¤ãƒ«ã‚µã‚¤ã‚ºãŒå¤§ãã™ãŽã¦ãƒã‚¤ãƒŠãƒªæ‰±ã„ã•ã‚Œã¦ã¦ç¬‘ã£ãŸã€‚ https://raw.githubusercontent.com/mizchi/dts-parser/master/lib.d.ts.parsed 使ã„æ–¹ ã“ã‚“ãªåž‹å®šç¾©dummy.d.ts㌠declare module Foo { export function fun(str: string):void; export function funfun(str: string):void; export var a:number, b: Object; export var c: Object; export class Bar { f():string; x: any; }
型付ãcoffees-scriptを作り始ã‚㟠- mizchi's blog
ãŸã¶ã‚“僕ã¯äººé¡žã®æ€ 惰を極ã‚ãŸã‚ˆã†ãªcoffee-scriptã®æ–‡æ³•ãŒå¥½ãã™ãŽã‚‹ã®ã ã‘ã©ã€ãã®çµæžœåž‹ã‚’書ã‘ã‚‹coffee-scriptを作り始ã‚ã¦ã—ã¾ã£ãŸã€‚ Forkå…ƒã¯CoffeeScriptRedux mizchi/CoffeeScriptRedux https://github.com/mizchi/CoffeeScriptRedux/tree/type ã¨ã‚Šã‚ãˆãšä»Šã®ç‰ˆã ã¨æ¬¡ã®ã‚³ãƒ¼ãƒ‰ãŒé€šã‚‹ã€‚ 目標 x :: Number = 3 y :: String = "hello" z :: Boolean = false # z :: String = 4 #=> Error # y = x #=> Error a :: Any = 3 a = 'fadfa' b = 'a' fn :: Function = -> x = 3 n = -> i = '' f2 :: Function = (
type-check - JavaScript type checking at runtime library with Haskell like type syntax
type-check demo type-check is a library which allows you to check the types of JavaScript values at runtime with a Haskell like type syntax. It is great for checking external input, for testing, or even for adding a bit of safety to your internal code. For more information, including documentation and more examples, please check out the README on GitHub. MIT License. Version 0.4.0 For updates on t
Erlearng+ | æ»ãªãªã„システムを作るãŸã‚ã®ãƒ¡ãƒ¢
æ»ãªãªã„システムã®æ§‹ç¯‰ã®ãŸã‚ã«è€ƒãˆãŸã‚Šã€èª¿ã¹ãŸã‚Šã—ãŸã“ã¨ã®ãƒ¡ãƒ¢ã€‚開発環境や手法ç‰ã®æ°—ã«ãªã‚‹æŠ€è¡“ã®è¨˜éŒ²ãªã©ã€‚Erlangã®åž‹ãƒã‚§ãƒƒã‚¯ã‚’ç°¡å˜ã«ã™ã‚‹ãŸã‚ã®ãƒ©ã‚¤ãƒ–ラリを教ãˆã¦ã‚‚らã£ãŸã®ã§ã€è©¦ã—ã¦ã¿ãŸã€‚ コンパイル時ã«ã‚¨ãƒ©ãƒ¼ã‚’検出ã™ã‚‹ã‚‚ã®ã ã¨æ€ã£ã¦ã„ãŸãŒã€ã©ã†ã‚„らã€-typeã§å®šç¾©ã—ãŸåž‹ã®ãƒã‚§ãƒƒã‚¯ã‚’ç°¡å˜ã«ã§ãるよã†ã«ã™ã‚‹ã‚‚ã®ã‚‰ã—ã„。 以下ã®ã‚ˆã†ãªãƒˆãƒ©ãƒ³ãƒ—ã®ã‚«ãƒ¼ãƒ‰ã§ã‚ã‚‹ã‹ã‚’判定ã™ã‚‹ã‚³ãƒ¼ãƒ‰ã‚’書ã„ã¦ã¿ãŸã€‚ -compile({parse_transform, sheriff}).を記載ã™ã‚‹ã“ã¨ã§åˆ©ç”¨ã§ãるよã†ã«ãªã‚‹ã‚ˆã†ã€‚ 実行ã—ã¦ã¿ã‚‹ã€‚ 1>card:check_trump({14,heart}). No TrumpMark {heart, 14} ok 2>card:check_trump({13,heart}). Trump card is heart 13 ok 3>card:check_tr
The Typed Racket Guide
Sam Tobin-Hochstadt <[email protected]>, Vincent St-Amour <[email protected]>, Eric Dobson <endobs[email protected]>, and Asumu Takikawa <[email protected]> Typed Racket is Racket’s gradually-typed sister language which allows the incremental addition of statically-checked type annotations. This guide is intended for programmers familiar with Racket. For an introduction to Racket,
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
GitHub - lucono/xtypejs: Elegant, highly efficient data validation for JavaScript.
http://agilecatcloud.com/2015/03/16/javascript-evolves-tech-heavyweights-battle/
postgresql-typed
TypeScript 型定義ファイルã®ã‚る開発 TypeScript勉強会 VSãƒãƒƒã‚«ã‚½ãƒ³å€¶æ¥½éƒ¨
GitHub - DefinitelyTyped/DefinitelyTyped: The repository for high quality TypeScript type definitions.
タイピングã®å¿ƒç†å¦
Institut für Pervasive Computing
{{#tags}}- {{label}}
{{/tags}}