в f# вместо цикла будет рекурсивная фция - которая по условию окончания цикла будет возвращать значение аккумулятора, если условие окончания не выполнено - новый рекурсивнй вызов с новым значением аккумулятора. Аккумулятор в твоём случае это тупля (s, k)
одна история офигительнее другой. в лабе есть упоминание про освоение бюджета? если нет, то фолда достаточно