Машинопись. Могу ли я различать время компиляции и времени выполнения?

Question

Я использую соглашения модуля CommonJS, так как я нацелен на node.js для тестирования и использования браузера, чтобы создать один .js-файл. В настоящее время мои модули циклически зависимы. То, что я хотел бы сделать, это указать, что модуль value зависит от модуля pnode, но только во время компиляции. То есть любая ошибка во время выполнения должна быть помечена как ошибка. Например. если модуль pnode объявляет тип T, то в модуле value я хотел бы, чтобы объявление, как var a : pnode.T, компилировалось без ошибок, но выражение типа new pnode.T() или a instanceof pnode.T было бы ошибкой, потому что они создают зависимость во время выполнения.

Есть ли способ сделать это?

Мотивация: В настоящее время pnode и value имеют круговую зависимость. Это нормально, если во время выполнения нет круговой зависимости. Круговая зависимость во время выполнения вызывает проблему, потому что node.js не обрабатывает ее правильно или даже предупреждает об этом. Мой текущий код выглядит следующим образом

Файл pnode.ts

import value = require('./value') ; 

module pnode { 

    export abstract class Label { 
    } 
    export class LambdaLabel { 
     step() { 
      return new value.ClosureV(this) ; 
     } 
    } 
} 

export = pnode ; 

Файл value.ts

import pnode = require('./pnode') ; // Would like to avoid this. 

module value { 

    export class ClosureV { 

     constructor(func : pnode.Label) { 

      if (func instanceof pnode.Label) // Would like an error here. 
       console.log("a") ; else console.log("b") ; 
     } 
    } 
} 

export = value; 

То, что я пытался. Я надеялся, что замена линии

import pnode = require('./pnode') ; // Would like to avoid this. 

с

/// <reference path="pnode.ts" /> 

может сделать трюк, но это не так. Существуют различные способы, с помощью которых я решил исключить круговую зависимость времени компиляции, так что это мой вариант падения.

Answer 1

Если вы собираете pnode.ts с флагом декларации вы получите этот .d.ts файл:

declare module pnode { 
    abstract class Label { 
    } 
    class LambdaLabel { 
     step(): any; 
    } 
} 
export = pnode; 

Затем, когда вы ссылаться на него:

/// <reference path="test.d.ts" /> 

module value { 
    export class ClosureV { 
     constructor(func : pnode.Label) {} 
    } 
} 

Вы получите ошибку вы описали: Cannot find namespace 'pnode' ,
Это потому, что компилятор знает, что этот файл .d.ts представляет собой модуль CommonJS, потому что он заканчивается export = pnode;.

Если вы удалите эту строку (или прокомментируйте ее), ошибка исчезнет. Вам нужно будет удалить эту строку после каждой компиляции (или иметь скрипт, который сделает это для вас), но она будет работать.

В любом случае я считаю, что наличие третьего модуля, который действует как общий модуль для других, даст вам больше гибкости, так как вы также сможете иметь общие классы/функции, доступные во время выполнения.
Не говоря уже о том, что после компиляции вам не нужно предпринимать другие действия.