이승재, 강성훈, 내가 만든 언어의 개발환경을 Visual Studio Code로 빠르고 쉽게 구축하기 #2, NDC2017
6 likes2,133 views
!["name": "invalid.kailua.dangerous"
},
"kailua-literal-type": {
"match": "b(false|nil|true)b",
"name": "constant.language.lua"
},
"kailua-prim-type": {
"match": "b(any|bool|boolean|int|integer|number|string|table|thread|userdata)b",
"name": "storage.type.kailua"
},
"kailua-keyword": {
"match": "b(assume|class|const|global|map|method|module|open|static|type|var|vector)b",
"name": "keyword.control.kailua"
},
"kailua-namelike": {
"match": "(?:b([A-Za-z_]w*)b|`(?:[^`]|.)*`)(?:s*.s*(?:b([A-Za-z_]w*)b|`(?:[^`]|.)*`))*(?=s*[=:])",
"name": "variable.other.kailua.field-or-argument-or-type-name"
},
"kailua-quoted-name": {
"begin": "`",
"beginCaptures": {
"0": {
"name": "punctuation.definition.kailua.quoted-name.begin.lua"
}
},
"end": "`|(?=n)",
"endCaptures": {
"0": {
"name": "punctuation.definition.kailua.quoted-name.end.lua"
}
},
"name": "entity.name.kailua.quoted-name",
"patterns": [
{
"match": ".",
"name": "constant.character.escape.kailua"
}
]
},
"kailua-tag": {
"match": "(?<![)[[^[]]+](?!])",
"name": "support.type.kailua.tag"
},
"kailua-internal-type": {
"match": "(?<![A-Za-z0-9_`])<.*?>",
.](https://image.slidesharecdn.com/2017-04-25ndcpartb-170427084936/85/Visual-Studio-Code-2-NDC2017-20-320.jpg)
![#[derive(Clone, PartialEq)]
pub struct Sig {
pub attrs: Vec<Spanned<Attr>>,
pub args: Spanned<Seq<TypeSpec<Spanned<ScopedId>>, Varargs>>,
pub returns: Option<Returns>,
}
--v [NO_CHECK]
--v function(x: string, y: int) --> (int, int)
#[derive(Clone, PartialEq)]
pub enum Returns {
Seq(Seq<Spanned<Kind>>),
Never(Span), // a span for `!`
}](https://image.slidesharecdn.com/2017-04-25ndcpartb-170427084936/85/Visual-Studio-Code-2-NDC2017-42-320.jpg)
이승재, 강성훈, 내가 만든 언어의 개발환경을 Visual Studio Code로 빠르고 쉽게 구축하기 #2, NDC2017
- 2. Part B
- 3. • • @senokay @lifthrasiir • http://mearie.org/ • • • Rust, , IOCCC, , IRC , …
- 4. …
- 5. 2014 1 2 3 4 5 6 7 8 9 10 11 12 2015 1 2 3 4 5 6 7 8 9 10 11 12 2016 1 2 3 4 5 6 7 8 9 10 11 12 1 CBT 2 CBT CBT PC ?
- 7. ? ?
- 8. 🌴 Kailua • • , • Rust La'aloa Beach County Park, Kailua-Kona, Hawaii © W Nowicki, CC-BY ?
- 9. 🌴 --# open lua51 --v function(id: int) —> {id = int, name = string, meta = Meta?} local function build_packet(id) local p = {} p.id = id p.name = to_name(id) p.aliases = {} --: vector<string> if has_meta then local meta = get_meta_from_json(id) --# assume meta: Meta p.meta = meta end return p end ( )
- 10. 1 .
- 11. ? ! nil 💩 IDE …
- 12. Visual Studio? • Visual Studio Gideros Studio … • VS ! • API : MEF, COM (EnvDTE) • API • COM … …
- 13. Visual Studio Code • • • VS ! • JavaScript TypeScript
- 14. 2015 1 2 3 4 5 6 7 8 9 10 11 12 2016 1 2 3 4 5 6 7 8 9 10 11 12 2017 1 2 3 VS VS Code NDC VS !!! Star Trek: The Next Generation © Paramount Pictures
- 16. VS Code ? 8
- 17. Read The Fine Manual • . • … • https://code.visualstudio.com/Docs/extensionAPI/vscode-api TypeScript • https://github.com/Microsoft/language-server-protocol • https://www.bpak.org/blog/?p=2160 ( )
- 18. IDE ( ) ( ) , ( …) ( )
- 19. IDE : • . ( VS Code ) • • “TM ” • . .
- 20. "name": "invalid.kailua.dangerous" }, "kailua-literal-type": { "match": "b(false|nil|true)b", "name": "constant.language.lua" }, "kailua-prim-type": { "match": "b(any|bool|boolean|int|integer|number|string|table|thread|userdata)b", "name": "storage.type.kailua" }, "kailua-keyword": { "match": "b(assume|class|const|global|map|method|module|open|static|type|var|vector)b", "name": "keyword.control.kailua" }, "kailua-namelike": { "match": "(?:b([A-Za-z_]w*)b|`(?:[^`]|.)*`)(?:s*.s*(?:b([A-Za-z_]w*)b|`(?:[^`]|.)*`))*(?=s*[=:])", "name": "variable.other.kailua.field-or-argument-or-type-name" }, "kailua-quoted-name": { "begin": "`", "beginCaptures": { "0": { "name": "punctuation.definition.kailua.quoted-name.begin.lua" } }, "end": "`|(?=n)", "endCaptures": { "0": { "name": "punctuation.definition.kailua.quoted-name.end.lua" } }, "name": "entity.name.kailua.quoted-name", "patterns": [ { "match": ".", "name": "constant.character.escape.kailua" } ] }, "kailua-tag": { "match": "(?<![)[[^[]]+](?!])", "name": "support.type.kailua.tag" }, "kailua-internal-type": { "match": "(?<![A-Za-z0-9_`])<.*?>", .
- 21. • , . • … • • ( : )
- 22. IDE : • Language Server . • ???
- 23. TypeScript
- 24. IDE : • Language Server . • • → , ! • .
- 25. • IDE . • VS Code • IDE • , . local x = {} local y = x .. 'string' .. `{...}` ( ) `"string"` └ `{...}` ( ) `(number|string)` (10:11) string
- 26. IDE : • ? • , • • . • VS …
- 27. IDE : + • ? • , • • . • VS … • .
- 28. IDE : + • ? • , • • . • VS … • …
- 29. 🌴 ! IDE • • • • • • • 1 , IDE 2 6 … VS 2 ?
- 30. 🌴 ! • IDE . • ? ? ? … • IDE .
- 31. IDE : • IDE … • . • • ( ) , • , .
- 32. local x = {a = 3, b = 'string'} local y = x. a b • . • partial parsing • ( ) • .
- 33. ©
- 37. 🌴 II +
- 38. v2 • nil … • nil • C# • TypeScript v1
- 39. T? nil , . . T nil . nil . T! nil ( ). T? . T . .
- 40. • nil ! • ( nil ) • ( ) ! • union type , nil •
- 41. IDE : • Spanned<T> • , Source • generic … • SpannedSlotSeq orz • ,
- 42. #[derive(Clone, PartialEq)] pub struct Sig { pub attrs: Vec<Spanned<Attr>>, pub args: Spanned<Seq<TypeSpec<Spanned<ScopedId>>, Varargs>>, pub returns: Option<Returns>, } --v [NO_CHECK] --v function(x: string, y: int) --> (int, int) #[derive(Clone, PartialEq)] pub enum Returns { Seq(Seq<Spanned<Kind>>), Never(Span), // a span for `!` }
- 43. IDE : • (…) • (Report) • • IDE (TypeReport) • • … orz
- 44. IDE : • futures-rs , • CPU futures-rs I/O (tokio ) • I/O CPU • • Rayon
- 45. • 1 . … --8<-- assume-table local f = function() end --# assume f: table local p = f.index --@< Error: Cannot index `table` without further type information; specify more detailed type, or use `--# assume` as a last resort --! error --8<-- conjunctive-lhs-1 local a = ('string' and 53) + 42 --! ok --8<-- conjunctive-lhs-2 local a = (53 and 'string') + 42 --@< Error: Cannot apply + operator to `"string"` and `42` --@^ Cause: `"string"` is not a subtype of `number` --! error .
- 46. • • … • Line coverage path coverage • cargo-fuzz cargo-fuzz • / ?
- 47. • … ~/Works/git/kailua$ tokei ------------------------------------------------------------------------------- Language Files Lines Code Comments Blanks ------------------------------------------------------------------------------- JSON 5 491 491 0 0 Lua 17 8365 2781 4201 1383 Markdown 5 983 983 0 0 Rust 60 29152 22122 3199 3831 TOML 11 304 262 1 41 TypeScript 4 225 161 30 34 ------------------------------------------------------------------------------- Total 102 39520 26800 7431 5289 -------------------------------------------------------------------------------
- 48. vs Rust • . . • Rust : • , • , • Fearless Refactoring
- 49. … • , • ( ) • … • ; • .