на тебе пример логической ошибки. как ты будешь ловить это типами

1. пришёл агент
2. залил какого-то своего говна в коллектор
3. отцепился
4. коллектор не закрывает сокет (логично, что его, блеать надо закрыть или переиспользовать)
5. спустя примерно 65к заливок, коллектор умирает, т.к. закончились сокеты

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

Это я улучшаю себе жизнь, пока пишу на котлине

Linear types to the resque! Созданный сокет должен быть использован, т.е. закрыт

Почему взрыв-то?

```
data class MyEntity( val a: A, val b: B){
 companion object: EntityFactory< MyEntity>{
   override fun buildEntity(heap: Heap)  = MyEntity(heap.get<A>(), heap.get<B>())
 }
}

А у MyEntity ещё женерики, я правильно понял? И методы типа getFirstComponent(): A, getSecondComponent(): B и т. д.?

оно уже data сlass, там все есть

т.е. можно создать такой тип, что компулятор набычит на юзера на тему "эээ, где вызов close, дядя?"

Да, да. Но A и B женеричные

А зачем?

Ну нет, комбинаторный взрыв будет. Плюс в ентити в течение её жизни ещё можно добавлять и убирать компоненты

Можно. Но мало где есть. Мало в смысле мало где во всяких маргинальных и исследовательских языках

Можно. Но мало где есть. Мало в смысле мало где во всяких маргинальных и исследовательских языках

Этого в ТЗ не было. А комбинаторного взрыва нет. Там сколько конечных типов, столько и фабрик