State

State는 파생 노드입니다. 값을 직접 쓸 수 없고, 상류(Source나 다른 State)에서 계산돼 나옵니다. 런타임 생성자가 없습니다 — State 값은 :Compute / :With / :Gate(그리고 그 위에 얹힌 :Apply 팩토리들)의 결과로만 생깁니다. 쓰기가 필요하면 Source입니다.

이 페이지의 심볼: state:Get() · state:Compute(fn, ...deps) · state:With(...) · state:Apply(factory) · state:Observer(fn) · state:Gate(setup)

-- 설치 경로는 프로젝트 구성에 따라 다르다(00-installation 참고)
local Quad = require(<quad-base 모듈 경로>)
local QuadRoblox = require(<quad-roblox 모듈 경로>).QuadRoblox
local QuadTypes = require(<quad-types 모듈 경로>) -- 타입 주석용(`QuadTypes.State<T>` 등)
local q = Quad:UseProvider(QuadRoblox) -- quad-roblox 백엔드 설치: D/Tween/Animate/OnChange가 생긴다

타입 표기 — 타입은 quad-types 패키지에서 옵니다(QuadTypes.State<T>). q.State라는 값도, q.State<T>라는 타입도 없습니다.

export type StateData<T> = { read __quadState: true, read __quadStateValue: T, Get: (self: StateData<T>) -> T }

export type State<T> = StateData<T> & {
  Compute: <U>(self: StateData<T>, fn: (self: StateData<T>, previous: U?, ...any) -> U, ...any) -> State<U>,
  With: (self: StateData<T>, ...any) -> State<T>,
  Apply: (<U>(self: StateData<T>, factory: (State<T>) -> U) -> U) & ((self: StateData<T>, factory: { __apply: (self: any, state: any) -> any }) -> any),
  Observer: (self: StateData<T>, fn: ObserverFn<T>?) -> Observer,
  Gate: (self: StateData<T>, setup: GateSetup) -> State<T>,
}

StateData<T>는 “값을 읽을 수 있는 부분”만 떼어낸 것이고, 콜백 파라미터 자리에 오는 lazy 핸들이 이 타입입니다. __quadStateValue는 타입에만 있는 팬텀 필드입니다 — 런타임 값에는 없으니 읽지 마세요. State<T>는 주석 자리에서 불변입니다(State<number>는 State<number | UDim> 자리에 들어가지 않습니다). 값을 넘겨받는 자리들은 그래서 공변 마커 타입을 요구합니다 — Quadnomicon Vol. 4.

print(state)는 캐시가 유효할 때 State(<값>), 아직 계산 전이거나 무효화된 상태면 State(?)로 찍힙니다. 출력을 위해 계산을 돌리지 않기 때문입니다. :Gate가 끼운 게이트 노드는 같은 모양을 이름만 바꿔 씁니다 — Gate(2), 캐시가 무효면 Gate(?).

`state:Get()`

시그니처

Get: (self: StateData<T>) -> T

반환 — 이 노드의 현재 값.

동작

lazy입니다. 아무도 :Get()을 부르지 않으면 :Compute의 함수는 돌지 않습니다. 반대로 값이 이미 최신이면 :Get()을 여러 번 불러도 재계산은 없습니다.
재계산이 필요하면 수렴할 때까지 다시 계산합니다. 계산 함수가 도는 도중에 상류가 움직였다면(재진입 :Set이든, 닫힌 게이트 뒤에 있어 통지가 못 온 변경이든) 그걸 반영해 다시 계산합니다 — 그래서 :Get()은 언제나 “가장 최신 입력으로 계산된 값”을 돌려줍니다.
이 되감기는 값만 앞당깁니다. 통지(구독자 발화)는 진짜 emit이 올 때까지 기다립니다.
⚠️ 계산 함수가 매 회차마다 자기 상류를 다시 :Set한다면 이 루프는 수렴하지 않습니다. 정의되지 않은 동작입니다.

