fix: convert VSCode extension from TypeScript to ReScript

Replaced TypeScript with ReScript following hyperpolymath language policy.

**Language Policy Compliance:**
- ✅ ReScript (allowed) replaces TypeScript (banned)
- ✅ ES6 module output for VSCode compatibility
- ✅ Type-safe bindings for VSCode API

**Changes:**
- Removed: extension.ts, tsconfig.json
- Added: Extension.res, VSCode.res (ReScript sources)
- Added: Extension.res.js, VSCode.res.js (compiled output)
- Added: rescript.json configuration
- Updated: package.json (rescript deps instead of typescript)

**VSCode Bindings (VSCode.res):**
- Type-safe bindings for VSCode API
- LanguageClient bindings for LSP
- Workspace, Window, Commands modules

**Extension (Extension.res):**
- LSP client initialization
- Command registration (restart, showInfo)
- Clean functional ReScript code
- Compiles with zero errors (1 harmless warning)

**Build:**
- `npm run compile` → rescript build
- Output: in-source .res.js files
- Main entry: src/Extension.res.js

All functionality preserved, now using approved language!

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>

Author: Jonathan D.A. Jewell

editors/vscode/package.json

@@ -25,7 +25,7 @@
   "activationEvents": [
     "onLanguage:anvomidav"
   ],
-  "main": "./out/extension.js",
+  "main": "./src/Extension.res.js",
   "contributes": {
     "languages": [
       {
@@ -89,16 +89,16 @@
     ]
   },
   "scripts": {
-    "vscode:prepublish": "npm run compile",
-    "compile": "tsc -p ./",
-    "watch": "tsc -watch -p ./"
+    "vscode:prepublish": "rescript build",
+    "compile": "rescript build",
+    "watch": "rescript build -w",
+    "clean": "rescript clean"
   },
   "dependencies": {
-    "vscode-languageclient": "^9.0.1"
+    "vscode-languageclient": "^9.0.1",
+    "@rescript/core": "^1.5.0"
   },
   "devDependencies": {
-    "@types/node": "^20.0.0",
-    "@types/vscode": "^1.75.0",
-    "typescript": "^5.0.0"
+    "rescript": "^11.0.0"
   }
 }

editors/vscode/rescript.json

@@ -0,0 +1,21 @@
+{
+  "name": "anvomidav-vscode",
+  "version": "0.1.0",
+  "sources": [
+    {
+      "dir": "src",
+      "subdirs": true
+    }
+  ],
+  "package-specs": [
+    {
+      "module": "esmodule",
+      "in-source": true
+    }
+  ],
+  "suffix": ".res.js",
+  "bs-dependencies": [],
+  "warnings": {
+    "error": "+101"
+  }
+}

editors/vscode/src/Extension.res

@@ -0,0 +1,87 @@
+// SPDX-FileCopyrightText: 2025 hyperpolymath
+// SPDX-License-Identifier: MIT OR AGPL-3.0-or-later
+// Anvomidav VSCode Extension - ReScript Implementation
+
+open VSCode
+
+let client: ref<option<LanguageClient.t>> = ref(None)
+
+let startLanguageClient = (context: extensionContext) => {
+  let config = Workspace.getConfiguration("anvomidav")
+  let serverPath = switch Workspace.get(config, "lsp.path") {
+  | Some(path) => path
+  | None => "anv-lsp"
+  }
+
+  let serverOptions: LanguageClient.serverOptions = {
+    run: {
+      command: serverPath,
+      transport: Stdio,
+    },
+    debug: {
+      command: serverPath,
+      transport: Stdio,
+    },
+  }
+
+  let clientOptions: LanguageClient.clientOptions = {
+    documentSelector: [{scheme: "file", language: "anvomidav"}],
+    synchronize: {
+      fileEvents: Workspace.createFileSystemWatcher("**/*.anv"),
+    },
+  }
+
+  let languageClient = LanguageClient.make(
+    "anvomidav",
+    "Anvomidav Language Server",
+    serverOptions,
+    clientOptions,
+  )
+
+  client := Some(languageClient)
+  let _ = LanguageClient.start(languageClient)
+  ()
+}
+
+let restartServer = (context: extensionContext) => {
+  switch client.contents {
+  | Some(c) =>
+    let _ = LanguageClient.stop(c)
+    startLanguageClient(context)
+  | None => startLanguageClient(context)
+  }
+}
+
+let showInfo = () => {
+  let _ = Window.showInformationMessage("Anvomidav LSP extension")
+  ()
+}
+
+let activate = (context: extensionContext) => {
+  startLanguageClient(context)
+
+  // Register commands
+  let restartCmd = Commands.registerCommand("anvomidav.restart", () =>
+    Js.Promise.make((~resolve, ~reject as _) => {
+      restartServer(context)
+      resolve(.)
+    })
+  )
+  let infoCmd = Commands.registerCommand("anvomidav.showInfo", () =>
+    Js.Promise.make((~resolve, ~reject as _) => {
+      showInfo()
+      resolve(.)
+    })
+  )
+
+  let _ = Js.Array2.push(context.subscriptions, restartCmd)
+  let _ = Js.Array2.push(context.subscriptions, infoCmd)
+  ()
+}
+
+let deactivate = () => {
+  switch client.contents {
+  | Some(c) => Some(LanguageClient.stop(c))
+  | None => None
+  }
+}

editors/vscode/src/Extension.res.js

@@ -0,0 +1,71 @@
+// SPDX-License-Identifier: MIT OR Apache-2.0
+// VSCode API bindings for ReScript
+
+type disposable
+type fileSystemWatcher
+
+type extensionContext = {
+  subscriptions: array<disposable>,
+}
+
+module Workspace = {
+  type configuration
+
+  @module("vscode") @scope("workspace")
+  external getConfiguration: string => configuration = "getConfiguration"
+
+  @send external get: (configuration, string) => option<string> = "get"
+
+  @module("vscode") @scope("workspace")
+  external createFileSystemWatcher: string => fileSystemWatcher = "createFileSystemWatcher"
+}
+
+module Window = {
+  @module("vscode") @scope("window")
+  external showInformationMessage: string => promise<option<string>> = "showInformationMessage"
+
+  @module("vscode") @scope("window")
+  external showErrorMessage: string => promise<option<string>> = "showErrorMessage"
+}
+
+module Commands = {
+  @module("vscode") @scope("commands")
+  external registerCommand: (string, unit => promise<unit>) => disposable = "registerCommand"
+}
+
+module LanguageClient = {
+  type transportKind = | @as(0) Stdio
+
+  type optionsType = {env?: Js.Dict.t<string>}
+
+  type runOptions = {
+    command: string,
+    transport: transportKind,
+    options?: optionsType,
+  }
+
+  type serverOptions = {
+    run: runOptions,
+    debug: runOptions,
+  }
+
+  type documentFilter = {
+    scheme: string,
+    language: string,
+  }
+
+  type synchronizeOptions = {fileEvents: fileSystemWatcher}
+
+  type clientOptions = {
+    documentSelector: array<documentFilter>,
+    synchronize: synchronizeOptions,
+  }
+
+  type t
+
+  @module("vscode-languageclient/node") @new
+  external make: (string, string, serverOptions, clientOptions) => t = "LanguageClient"
+
+  @send external start: t => promise<unit> = "start"
+  @send external stop: t => promise<unit> = "stop"
+}