From fe827d99a15dd242af6118d1c31239160b882fab Mon Sep 17 00:00:00 2001 From: 3013050 <3013050@stud.hs-mannheim.de> Date: Fri, 22 Nov 2024 16:07:35 +0100 Subject: [PATCH] Added lust sum function. Type annotations not working --- main.roc | 71 +++++++++++++++++++++----------------------------------- 1 file changed, 27 insertions(+), 44 deletions(-) diff --git a/main.roc b/main.roc index 806be04..200e623 100644 --- a/main.roc +++ b/main.roc @@ -2,54 +2,37 @@ app [main] { pf: platform "https://github.com/roc-lang/basic-cli/releases/downlo import pf.Stdout -# listLen = \list -> -# List.len (list) - -# sumList = \counter, maxLen -> -# if counter == maxLen then -# 1 -# else -# newCounter = counter + 1 -# ((sumList newCounter maxLen) + 1) - -sumList : Num *, Num * -> Num * - -sumList = \counter, maxLen -> - if counter == maxLen then - 1 +# Recusivly incrementing counter until it hits maxLen +# The plus one on the recursive call would be the current element of the list +# Counter will be the current list index +#sum : Num a, (List (Num a)) -> Num a where a implements Bool.Eq #Type Annotations are weird :( +sum = \counter, nums -> + if counter == (List.len nums) then + 0 else + currentValue = listI nums counter + # Try to make type annotions work + #newCounter: Num a where a implements Bool.Eq newCounter = counter + 1 - ((sumList newCounter maxLen) + 1) + ((sum newCounter nums) + currentValue) + + +# Gets the value in a list at a given index +# Returns 0 if the index is out of bounds +listI: (List (Num a)), U64 -> Num a +listI = \list, i -> + res = List.get list i + when res is + Ok value -> value + Err OutOfBounds -> 0 -plusTwo: Num a -> Num a -plusTwo = \i -> - i + 2 main = - sum = sumList 0 7 - Stdout.line! (Num.toStr(sum)) - - # nums = [1, 2, 3] - # ind = 1 - # res = List.get nums ind - - # when res is - # Ok value -> value - # Err OutOfBounds -> 0 - - i = plusTwo 4 - Stdout.line! (Num.toStr(i)) - - - - - # sum = sumList(0, 4) - # #Stdout.line! (Num.toStr(sumList 2, 3)) - # Stdout.line! (sum) - # gomus = [1, 2, 3] - # gomusLen = List.len( gomus ) - # Stdout.line! (Num.toStr(gomusLen)) - - + nums = [1, 20, 3, 1, 1] + #firstHun = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100] + # Correct value for the first hundred list sum is 5050 + sumValue = sum 0 nums + dbg sumValue + Stdout.line! ("Finished!") \ No newline at end of file