42 replies

Questioning Dependency in TypeScript Code

Guys, I'm a little bit wondering ...
Why the dependency is

CustomRandom

CustomRandom

CustomRandom

CustomRandom instead of to be something like

{ [CustomRandom]: CustomRandom }

{ [CustomRandom]: CustomRandom }

{ [CustomRandom]: CustomRandom }

{ [CustomRandom]: CustomRandom }

It is obvious that

foo

foo

foo

foo depends on both:

Tag

Tag

Tag

Tag and

interface

interface

interface

interface

export const foo: Effect.Effect<
  CustomRandom,
  never,
  number
> = pipe(CustomRandom, Effect.flatMap((r) => r.next()))

export const foo: Effect.Effect<
  CustomRandom,
  never,
  number
> = pipe(CustomRandom, Effect.flatMap((r) => r.next()))

export const foo: Effect.Effect<
  CustomRandom,
  never,
  number
> = pipe(CustomRandom, Effect.flatMap((r) => r.next()))

export const foo: Effect.Effect<
  CustomRandom,
  never,
  number
> = pipe(CustomRandom, Effect.flatMap((r) => r.next()))

I guess the type information must be enough to provide the dependency, but

Effect.Effect<CustomRandom, never, number>

Effect.Effect<CustomRandom, never, number>

Effect.Effect<CustomRandom, never, number>

Effect.Effect<CustomRandom, never, number> doesn't contain information about the tag.

So, do we need to rely only on the naming convention?