Categories: Функциональное программирование

types-benifit/

Однажды я потратил два дня на поиск и исправление одного идиотского бага. В системе было множество сущностей, которые временами сохранялись в базу и имели id. Были разные функции для работы с этими сущностями. Функции также ходили в базу и зачастую принимали в качестве аргументов id сущностей. Баг заключался в том, что в результате некогда проведенного рефакторинга изменился порядок аргументов и id стали передаваться в неправильном порядке.

Грубо говоря:

#! /usr/bin/env scala

def joinChat ( userId : Long, chatId : Long ) {
println ( s «userId = $userId, chatId = $chatId» )
}

val userId = 123L
val chatId = 456L

joinChat ( userId, chatId )
joinChat ( chatId, userId )

Код успешно выполняется и выводит:

userId = 123, chatId = 456
userId = 456, chatId = 123

Понятно, что все id-шники представляют собой Long, поэтому компилятор не может обнаружить ошибку. А теперь немного перепишем код:

#! /usr/bin/env scala

class User ( )
class Chat ( )
case class Id [ A ] ( value : Long )

def joinChat ( userId : Id [ User ] , chatId : Id [ Chat ] ) {
println ( s «userId = ${userId.value}, chatId = ${chatId.value}» )
}

val userId = Id [ User ] ( 123L )
val chatId = Id [ Chat ] ( 456L )

joinChat ( userId, chatId )
// joinChat(chatId, userId)

Код стал не намного сложнее (уверен, многие согласятся со мной, что он стал еще и понятнее), но упомянутый баг в нем стало просто невозможно допустить:

./script2.scala:15: error: type mismatch;
found : this.Id[this.Chat]
required: this.Id[this.User]
joinChat(chatId, userId)
^
./script2.scala:15: error: type mismatch;
found : this.Id[this.User]
required: this.Id[this.Chat]
joinChat(chatId, userId)
^
two errors found

Две минуты работы могли сэкономить два дня времени, потраченных на поиск и исправления бага. Также благодаря типам вы никогда не сложите возраст с долларами, не сошлетесь на несуществующий URL и не напишите невалидный SQL запрос. Я многие годы работал с динамически типизированными языками программирования и пришел к выводу, что писать на них что-то серьезнее скрипта на 100 строк не стоит.

Перекрестная ссылка: Так ли плоха статическая типизация?

Дополнение: См также value classes .

admin