Упражнения: определи границы домена для Todo

Нарушения:

1. Импорт bun:sqlite — инфраструктурная зависимость
2. Метод save() — IO в доменной сущности
3. public поля без readonly — мутабельность
4. Нет валидации title

Исправление: Убрать save(), вынести персистентность в адаптер. Использовать Schema.Class с валидацией.

Нарушения:

1. fetch — сетевой вызов в домене
2. URL API — инфраструктурная деталь
3. JSON.stringify — деталь сериализации

Исправление: Уведомления — ответственность инфраструктуры. Домен генерирует событие TodoCompleted, а адаптер реагирует на него.

Нарушения:

1. console.log — логирование в домене
2. process.env — чтение конфигурации в домене
3. status: "done" — не доменный термин (должно быть "Completed")
4. Нет типизации статуса через Schema.Literal
5. Нет обработки ошибок (что если статус уже done?)

Исправление: Убрать console.log и process.env. Типизировать статус. Добавить проверку перехода.

// domain/value-objects/todo-category.ts
import { Schema } from "effect"

export const TodoCategory = Schema.Literal(
  "Work",
  "Personal",
  "Shopping",
  "Health"
)
export type TodoCategory = Schema.Schema.Type<typeof TodoCategory>

// Добавить в Todo Entity:
// category: Schema.Literal("Work", "Personal", "Shopping", "Health"),

// Метод:
// changeCategory(
//   newCategory: TodoCategory
// ): Effect.Effect<Todo, InvalidStatusTransitionError> {
//   if (this.status !== "Active") {
//     return Effect.fail(new InvalidStatusTransitionError({
//       from: this.status,
//       to: this.status,
//     }))
//   }
//   return Effect.succeed(new Todo({ ...this, category: newCategory }))
// }

// Событие:
// class TodoCategoryChanged extends Schema.TaggedClass<TodoCategoryChanged>()(
//   "TodoCategoryChanged",
//   {
//     todoId: Schema.String,
//     oldCategory: TodoCategory,
//     newCategory: TodoCategory,
//     occurredAt: Schema.DateFromSelf,
//   }
// ) {}

// domain/value-objects/todo-tag.ts
import { Schema, Effect, Data } from "effect"

export const TodoTagBrand = Schema.String.pipe(
  Schema.trimmed(),
  Schema.lowercased(),
  Schema.minLength(1),
  Schema.maxLength(30),
  Schema.pattern(/^[a-z0-9-]+$/),
  Schema.brand("TodoTag")
)
export type TodoTag = Schema.Schema.Type<typeof TodoTagBrand>

export class TooManyTagsError extends Data.TaggedError("TooManyTagsError")<{
  readonly maxTags: number
}> {}

export class DuplicateTagError extends Data.TaggedError("DuplicateTagError")<{
  readonly tag: string
}> {}

const MAX_TAGS = 5

export const addTag = (
  tags: ReadonlyArray<TodoTag>,
  newTag: TodoTag
): Effect.Effect<ReadonlyArray<TodoTag>, TooManyTagsError | DuplicateTagError> => {
  if (tags.length >= MAX_TAGS) {
    return Effect.fail(new TooManyTagsError({ maxTags: MAX_TAGS }))
  }
  if (tags.includes(newTag)) {
    return Effect.fail(new DuplicateTagError({ tag: newTag }))
  }
  return Effect.succeed([...tags, newTag])
}

export const removeTag = (
  tags: ReadonlyArray<TodoTag>,
  tag: TodoTag
): ReadonlyArray<TodoTag> =>
  tags.filter((t) => t !== tag)

import { Schema, Effect, Data } from "effect"

// Типы с доменными именами
type TodoStatus = "Active" | "Completed" | "Archived"
type Priority = "Low" | "Medium" | "High"

class Todo extends Schema.Class<Todo>("Todo")({
  id: Schema.String.pipe(Schema.brand("TodoId")),
  title: Schema.String.pipe(Schema.minLength(1)),
  status: Schema.Literal("Active", "Completed", "Archived"),
  priority: Schema.Literal("Low", "Medium", "High"),
  createdAt: Schema.DateFromSelf,
  completedAt: Schema.OptionFromNullOr(Schema.DateFromSelf),
}) {
  complete(now: Date): Effect.Effect<Todo, InvalidStatusTransitionError> {
    return this.status === "Active"
      ? Effect.succeed(new Todo({
          ...this,
          status: "Completed",
          completedAt: now,
        }))
      : Effect.fail(new InvalidStatusTransitionError({
          from: this.status,
          to: "Completed",
        }))
  }

  archive(): Effect.Effect<Todo, InvalidStatusTransitionError> {
    return this.status !== "Archived"
      ? Effect.succeed(new Todo({ ...this, status: "Archived" }))
      : Effect.fail(new InvalidStatusTransitionError({
          from: this.status,
          to: "Archived",
        }))
  }
}

class InvalidStatusTransitionError extends Data.TaggedError(
  "InvalidStatusTransitionError"
)<{
  readonly from: string
  readonly to: string
}> {}

const filterByStatus = (
  todos: ReadonlyArray<Todo>,
  status: TodoStatus
): ReadonlyArray<Todo> =>
  todos.filter((todo) => todo.status === status)

Глоссарий: Book, Title, Author, ISBN, BookStatus (Available/Borrowed), Reader, BorrowDate, ReturnDate, Overdue, Borrow, Return

Типы:

• Entity: Book (имеет ISBN как ID), Reader (имеет ID)
• Value Object: Title, Author, ISBN, BookStatus, BorrowDate

Events:

• BookBorrowed (книга выдана)
• BookReturned (книга возвращена)
• BookBecameOverdue (книга стала просроченной)

Errors:

• BookNotAvailableError (книга уже выдана)
• BookNotBorrowedError (попытка вернуть не выданную книгу)
• BookNotFoundError (книга не найдена)

Сигнатуры:

const borrowBook: (
  book: Book,
  readerId: ReaderId,
  borrowDate: Date
) => Effect.Effect<Book, BookNotAvailableError>

const returnBook: (
  book: Book,
  returnDate: Date
) => Effect.Effect<Book, BookNotBorrowedError>

const isOverdue: (
  book: Book,
  now: Date
) => boolean