Incompatible types delphi ошибка

У вас ошибка в преобразовании переменной k в целое. Вот как объявлена функция Int:

function Int(const X: Extended): Extended;

А вот, как она описывается:

Функция Int возвращает целочисленную часть числа с плавающей точкой,
как число с плавающей точкой.

Очевидно, что эта функция не подходит для того, чтобы преобразовать Real в Integer (а цикл for работает именно с Integer). Для такого преобразования вам надо использовать либо функцию Trunc (которая делает то же самое, что и Int, только результатом будет Integer), либо Round, которая округляет число до целого.

function Trunc (const Number : Extended): Integer;
function Round (const Number : Extended): Int64;

Примеры:

begin
  ShowMessage('Round(12.75) = ' + IntToStr(Round(12.75)));
  ShowMessage('Trunc(12.75) = ' + IntToStr(Trunc(12.75)));
  ShowMessage('  Int(12.75) = ' + FloatToStr(Int(12.75)));
  ShowMessage(' Frac(12.75) = ' + FloatToStr(Frac(12.75)));
end;

Выведет:

Round(12.75) = 13
Trunc(12.75) = 12
Int(12.75) = 12
Frac(12.75) = 0.75

P.S. Судя по тому, что вы пытались изменить тип переменной l, вы неправильно поняли к чему конкретно относится сообщение об ошибке. А это произошло от того, что вы написали в одну строку и условие цикла и его тело. Стоит придерживаться нормального форматирования кода, особенно на начальных парах:

for I := 1 to Trunc(K) do begin
  L := L * I;
end

Типов сообщений компилятора — более двухсот. Рассмотрим перечень наиболее встречающихся сообщений класса Error

• 0. <Что-то1> expected but <Что-то2> found. Обычно это сообщение возникает при синтаксической ошибке.Например,в случае небаланса скобок,компилятор сообщит: ‘)’ expected but ‘;’ found (вместо ожидавшейся скобки найдена запятая).

  Компилятор часто сообщает, что ‘end’ ожидается,например:x:= 5,7; здесь неуместен разделитель-запятая, а сообщается про end. (‘END’ expected but ‘,’ found)

• 1. <Имя> is not a type identifier. Данное <Имя> не является именем типа.
• 2. ‘;’ not allowed before ‘Else’. Перед else нельзя ставить точку с запятой
• 3. Abstract method must be virtual or dynamic. Абстрактный метод должен быть виртуальным или динамическим.
• 4. Ambiguous overloaded call to <Имя блока>. Компилятор не может однозначно выбрать перегружаемый блок. Измените параметр.
• 5. Array type required. Ошибка возникает в случаях, когда в индексе элемента массива указано больше уровней, чем предусмотрено описанием, и если массив не описан. Например, после объявления двумерного массива х или простой переменной х ошибочно записывают элемент х[2,1,1] (в нем показано три измерения).
• 6. Assignment to FOR-loop variable <Имя>. Присваивание значения параметру FOR-цикла в теле цикла.

  Например, вследствие описки дважды используется имя i в кратном цикле:

  For i:= 1 to n do For i:= 1 to m do ...
  

