Pre-Scheme
NewsProjectsReferencesRoadmapPre-Scheme is a statically typed dialect of the Scheme programming language, combining the flexibility of Scheme with the efficiency and low-level machine access of C. The compiler uses type inference, partial evaluation, and other correctness-preserving transformations to compile a subset of Scheme into C with no additional runtime overhead. This makes Pre-Scheme a vi
The Hackett Programming Language
WARNING: The contents of this manual are considered unstable, experimental, and subject to change; compatibility will not be maintained. Hackett is a statically typed, pure, lazy, functional programming language in the Racket language ecosystem. Despite significant differences from #lang racket, Hackett shares its S-expression syntax and powerful, hygienic macro system. Unlike Typed Racket, Hacket
Introduction - Typechecker Zoo
Press ↠or → to navigate between chapters Press S or / to search in the book Press ? to show this help Press Esc to hide this help Typechecker Zoo This is a pet project of mine I’ve been working on for a while. We’re going to create minimal implementations of the most successful static type systems of the last 50 years. This will involve making toy implementations of programming languages and the
Loogle!
About Loogle searches Lean and Mathlib definitions and theorems. You can use Loogle from within the Lean4 VSCode language extension using (by default) Ctrl-K Ctrl-S. You can also try the #loogle command from LeanSearchClient, the CLI version, the Loogle VS Code extension, the lean.nvim integration or the Zulip bot. Usage Loogle finds definitions and lemmas in various ways: By constant: 🔠Real.sin
Rustã§å˜ä¸€åŒ–を書ãスマートãªæ–¹æ³•ã‚’考ãˆãŸ
課題 Rustã§ã‚·ãƒ³ãƒ—ルãªå˜ä¸€åŒ–を書ãã“ã¨ã‚’考ãˆã¾ã™ã€‚å˜ä¸€åŒ–ã¯ä¸»ã«åž‹æŽ¨è«–ã®å®Ÿè£…ã«ç”¨ã„られã¾ã™ã€‚ ã“ã“ã§ã¯ä»¥ä¸‹ã®æ–¹é‡ã§å®Ÿè£…ã—ã¾ã™ã€‚ 一階ã®å˜ä¸€åŒ–。 変数ã¯éžè² æ•´æ•°ã®idã§è¡¨ç¾ã—ã€0ã‹ã‚‰é †ã«ä»˜ç•ªã™ã‚‹ã€‚ 変数以外ã®é …ã¯Rustã®ADTを使ã£ãŸé€šå¸¸ã®æœ¨æ§‹é€ ã§è¡¨ç¾ã—ã€ãƒŽãƒ¼ãƒ‰ã®å…±æœ‰ã¯è¡Œã‚ãªã„。 変数å‚ç…§ã®ç¸®ç´„ã¯è¡Œã‚ãªã„。 ã“ã®æ–¹é‡ã®ã‚‚ã¨å®Ÿè£…ã™ã‚‹ã¨ã€ãŠã‚ˆã以下ã®ã‚ˆã†ãªã‚³ãƒ¼ãƒ‰ã«ãªã‚Šã¾ã™ã€‚ #[derive(Debug, Clone)] pub struct UnifyEnv { vars: Vec<Option<Type>>, } #[derive(Debug)] pub struct UnificationFailure; #[derive(Debug, Clone, PartialEq, Eq)] pub enum Type { Var(usize), Constr { constr: u32, ar
ã„ã‚ã‚“ãªãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®ã‚¢ãƒ‰ãƒ›ãƒƒã‚¯å¤šç›¸ - Qiita
TL;DR アドホック多相ã¯åž‹ã‚¯ãƒ©ã‚¹ã˜ã‚ƒãªãã¦ã‚‚実ç¾ã§ãる。 Haskell, Rust, Scalaã§ã¯å¾Œä»˜ã‘ã§æ‹¡å¼µã§ãã‚‹ã‘ã©ã€ãã‚Œã¯ã‚¢ãƒ‰ãƒ›ãƒƒã‚¯å¤šç›¸ã®æœ¬è³ªã§ã¯ãªã„。 アドホック多相(Ad hoc polymorphism) ウィã‚ペディアã¯è¾žæ›¸ã§ã¯ãªã„ã®ã¯ã‚ã‹ã£ã¦ã„ã¾ã™ãŒã€ãã‚Œã§ã‚‚ 英語版Wikipediaã®Ad hoc polymorphismã®ãƒšãƒ¼ã‚¸ã‚’å‚考ã«æŒ™ã’ã¦ãŠãã¾ã™ã€‚ ã–ã£ãã‚Šã¾ã¨ã‚る㨠型階層上ã¯é–¢é€£æ€§ã®ãªã„複数ã®åž‹ã®å¼•æ•°ã«é©ç”¨ã§ãã‚‹ã€å¤šç›¸çš„ãªé–¢æ•° 引数ã®åž‹ã«å¿œã˜ã¦ã€å€‹åˆ¥ã®ï¼ˆã‚¢ãƒ‰ãƒ›ãƒƒã‚¯ãªï¼‰å®Ÿè£…ã«ãƒ‡ã‚£ã‚¹ãƒ‘ッãƒã•ã‚Œã‚‹ ã¨ã€ãã‚Œã ã‘ã®ã“ã¨ã€‚ 「引数ã®åž‹ã«ã‚ˆã£ã¦åˆ¥ã®å®Ÿè£…ã«ãƒ‡ã‚£ã‚¹ãƒ‘ッãƒã•ã‚Œã‚‹ã£ã¦ã€ãれメソッドã®ã‚ªãƒ¼ãƒãƒ¼ãƒãƒ¼ãƒ‰ã¨ä½•ãŒé•ã†ã®ã€ã£ã¦ã“ã¨ãªã‚“ã§ã™ã‘ã©ã€ç‰¹ã«é•ã„ã¯ã‚ã‚Šã¾ã›ã‚“。åŒã˜ã§ã™ã€‚ã¨ã¯ã„ãˆã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã«ã‚ˆã£ã¦ã€å®Ÿç¾æ–¹æ³•ã‚„使ã„å‹æ‰‹ã¯é•ã„ã¾ã™ã€‚ãã®ã‚ãŸã‚Šã®ã“ã¨ã‚’ã€ã„ãã¤ã‹
ã‚ãªãŸã®Pythonã‚’100å€é«˜é€Ÿã«ã™ã‚‹æŠ€è¡“ / Codon入門
ã¯ã˜ã‚ã« Pythonã¯ä¸–界的ã«ã‚‚人気ã®ã‚るプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã™ãŒã€å®Ÿè¡Œé€Ÿåº¦ã«ã¤ã„ã¦ã¯èª²é¡ŒãŒã‚ã‚Šã¾ã™ã€‚Pythonã®å®Ÿè¡Œé€Ÿåº¦ã‚’高速化ã—ãŸã„ã€ã¨ã„ã†è¦æ±‚ã¯æ ¹å¼·ãã€ã“ã‚Œã¾ã§ã«ã‚‚様々ãªãƒ„ールや処ç†ç³»ãŒé–‹ç™ºã•ã‚Œã¦ã„ã¾ã™ã€‚ ã“ã®è¨˜äº‹ã§ã¯MITã®ç ”究者らãŒé–‹ç™ºã—ãŸPythonを高速化ã™ã‚‹ãƒ„ール「Codonã€ã«ã¤ã„ã¦ç´¹ä»‹ã—ã¾ã™ã€‚ ã“ã®è¨˜äº‹ã‚’3è¡Œã§ã¾ã¨ã‚ã‚‹ã¨ï¼š 高性能ã§ç°¡å˜ã«æ‰±ãˆã‚‹Pythonコンパイラ「Codon〠Pythonã¨ã®äº’æ›æ€§ãŒã‚ã‚ŠãªãŒã‚‰ã€Cã‚„C++ã«åŒ¹æ•µã™ã‚‹é«˜é€ŸåŒ–ã‚’å®Ÿç¾ å®Ÿéš›ã«PythonコードãŒ100å€é€Ÿããªã‚‹ã“ã¨ã‚’検証 Codonã¨ã¯ Codonã¯é«˜æ€§èƒ½ãªPythonコンパイラã§ã™ã€‚実行時ã®ã‚ªãƒ¼ãƒãƒ¼ãƒ˜ãƒƒãƒ‰ãªã—ã«Pythonコードをãƒã‚¤ãƒ†ã‚£ãƒ–ãªãƒžã‚·ãƒ³ã‚³ãƒ¼ãƒ‰ã«ã‚³ãƒ³ãƒ‘イルã—ã€ã‚·ãƒ³ã‚°ãƒ«ã‚¹ãƒ¬ãƒƒãƒ‰ã§10-100å€ä»¥ä¸Šã®é«˜é€ŸåŒ–ãŒå®Ÿç¾ã§ãã¾ã™ã€‚Codonã®é–‹ç™ºã¯Github上ã§è¡Œã‚ã‚Œã¦ãŠã‚Šã€2021
BLisp: A Statically Typed Lisp Like Language
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.
Zig 言語用ライブラリ basis-concept を書ãã¾ã—㟠- ::Eldesh a b = LEFT a | RIGHT b
Zig 言語用ã®ãƒ©ã‚¤ãƒ–ラリ basis-concept を書ãã¾ã—ãŸã®ã§ãã®ç´¹ä»‹ã‚’ã—ã¾ã™ã€‚ > github.com/eldesh/basis_concept åº Zig ã¯æ‰‹ç¶šãçš„ãªåž‹ä»˜ã言語ã§ã™ã€‚表ç¾åŠ›ã¨ã—ã¦ã¯ã€åž‹ä¸Šã®ã‚³ãƒ³ãƒ‘イル時計算ã«ã‚ˆã‚Šã‚¢ãƒ‰ãƒ›ãƒƒã‚¯å¤šç›¸ã‚’表ç¾å‡ºæ¥ã¾ã™ã€‚ ãŸã ã—型コンストラクタや部分特殊化ãŒç„¡ã„ãŸã‚ã€åž‹ã®åˆ†é¡žã‚’システマãƒãƒƒã‚¯ã«è¡Œã†ã®ãŒé¢å€’ã«ãªã£ã¦ã„ã¾ã™ã€‚ ã“ã®ãƒ©ã‚¤ãƒ–ラリã¯åž‹ä¸Šã®è¿°èªžã«ã‚ˆã£ã¦åŸºæœ¬çš„ãªåž‹ã®åˆ†é¡žæ–¹æ³•ã¨ãれらã®ä¸Šã®ã‚¸ã‚§ãƒãƒªãƒƒã‚¯ãªé–¢æ•°ã‚’æä¾›ã™ã‚‹ãƒ¦ãƒ¼ãƒ†ã‚£ãƒªãƒ†ã‚£ãƒ¼ãƒ©ã‚¤ãƒ–ラリã§ã™ã€‚ Concept ã“ã®ãƒ©ã‚¤ãƒ–ラリã§ã¯åž‹ã‚’分類ã™ã‚‹ãŸã‚ã®è¿°èªžã‚’コンセプトã¨å‘¼ã³ã¾ã™ã€‚主ãªã‚³ãƒ³ã‚»ãƒ—トを紹介ã—ã¾ã™ã€‚ Eq ç‰å€¤æ¯”較をå¯èƒ½ãªåž‹ã§ã™ã€‚== ã§æ¯”較ã§ãã€ã‹ã¤ãƒã‚¤ãƒ³ã‚¿ã‚’å«ã¾ãªã„åž‹ã¯è‡ªå‹•çš„ã«ã“ã®ã‚³ãƒ³ã‚»ãƒ—トを満ãŸã—ã¾ã™ã€‚eq 㨠ne ã¨ã„ã†é–¢æ•°ã‚’æŒã£ã¦ã„ã‚‹åž‹ã®å ´åˆã‚‚ã“ã®ã‚³ãƒ³ã‚»ãƒ—トを満ãŸã—ã¾
Zig ã®æ–‡æ›¸èªã‚“ã§æ‰€æ„Ÿã‚’記㙠- Qiita
ã“ã‚Œã¯ä½•ï¼Ÿ Zig ã‚’å¦ã¼ã†ã¨ å…¬å¼æ–‡æ›¸ (0.91時点) ã‚’èªã‚“ã§ã„ã‚‹ã‚“ã ã‘ã©ã€èªã¿ãªãŒã‚‰æ€ã£ãŸã“ã¨ã‚’記ã—ã¦ã„ã。 続編㯠Zig ã®æ–‡æ›¸èªã‚“ã§æ‰€æ„Ÿã‚’記㙠#2 ã¸ã€‚ ãã®å‰ã« Zig ã¸ã®è¨€åŠãŒæœ€è¿‘多ã„ãªãã€ã§ã‚‚シンプルãªè¨€èªžã ã£ã¦è¨€ã†ã—ã¾ã‚ã©ã†ã§ã‚‚ã„ã„ã‹ãªãã€ãらã„ã®æ°—æŒã¡ã§ã„ãŸã‚“ã ã‘ã©ã€Zigã¯CMakeã®ä»£æ›¿ã¨ãªã‚‹ã‹ ã‚’èªã‚“ã§ã€ä¿„然興味ãŒæ¹§ã„ã¦ãã¦ã€ã˜ã‚ƒã‚èªã‚“ã§ã¿ã‚‹ã‹ã€ã¨æ€ã£ãŸã€‚ 数値 i32 ã¨ã‹ u16 ã®ã‚ˆã†ãªåå‰ã§åž‹ãŒæä¾›ã•ã‚Œã¦ã„る。 整数㯠128bit ã¾ã§ã‚る。ãã‚Œã°ã‹ã‚Šã‹ã€ 3bit ã¨ã‹ 53bit ã®ã‚ˆã†ãªä¸é€”åŠç«¯ãªå¹…ã®æ•´æ•°ã‚‚使ãˆã‚‹æ¨¡æ§˜ã€‚é¢ç™½ã„。 ã•ã‚‰ã«ã€‚何ã«ä½¿ã†ã®ã‹ã‚ã‹ã£ã¦ãªã„ã‘ã©ã€ i0 u0 ã®ã‚ˆã†ãªã‚¼ãƒãƒ“ットã®æ•´æ•°ã‚‚ã‚る。 ã¡ãªã¿ã«0ビット整数ã«ã¯ 0 ãŒä»£å…¥ã§ãる。 u1 ã¯ã€ 0 ã¾ãŸã¯ 1。 i1 ã¯ã€ 0 ã¾ãŸã¯ -1 ãŒä»£å…¥å¯èƒ½ã€‚ 浮動å°æ•°ç‚¹
Goã«ãŠã‘ã‚‹åž‹ã«ã‚ˆã£ã¦SQLインジェクションを防ã方法
ã¯ã˜ã‚ã« 2022å¹´ã®ã‚»ã‚ュリティ・ã‚ャンプ全国大会ã«è¬›å¸«ã¨ã—ã¦å‚åŠ ã—ã¾ã—ãŸã€‚ãã®éš›ã«ã€Goã«ãŠã‘る脆弱性ã¸ã®å¯¾ç–ã¯ã©ã†ãªã£ã¦ã„ã‚‹ã®ã‹èª¿ã¹ã¾ã—ãŸã€‚ã“ã®è¨˜äº‹ã§ã¯ã€github.com/google/go-safeweb/safesqlãŒã©ã®ã‚ˆã†ã«SQLインジェクションを防ã„ã§ã‚‹ã®ã‹ã«ã¤ã„ã¦è§£èª¬ã—ã¾ã™ã€‚ ãªãŠã€@rungã•ã‚“ã®æ–‡æ›¸ã‚’多ã„ã«å‚考ã«ã—ã¦ãŠã‚Šã¾ã™ã€‚ã¾ãŸã€ã‚»ã‚ュリティ・ã‚ャンプã§ç”¨ã„ãŸè³‡æ–™ã¯ã“ã¡ã‚‰ã‹ã‚‰é–²è¦§ã§ãã¾ã™ã€‚ SQLインジェクションã¨ã¯ï¼Ÿ ç‹¬ç«‹è¡Œæ”¿æ³•äººæƒ…å ±å‡¦ç†æŽ¨é€²æ©Ÿæ§‹ï¼ˆIPA）ãŒå…¬é–‹ã—ã¦ã„る安全ãªã‚¦ã‚§ãƒ–サイトã®ä½œã‚Šæ–¹ã‚’見るã¨ã€SQLインジェクションã¯ä»¥ä¸‹ã®ã‚ˆã†ã«èª¬æ˜Žã•ã‚Œã¦ã„ã¾ã™ã€‚ データベースã¨é€£æºã—ãŸã‚¦ã‚§ãƒ–アプリケーションã®å¤šãã¯ã€åˆ©ç”¨è€…ã‹ã‚‰ã®å…¥åŠ›æƒ…å ±ã‚’åŸºã«SQL文（データベースã¸ã®å‘½ä»¤æ–‡ï¼‰ã‚’組ã¿ç«‹ã¦ã¦ã„ã¾ã™ã€‚ã“ã“ã§ã€SQLæ–‡ã®çµ„ã¿ç«‹ã¦æ–¹æ³•ã«å•é¡ŒãŒã‚ã‚‹å ´åˆã€æ”»æ’ƒã«ã‚ˆã£ã¦ãƒ‡ãƒ¼ã‚¿ãƒ™
ランã‚ング
ランã‚ング
メンテナンス
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
GitHub - coalton-lang/coalton: Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Moogle: Semantic search over mathlib4
String 㨠&str｜Rust ã®æ–‡å—列ã®ç¨®é¡žã¨å¤‰æ›ãƒˆãƒ¬ã‚¤ãƒˆã«ã¤ã„ã¦
GitHub - google/zerocopy: Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.
GitHub - hsk/tapl
GitHub - rudynicolop/TAPL-Coq: Coq implementations of and proofs of properties of typed-languages in Benjamin Pierce's Types and Programming Languages
GitHub - lucadp19/TaPL-Haskell: Languages from "Types and Programming Languages" implemented in Haskell.
https://www.researchgate.net/publication/228985001_Typing_Functional_Stack-Based_Languages
stal.dvi
{{#tags}}- {{label}}
{{/tags}}