`state:Compute(fn, ...deps)`

시그니처

Compute: <U>(self: StateData<T>, fn: (self: StateData<T>, previous: U?, ...any) -> U, ...any) -> State<U>

인자

이름	타입	설명
`fn`	`(self, previous?, ...deps) -> U`	계산 함수. 함수가 아니면 에러.
`...deps`	`State`/`Source`	후행 의존성. 리시버 외에 더 구독할 노드들. `nil`은 에러.

반환 — State<U> 노드 하나. 의존성이 여럿이어도 노드는 하나입니다(합치는 중간 노드를 만들지 않습니다).

동작

콜백이 받는 것은 값이 아니라 lazy 핸들입니다. 첫 인자 self는 리시버(:Compute를 부른 그 노드)의 핸들이고, 세 번째 인자부터는 ...deps가 넘긴 순서 그대로의 핸들입니다. 전부 :Get()으로 읽습니다.
예외는 두 번째 인자 previous입니다 — 이건 핸들이 아니라 이 노드가 직전에 계산해 둔 결과값 자체이고, 아직 한 번도 계산하지 않았으면 nil입니다. 노드마다 독립적으로 기억됩니다.
조건에 따라 self:Get()을 건너뛰는 계산도 그대로 허용됩니다 — 읽지 않으면 그 회차엔 상류를 계산하지 않습니다.
계산 결과로 Modifier를 돌려줄 수 없습니다: State: a Compute function returned a Modifier — State/Source cannot hold Modifiers
인자 검증: State: Compute fn must be a function / State: dep #{i + 1} is nil / State: dep #{i} is not a State/Source. 번호는 리시버가 1번이라, 후행 의존성의 첫 자리가 #2입니다.

strict 캐비엇 — 반환이 State<U>로 온전히 추론되지 않는 자리가 있어, 파생 노드를 만드는 줄에는 결과 타입을 주석하는 것이 이 코퍼스의 관례입니다. 또 ...deps가 ...any이므로 콜백 안에서 의존성 파라미터에 타입 주석을 다세요.

예제

local width = q.Source(2)
local height = q.Source(10)

local area: QuadTypes.State<number> = width:Compute(function(self, previous, other: QuadTypes.StateData<number>)
  return self:Get() * other:Get()
end, height)

print(area:Get()) --> 20
height:Set(20)
print(area:Get()) --> 40

`state:With(...)`

시그니처

With: (self: StateData<T>, ...any) -> State<T>

인자 — 넘긴 가변 인자는 전부 추가 의존성입니다(:Compute와 같은 검증을 받습니다).

반환 — State<T>. 값은 리시버의 것을 그대로 통과시키는 노드입니다.

동작

값은 그대로 두고 구독 범위만 넓히는 노드를 하나 만듭니다. “A의 값을 쓰되, B가 움직여도 다시 발행되어야 한다”가 필요할 때 씁니다.
:Compute처럼 계산 함수를 받지 않으므로 previous 같은 개념도 없습니다.

예제

local text = q.Source("hello")
local locale = q.Source("ko")

-- text의 값 그대로, 다만 locale이 바뀌어도 다시 흐른다
local shown: QuadTypes.State<string> = text:With(locale)
print(shown:Get()) --> hello

`state:Apply(factory)`

시그니처

Apply: (<U>(self: StateData<T>, factory: (State<T>) -> U) -> U)
     & ((self: StateData<T>, factory: { __apply: (self: any, state: any) -> any }) -> any)

인자

이름	타입	설명
`factory`	함수 또는 `__apply`를 가진 객체	이 노드를 받아 무언가를 돌려주는 애플리커티브 팩토리.

반환 — 함수 팔은 팩토리가 돌려주는 것 그대로, 객체 팔은 any입니다.

동작

