Conversation

Notices

1. kat (boneidol@indy.im)'s status on Thursday, 07-Feb-2019 11:24:53 UTC kat
   here should be a way of using fold to wrap up partial application of a function. So you can apply a function of multiple variables to a LIST of values.
   
   :t fromGregorian:: Integer -> Int -> Int -> Day
   fromGregorian 2019 02 08 = 2019-02-08
   
   someFoldMagic fromGregorian [2019, 02, 08] ...
   • kat (boneidol@indy.im)'s status on Thursday, 07-Feb-2019 11:25:27 UTC kat

     in reply to
     hmm oh noes!! not the infinite type :-( https://indy.im/attachment/102574
   • kat (boneidol@indy.im)'s status on Thursday, 07-Feb-2019 21:07:13 UTC kat

     in reply to
     Turns out someone asked this question a few years ago, and there wasn't any awesome answers then https://mail.haskell.org/pipermail/haskell-cafe/2009-October/067254.html
   • kat (boneidol@indy.im)'s status on Thursday, 07-Feb-2019 21:45:40 UTC kat

     in reply to
     Also, I have decided it's a silly idea because elements of a list all have to have the same type.
     
     and also in Haskell lists are infinite, so that is probably causing the interpreter to barf working out the intermediate types.
     
     Maybe it would work in something with a Vect n type in Idris