F# で Project Euler Problem 13
Scala でのロジックをそのまま移植
> let str = " - 37107287533902102798797998220837590246510135740250 - 46376937677490009712648124896970078050417018260538 - 74324986199524741059474233309513058123726617309629 - 91942213363574161572522430563301811072406154908250 - 23067588207539346171171980310421047513778063246676 - 89261670696623633820136378418383684178734361726757 - 28112879812849979408065481931592621691275889832738 - 44274228917432520321923589422876796487670272189318 - 47451445736001306439091167216856844588711603153276 - 70386486105843025439939619828917593665686757934951 - 62176457141856560629502157223196586755079324193331 - 64906352462741904929101432445813822663347944758178 - 92575867718337217661963751590579239728245598838407 - 58203565325359399008402633568948830189458628227828 - 80181199384826282014278194139940567587151170094390 - 35398664372827112653829987240784473053190104293586 - 86515506006295864861532075273371959191420517255829 - 71693888707715466499115593487603532921714970056938 - 54370070576826684624621495650076471787294438377604 - 53282654108756828443191190634694037855217779295145 - 36123272525000296071075082563815656710885258350721 - 45876576172410976447339110607218265236877223636045 - 17423706905851860660448207621209813287860733969412 - 81142660418086830619328460811191061556940512689692 - 51934325451728388641918047049293215058642563049483 - 62467221648435076201727918039944693004732956340691 - 15732444386908125794514089057706229429197107928209 - 55037687525678773091862540744969844508330393682126 - 18336384825330154686196124348767681297534375946515 - 80386287592878490201521685554828717201219257766954 - 78182833757993103614740356856449095527097864797581 - 16726320100436897842553539920931837441497806860984 - 48403098129077791799088218795327364475675590848030 - 87086987551392711854517078544161852424320693150332 - 59959406895756536782107074926966537676326235447210 - 69793950679652694742597709739166693763042633987085 - 41052684708299085211399427365734116182760315001271 - 65378607361501080857009149939512557028198746004375 - 35829035317434717326932123578154982629742552737307 - 94953759765105305946966067683156574377167401875275 - 88902802571733229619176668713819931811048770190271 - 25267680276078003013678680992525463401061632866526 - 36270218540497705585629946580636237993140746255962 - 24074486908231174977792365466257246923322810917141 - 91430288197103288597806669760892938638285025333403 - 34413065578016127815921815005561868836468420090470 - 23053081172816430487623791969842487255036638784583 - 11487696932154902810424020138335124462181441773470 - 63783299490636259666498587618221225225512486764533 - 67720186971698544312419572409913959008952310058822 - 95548255300263520781532296796249481641953868218774 - 76085327132285723110424803456124867697064507995236 - 37774242535411291684276865538926205024910326572967 - 23701913275725675285653248258265463092207058596522 - 29798860272258331913126375147341994889534765745501 - 18495701454879288984856827726077713721403798879715 - 38298203783031473527721580348144513491373226651381 - 34829543829199918180278916522431027392251122869539 - 40957953066405232632538044100059654939159879593635 - 29746152185502371307642255121183693803580388584903 - 41698116222072977186158236678424689157993532961922 - 62467957194401269043877107275048102390895523597457 - 23189706772547915061505504953922979530901129967519 - 86188088225875314529584099251203829009407770775672 - 11306739708304724483816533873502340845647058077308 - 82959174767140363198008187129011875491310547126581 - 97623331044818386269515456334926366572897563400500 - 42846280183517070527831839425882145521227251250327 - 55121603546981200581762165212827652751691296897789 - 32238195734329339946437501907836945765883352399886 - 75506164965184775180738168837861091527357929701337 - 62177842752192623401942399639168044983993173312731 - 32924185707147349566916674687634660915035914677504 - 99518671430235219628894890102423325116913619626622 - 73267460800591547471830798392868535206946944540724 - 76841822524674417161514036427982273348055556214818 - 97142617910342598647204516893989422179826088076852 - 87783646182799346313767754307809363333018982642090 - 10848802521674670883215120185883543223812876952786 - 71329612474782464538636993009049310363619763878039 - 62184073572399794223406235393808339651327408011116 - 66627891981488087797941876876144230030984490851411 - 60661826293682836764744779239180335110989069790714 - 85786944089552990653640447425576083659976645795096 - 66024396409905389607120198219976047599490197230297 - 64913982680032973156037120041377903785566085089252 - 16730939319872750275468906903707539413042652315011 - 94809377245048795150954100921645863754710598436791 - 78639167021187492431995700641917969777599028300699 - 15368713711936614952811305876380278410754449733078 - 40789923115535562561142322423255033685442488917353 - 44889911501440648020369068063960672322193204149535 - 41503128880339536053299340368006977710650566631954 - 81234880673210146739058568557934581403627822703280 - 82616570773948327592232845941706525094512325230608 - 22918802058777319719839450180888072429661980811197 - 77158542502016545090413245809786882778948721859617 - 72107838435069186155435662884062257473692284509516 - 20849603980134001723930671666823555245252804609722 - 53503534226472524250874054075591789781264330331690 - " - ;; val str : string = " 37107287533902102798797998220837590246510135740250 463769376"+[5040 chars]
> - let lst = (str.Trim().Split('\n')) |> Array.toList - ;; val lst : string list = ["37107287533902102798797998220837590246510135740250"; "46376937677490009712648124896970078050417018260538"; "74324986199524741059474233309513058123726617309629"; "91942213363574161572522430563301811072406154908250"; "23067588207539346171171980310421047513778063246676"; "89261670696623633820136378418383684178734361726757"; "28112879812849979408065481931592621691275889832738"; "44274228917432520321923589422876796487670272189318"; "47451445736001306439091167216856844588711603153276"; "70386486105843025439939619828917593665686757934951"; "62176457141856560629502157223196586755079324193331"; "64906352462741904929101432445813822663347944758178"; "92575867718337217661963751590579239728245598838407"; "58203565325359399008402633568948830189458628227828"; "80181199384826282014278194139940567587151170094390"; "35398664372827112653829987240784473053190104293586"; "86515506006295864861532075273371959191420517255829"; "71693888707715466499115593487603532921714970056938"; "54370070576826684624621495650076471787294438377604"; "53282654108756828443191190634694037855217779295145"; "36123272525000296071075082563815656710885258350721"; "45876576172410976447339110607218265236877223636045"; "17423706905851860660448207621209813287860733969412"; "81142660418086830619328460811191061556940512689692"; "51934325451728388641918047049293215058642563049483"; "62467221648435076201727918039944693004732956340691"; "15732444386908125794514089057706229429197107928209"; "55037687525678773091862540744969844508330393682126"; "18336384825330154686196124348767681297534375946515"; "80386287592878490201521685554828717201219257766954"; "78182833757993103614740356856449095527097864797581"; "16726320100436897842553539920931837441497806860984"; "48403098129077791799088218795327364475675590848030"; "87086987551392711854517078544161852424320693150332"; "59959406895756536782107074926966537676326235447210"; "69793950679652694742597709739166693763042633987085"; "41052684708299085211399427365734116182760315001271"; "65378607361501080857009149939512557028198746004375"; "35829035317434717326932123578154982629742552737307"; "94953759765105305946966067683156574377167401875275"; "88902802571733229619176668713819931811048770190271"; "25267680276078003013678680992525463401061632866526"; "36270218540497705585629946580636237993140746255962"; "24074486908231174977792365466257246923322810917141"; "91430288197103288597806669760892938638285025333403"; "34413065578016127815921815005561868836468420090470"; "23053081172816430487623791969842487255036638784583"; "11487696932154902810424020138335124462181441773470"; "63783299490636259666498587618221225225512486764533"; "67720186971698544312419572409913959008952310058822"; "95548255300263520781532296796249481641953868218774"; "76085327132285723110424803456124867697064507995236"; "37774242535411291684276865538926205024910326572967"; "23701913275725675285653248258265463092207058596522"; "29798860272258331913126375147341994889534765745501"; "18495701454879288984856827726077713721403798879715"; "38298203783031473527721580348144513491373226651381"; "34829543829199918180278916522431027392251122869539"; "40957953066405232632538044100059654939159879593635"; "29746152185502371307642255121183693803580388584903"; "41698116222072977186158236678424689157993532961922"; "62467957194401269043877107275048102390895523597457"; "23189706772547915061505504953922979530901129967519"; "86188088225875314529584099251203829009407770775672"; "11306739708304724483816533873502340845647058077308"; "82959174767140363198008187129011875491310547126581"; "97623331044818386269515456334926366572897563400500"; "42846280183517070527831839425882145521227251250327"; "55121603546981200581762165212827652751691296897789"; "32238195734329339946437501907836945765883352399886"; "75506164965184775180738168837861091527357929701337"; "62177842752192623401942399639168044983993173312731"; "32924185707147349566916674687634660915035914677504"; "99518671430235219628894890102423325116913619626622"; "73267460800591547471830798392868535206946944540724"; "76841822524674417161514036427982273348055556214818"; "97142617910342598647204516893989422179826088076852"; "87783646182799346313767754307809363333018982642090"; "10848802521674670883215120185883543223812876952786"; "71329612474782464538636993009049310363619763878039"; "62184073572399794223406235393808339651327408011116"; "66627891981488087797941876876144230030984490851411"; "60661826293682836764744779239180335110989069790714"; "85786944089552990653640447425576083659976645795096"; "66024396409905389607120198219976047599490197230297"; "64913982680032973156037120041377903785566085089252"; "16730939319872750275468906903707539413042652315011"; "94809377245048795150954100921645863754710598436791"; "78639167021187492431995700641917969777599028300699"; "15368713711936614952811305876380278410754449733078"; "40789923115535562561142322423255033685442488917353"; "44889911501440648020369068063960672322193204149535"; "41503128880339536053299340368006977710650566631954"; "81234880673210146739058568557934581403627822703280"; "82616570773948327592232845941706525094512325230608"; "22918802058777319719839450180888072429661980811197"; "77158542502016545090413245809786882778948721859617"; "72107838435069186155435662884062257473692284509516"; "20849603980134001723930671666823555245252804609722"; "53503534226472524250874054075591789781264330331690"]
> let ls2 = lst |> List.map(System.Numerics.BigInteger.Parse) - ;; val ls2 : System.Numerics.BigInteger list = [37107287533902102798797998220837590246510135740250I; 46376937677490009712648124896970078050417018260538I; 74324986199524741059474233309513058123726617309629I; 91942213363574161572522430563301811072406154908250I; 23067588207539346171171980310421047513778063246676I; 89261670696623633820136378418383684178734361726757I; 28112879812849979408065481931592621691275889832738I; 44274228917432520321923589422876796487670272189318I; 47451445736001306439091167216856844588711603153276I; 70386486105843025439939619828917593665686757934951I; 62176457141856560629502157223196586755079324193331I; 64906352462741904929101432445813822663347944758178I; 92575867718337217661963751590579239728245598838407I; 58203565325359399008402633568948830189458628227828I; 80181199384826282014278194139940567587151170094390I; 35398664372827112653829987240784473053190104293586I; 86515506006295864861532075273371959191420517255829I; 71693888707715466499115593487603532921714970056938I; 54370070576826684624621495650076471787294438377604I; 53282654108756828443191190634694037855217779295145I; 36123272525000296071075082563815656710885258350721I; 45876576172410976447339110607218265236877223636045I; 17423706905851860660448207621209813287860733969412I; 81142660418086830619328460811191061556940512689692I; 51934325451728388641918047049293215058642563049483I; 62467221648435076201727918039944693004732956340691I; 15732444386908125794514089057706229429197107928209I; 55037687525678773091862540744969844508330393682126I; 18336384825330154686196124348767681297534375946515I; 80386287592878490201521685554828717201219257766954I; 78182833757993103614740356856449095527097864797581I; 16726320100436897842553539920931837441497806860984I; 48403098129077791799088218795327364475675590848030I; 87086987551392711854517078544161852424320693150332I; 59959406895756536782107074926966537676326235447210I; 69793950679652694742597709739166693763042633987085I; 41052684708299085211399427365734116182760315001271I; 65378607361501080857009149939512557028198746004375I; 35829035317434717326932123578154982629742552737307I; 94953759765105305946966067683156574377167401875275I; 88902802571733229619176668713819931811048770190271I; 25267680276078003013678680992525463401061632866526I; 36270218540497705585629946580636237993140746255962I; 24074486908231174977792365466257246923322810917141I; 91430288197103288597806669760892938638285025333403I; 34413065578016127815921815005561868836468420090470I; 23053081172816430487623791969842487255036638784583I; 11487696932154902810424020138335124462181441773470I; 63783299490636259666498587618221225225512486764533I; 67720186971698544312419572409913959008952310058822I; 95548255300263520781532296796249481641953868218774I; 76085327132285723110424803456124867697064507995236I; 37774242535411291684276865538926205024910326572967I; 23701913275725675285653248258265463092207058596522I; 29798860272258331913126375147341994889534765745501I; 18495701454879288984856827726077713721403798879715I; 38298203783031473527721580348144513491373226651381I; 34829543829199918180278916522431027392251122869539I; 40957953066405232632538044100059654939159879593635I; 29746152185502371307642255121183693803580388584903I; 41698116222072977186158236678424689157993532961922I; 62467957194401269043877107275048102390895523597457I; 23189706772547915061505504953922979530901129967519I; 86188088225875314529584099251203829009407770775672I; 11306739708304724483816533873502340845647058077308I; 82959174767140363198008187129011875491310547126581I; 97623331044818386269515456334926366572897563400500I; 42846280183517070527831839425882145521227251250327I; 55121603546981200581762165212827652751691296897789I; 32238195734329339946437501907836945765883352399886I; 75506164965184775180738168837861091527357929701337I; 62177842752192623401942399639168044983993173312731I; 32924185707147349566916674687634660915035914677504I; 99518671430235219628894890102423325116913619626622I; 73267460800591547471830798392868535206946944540724I; 76841822524674417161514036427982273348055556214818I; 97142617910342598647204516893989422179826088076852I; 87783646182799346313767754307809363333018982642090I; 10848802521674670883215120185883543223812876952786I; 71329612474782464538636993009049310363619763878039I; 62184073572399794223406235393808339651327408011116I; 66627891981488087797941876876144230030984490851411I; 60661826293682836764744779239180335110989069790714I; 85786944089552990653640447425576083659976645795096I; 66024396409905389607120198219976047599490197230297I; 64913982680032973156037120041377903785566085089252I; 16730939319872750275468906903707539413042652315011I; 94809377245048795150954100921645863754710598436791I; 78639167021187492431995700641917969777599028300699I; 15368713711936614952811305876380278410754449733078I; 40789923115535562561142322423255033685442488917353I; 44889911501440648020369068063960672322193204149535I; 41503128880339536053299340368006977710650566631954I; 81234880673210146739058568557934581403627822703280I; 82616570773948327592232845941706525094512325230608I; 22918802058777319719839450180888072429661980811197I; 77158542502016545090413245809786882778948721859617I; 72107838435069186155435662884062257473692284509516I; 20849603980134001723930671666823555245252804609722I; 53503534226472524250874054075591789781264330331690I]
> ls2 |> List.sum - ;; val it : System.Numerics.BigInteger = 5537376230390876637302048746832985971773659831892672I
> (ls2 |> List.sum).ToString - ;; val it : (unit -> string) = <fun:it@111>
ToString で 期待した結果が得られない...
> let sum = ls2 |> List.sum - ;; val sum : System.Numerics.BigInteger = 5537376230390876637302048746832985971773659831892672I > sum.ToString - ;; val it : (unit -> string) = <fun:it@115-1>
BigInteger の ToString では だめっぽい
> System.Convert.ToString sum - ;; val it : string = "5537376230390876637302048746832985971773659831892672"
> (System.Convert.ToString sum).Substring(0, 10) - ;; val it : string = "5537376230"
まとめてみた
> (System.Convert.ToString (List.sum (List.map(System.Numerics.BigInteger.Parse) (Array.toList (str.Trim().Split('\n')))))).Substring(0, 10) - ;; val it : string = "5537376230"
後で見たとき、何してるのか、わからんので修正
> ( - str.Trim().Split('\n') - |> Array.toList - |> List.map(System.Numerics.BigInteger.Parse) - |> List.sum - |> System.Convert.ToString - ).Substring(0, 10) - ;; val it : string = "5537376230"