Slide 43
Slide 43 text
Problem
• Running type checking on every single key hit blocks user's interaction
line = io.get
line = io.gets
line = io.getsa
{
method: "textDocument/didChange",
params: {
textDocument: {
uri: "/home/soutaro/src/foo/bar.rb",
version: 12
},
contentChanges: [
{
range: {
start: { line: 0, character: 12 },
end: { line: 0, character: 13 }
},
text: "t"
}
]
}
}
{
method: "textDocument/didChange",
params: {
textDocument: {
uri: "/home/soutaro/src/foo/bar.rb",
version: 12
},
contentChanges: [
{
range: {
start: { line: 0, character: 13 },
end: { line: 0, character: 14 }
},
text: "s"
}
]
}
}
{
method: "textDocument/didChange",
params: {
textDocument: {
uri: "/home/soutaro/src/foo/bar.rb",
version: 12
},
contentChanges: [
{
range: {
Start type checking
Still type checking...