함수를 넘기면 factory(self)를 그대로 부릅니다.
객체를 넘기면 메소드 형태로 factory:__apply(self)를 부릅니다 — 이 자리의 self는 팩토리 객체입니다. Blocker, Debounce/Throttle, Animate 같은 것들이 이 팔로 붙습니다.
둘 중 어느 쪽도 아니면 State: Apply factory must be a function or an object with an __apply method

strict 캐비엇 — 두 팔은 유니온이 아니라 교집합 오버로드입니다(객체가 너비 서브타이핑으로 들어가야 하기 때문). 객체 팔의 반환이 any이므로 결과 타입은 호출부에서 명시하세요:

local raw = q.Source(0)
local blocker = q.Blocker()
local gated: QuadTypes.State<number> = raw:Apply(blocker)

`state:Observer(fn)`

시그니처

Observer: (self: StateData<T>, fn: ObserverFn<T>?) -> Observer
export type ObserverFn<T> = (targetState: StateData<T>, self: Observer, emitFrom: (Epoch | EpochSet)?) -> ()

값을 실어주지 않는 leaf 구독 핸들을 만듭니다. 콜백은 값이 아니라 관측 대상 핸들·자기 자신·출처를 받고, 등록 시점에 즉시 한 번 발화합니다. 전체 계약(구독 네 진입점, 보류와 캐치업)은 05-observer-effect 가 정본입니다.

인자 검증: State: Observer fn must be a function (or nil for the always-observe utility)

`state:Gate(setup)`

시그니처

Gate: (self: StateData<T>, setup: GateSetup) -> State<T>
export type GateEmit = (commit: boolean?) -> boolean
export type GateSetup = (emit: GateEmit) -> () -> ()

인자

이름	타입	설명
`setup`	`(emit) -> onUpstreamEmit`	게이트 정책. 생성 시 딱 한 번 불리고, 상류 emit마다 불릴 클로저를 돌려줘야 합니다.

반환 — 같은 T의 State<T>. 전파 경로에 게이트 노드 하나가 끼어든 것뿐입니다.

동작

값은 절대 가리지 않습니다. 게이트가 막는 것은 통지뿐이라, 유보 중에도 :Get()은 최신 값을 돌려줍니다.
상류에서 emit이 오면 게이트는 그 출처를 흡수 집합에 모아 두고 setup이 돌려준 클로저를 부릅니다. 그 클로저가 emit을 어떻게 쓸지가 정책의 전부입니다.
emit() 또는 emit(true) — 모아둔 배치를 지금 한 번에 내려보냅니다. emit(false) — 모아둔 배치를 버립니다(전파도, 기록도 없음). 반환값은 “모아둔 게 있었는가”이며, 배치가 비어 있으면 아무 일도 하지 않고 false입니다.
유보 중에 여러 번 온 변경은 한 번의 통지로 합쳐집니다. 내려가는 출처는 원래 Source가 아니라 게이트가 만든 배치(집합)입니다.
게이트 위에 게이트를 얹을 수 있습니다. 위쪽 게이트가 내려보낸 배치는 참조로 들고 있지 않고 풀어서 자기 집합에 합칩니다.
인자 검증: State: Gate setup must be a function (emit) -> onUpstreamEmit / State: Gate setup must return the onUpstreamEmit function

예제

local raw = q.Source(0)
local release: ((commit: boolean?) -> boolean)?

-- 상류 변경을 무조건 붙잡아 두고, release()를 부를 때만 흘려보내는 정책
local held: QuadTypes.State<number> = raw:Gate(function(emit)
  release = emit
  return function() end -- 상류 emit이 와도 아무것도 하지 않는다 = 유보
end)

local seen = {}
held:Observer(function(target)
  table.insert(seen, target:Get())
end):Subscribe()

raw:Set(1)
raw:Set(2)
print(#seen, held:Get()) --> 1  2   (통지는 설치 발화 한 번뿐, 값은 이미 최신)
print((release :: any)()) --> true (모아둔 배치를 흘려보냄 → 구독자 1회 발화)

관련 — 06-blocker-gate(Blocker는 이 위의 정책입니다) · 05-observer-effect