• 7. Break or Continue outside of loop. Break или Continue — не в цикле.
• 8. Cannot initialize local variables. Локальные переменные запрещено инициализировать (задавать им значения при описании).
• 9. Cannot assign to/read a read-only/write-only property. Присвоение значения свойству read/only и чтение свойства write/only запрещены.
• 10. Constant expression expected.В этом месте должна стоять константа или константное выражение, например константа выбора в структуре Case.
• 11. Constant expression violates subrange bounds. Выход значения константы из диапазона. Контроль не полон. Например, «сойдет с рук» присваивание x:=3000000000, где х имеет тип integer, но начение х будет искажено.
• 12. Constant or type identifier expected. Требуется имя типа или тип-диапазон.
• 13. Could not compile used unit <Имя>. Компиляция присоединенного модуля <Имя> невозможна.
• 14. Data type too large. Тип определяет структуру размером более 2 Гбайт; это слишком много.
• 15. Declaration expected but <Что-то> found. Пропущено описание или оператор.
• 16. Declaration of <Имя> differs from previous declarations… Данный заголовок блока не соответствует упреждающему объявлению блока.
• 17. Default parameter <Имя> must be by-value or constant. Необязательный параметр (со значением по умолчанию) не должен вызываться по ссылке.
• 18. Expression expected. В этом месте программы должно стоять выражение.
• 19. Expression too complicated. Выражение излишне сложно для компиляции.
• 20. File type not allowed here. В этом месте или в этой роли файловую переменную нельзя использовать. Например, она не может быть формальным параметром-значением.
• 21. For loop control variable must be simple local variable. Параметр цикла должен быть простой локальной (описанной в этом же блоке) переменной.
• 22. For loop control variable must have ordinal type. Параметр цикла должен иметь порядковый тип.Вещественный тип запрещен.
• 23. Function needs result type. В заголовке функции надо указывать тип ее результата.
• 24. Identifier expected but <Что-то> found. В этом месте должно стоять имя. Например, пропущено имя функции после Function.
• 25. Identifier redeclared <Имя>.<Имя> описано повторно, но в пределах блока имя можно описать лишь раз. Проверьте, не обозначена ли локальная переменная тем же именем, что и формальный параметр блока.
• 26. Illegal character in input file <знак>. Запретный знак, например «русская» буква, либо вы оставили скобку }, убрав открывающую скобку {.
• 27. Illegal type in Read/Readln (Write/Writeln) statement. Элемент запрещенного типа в списке ввода/вывода.
• 28. Incompatible types <указание типов>. Несоответствие типов по присваиванию или типов операндов одной операции. Сообщение выдается и при неверном использовании структур. Например, z — запись, ошибочно записано присваивание z:= 0 (работать надо с полями записи).
• 29. Invalid function result type. Недопустимый тип результата функции.
• 30. Label already defined: <Метка>. <Метка> уже помечает другой оператор.
• 31. Left side cannot be assigned to. He может быть такой левой части в присваивании. Примеры: попытка присвоить значение файловой переменной, присвоение значения формальному параметру-константе.
• 32. Line too long. В строке программного текста больше 255 знаков.
• 33. Low bound exceeds high bound. Нижняя граница превышает верхнюю.
• 34. Missing operator or semicolon.Пропуск операции (например перед скобкой) или пропуск точки с запятой. При пропуске ‘;’ маркер ошибки стоит на очередном предложении (объявлении или операторе).
• 35. Missing parameter type. He указан тип формального параметра-значения или параметра процедурного типа.
• 36. Not enough actual parameters. He хватает фактических параметров.
• 37. Need to specify at least one dimension … Нужно задавать в операторе SetLength хотя бы один размер динамического массива.
• 38. Number of elements differs from declaration. Число элементов в структурной константе не соответствует ее описанию.
• 39. Operator not applicable to this operand type. Операция не применима к операндам данного типа. Например: ‘А’ or ‘В’; ‘Text1’* ‘Text2’.
• 40. Order of fields in record constant differs from declaration. Порядок полей в записи-константе не соответствует описанию записи.
• 41. Ordinal type required. Требуется порядковый тип (например, в индексе).
• 42. Out of memory. Компилятору не хватает памяти.
• 43. Statement expected but <Что-то> found. В этом месте должен стоять оператор. Сообщение выдается во всех случаях, когда в тело блока или секцию инициализации ошибочно помещают описание (<Что-то>). Ошибочная форма обращения к процедуре Procedure <Имя> или к функции Function <Имя> также вызывает сообщение.
• 44. Sets may have at most 256 elements. Множество (тип Set) не может содержать более 256 элементов.
• 45. Slice standard function only allowed as open array argument. Функцию Slice можно использовать лишь как фактический параметр
• 46. Statement not allowed in interface part. Предложения в секции интерфейса программного модуля недопустимы.
• 47. Syntax error in real number. Синтаксическая ошибка в записи числа вещственного типа.
• 48. There is no overload version of <Имя> that can be called with these arguments.Не предусмотрен перегружаемый блок <Имя>, который мог бы вызываться с таким аргументом. Пример: IntToStr(x), где х – выражение вещественного типа.
• 49. Too many actual parameters. Фактических параметров больше, чем формальных.
• 50. Type actual and formal var parameters must be identical. Тип фактического параметра должен быть идентичен типу формального параметра-переменной.
• 51. Type of expression must be <Тип>. Выражение должно быть указанного типа. Например,после While и Until должно стоять логическое выражение.
• 52. Undeclared identifier: <Имя>.Не описано <Имя>. Проверьте есть ли описание в нужном месте,нет ли описок в имени. Если указано имя компонента формы, проверьте,поместили ли компонент на данную форму.
• 53. Unexpected end of file in comment started on line <N>. Неожиданный конец файла при незавершенном комментарии, начало комментария — в строке N.
• 54. Unit name mismatch: <Имя>. Имя модуля ошибочно.
• 55. Unsatisfied forward or external declaration <Имя>. Отсутствует описание блока, объявление которого было дано (заголовок в интерфейсе или в описании объектного типа, либо упреждающее описание).
• 56. Unterminate string. He закрыта апострофом строка-константа типа string.

Рассмотрим также некоторые сообщения классов warning и hint.

• Return value of function <Имя> might be undefined. В теле функции нет присваивания ее результата.
• Variable <Имя> might not have been initialized. Указывает имя переменой, которой не задали значения.
• For-Loop variable <Имя> may be undefined after loop. Попытка использования значения параметра For-цикла после завершения этого цикла.
• Text after final ‘END.’ ignored by compiler. Текст, идущий за конечной строкой модуля, игнорируется компилятором.
• Variable <Имя> is declared but never used in <Имя блока>. Обращает внимание на переменную <Имя>, описанную,но не нашедшую применения.
• Value assigned to <Имя> never used. Хотя бы одно значение переменной <Имя> никак не использовано.

Несколько рекомендаций

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

Не удаляйте прежний вариант кода,пока не убедитесь,что ошибка устранена. Лучше на время закомментировать код,заключив его в скобки: { код }

Компилятор не анализирует, как будет выполняться программа, поэтому выход значения индекса из диапазона выявляет только если индекс задан константным выражением. Деление на ноль вообще пропускается, кроме оператора div, в случае если делитель — константное выражение.

Looks like a compiler defect — when changing this declaration:

TOnMyIntfItemSelected<T: IMyIntfItem> = procedure(AItem: IMyIntfItem) of object;

the code for TMyIntfItemA<T>.Select looks like this:

List.Intf.pas.82: begin
007083E4 53               push ebx
List.Intf.pas.83: if Assigned(FOnItemSelected) then
007083E5 6683781200       cmp word ptr [eax+$12],$00
007083EA 7411             jz $007083fd
List.Intf.pas.84: FOnItemSelected(Self);
007083EC 8BD0             mov edx,eax
007083EE 85D2             test edx,edx
007083F0 7403             jz $007083f5
007083F2 83EAE8           sub edx,-$18 // this is where it turns Self into an IMyIntfItem, $18 is the offset where the interface method table pointer sits inside the object
007083F5 8BD8             mov ebx,eax
007083F7 8B4314           mov eax,[ebx+$14]
007083FA FF5310           call dword ptr [ebx+$10]
List.Intf.pas.85: end;
007083FD 5B               pop ebx
007083FE C3               ret 

but when it has the generic T parameter it looks like this:

List.Intf.pas.82: begin
007083E4 53               push ebx
List.Intf.pas.83: if Assigned(FOnItemSelected) then
007083E5 6683781200       cmp word ptr [eax+$12],$00
007083EA 740A             jz $007083f6
List.Intf.pas.84: FOnItemSelected(Self);
007083EC 8BD8             mov ebx,eax
007083EE 8BD0             mov edx,eax // here it simply passes Self
007083F0 8B4314           mov eax,[ebx+$14]
007083F3 FF5310           call dword ptr [ebx+$10]
List.Intf.pas.85: end;
007083F6 5B               pop ebx
007083F7 C3               ret 

To explain this a bit more: when putting an interface type as generic type constraint this means for the compiler that the type you put for the generic type argument not only has to be that interface type but also that it can be a class that implements this interface. TMyIntfItemA<T> does this and thus satisfies the compiler when passing it to the argument of that event handler. However, inside the event handler, it is being treated as an interface and due to the lacking const parameter the compiler inserted an IntfAddRef call which blows up as the parameter that was passed was not really an interface reference but an object reference. Putting the const parameter makes it blow up a bit later though, namely when accessing Caption.