bootstrap网格 - 3列和2行分成2列和3行(bootstrap grid - 3 columns and 2 rows into 2 columns and 3 rows)

 我可以想出两种避免警告的方法。 第一种也是最简单的方法是为toResult添加另一个方程式，它捕获所有其他大小的列表并提供信息性错误： 
 
toResult :: [SqlValue] -> IO Course
toResult [ ... ] = do ... --Your existing code goes here
toResult xs      = error $ "toResult: List must contain exactly six values (recieved " ++ length xs ++ ")."
 
 但是如果你的函数只设计为长度为6的列表，我怀疑列表是否真的是这里使用的最佳数据结构。 
 
 理想情况下，您的函数类型签名应该让读者很清楚地知道如何使用该函数。 如果您的函数只能接受长度为6的列表，那么它的类型签名将无法与之通信。 我建议选择不具有可变长度的不同数据结构，例如6元组（可能与type或newtype结合使用）或自定义data类型。 这完全消除了基于长度的模式匹配问题，并使您的功能更容易从“外部世界”中理解。 
 
 在不了解更多上下文的情况下，我无法确切地知道在您的情况下哪种常量大小的数据结构最合适，但这里有一个简单的示例，希望能够说明我所描述的方法的好处： 
 
--Explicitly hexadic type signature (might benefit from some aliasing)
toResult :: (SQLValue, SQLValue, SQLValue, SQLValue, SQLValue, SQLValue) -> IO Course
toResult ( fromSql -> courseid, fromSql -> title,
           fromSql -> name,     fromSql -> version,
           fromSql -> cdate,    fromSql -> fid ) = do ...
--No need for separate equations due to constant-size container
 
 不幸的是，如果你无法从这种情况中完全删除List类型，那么所有这一切都会将问题转移到其他地方，因为你最终需要第二个函数来从List转换为元组。 这些类型的功能总是难看并且难以使用。 
 
 在编译时，GHC无法保证满足要​​求（即，正好传递六个值）这一事实是不可能的。 即使你100％表示quickQuery会返回一个包含六个元素的列表（你真的，完全地，在数学上确定这一点吗？），你仍然必须考虑到这种情况的逻辑可能性。 这意味着您必须在运行时提供一种处理此案例的方法。 
 
 那么，当传递多于或少于六个值时，您想要做什么？ 如何在您的程序中实现错误处理？ 这是一个使用error的潜在天真的例子： 
 
sixValues :: [SQLValue] -> 
             (SQLValue, SQLValue, SQLValue, SQLValue, SQLValue, SQLValue)
sixValues [a,b,c,d,e,f] = (a,b,c,d,e,f)
sixValues xs            = error "Wrong number of values"
 
 虽然没有比我的第一个建议好多少，但这至少具有将长度处理逻辑与结果生成逻辑分开的优点。 

I appreciate the input and learning that I have received from this experience. However, I have progressed from a working function that issued a compile-time warning that I was comfortable ignoring to a compile error that prevents building the output executable.
 
I have incorporated a couple of the suggestions from this thread, but have basically gone back to my original warning about a non-exhaustive pattern match. It seems, in the end, that there is an irreconcilable incongruity between executing a database query that always returns a list of the same number of elements and then using that list as, or converting that list to, a fixed-size collection.
 
Every language has its quirks. Maybe this is one for Haskell.
 
Thanks for all the input and guidance.
 
Dave Smith