识别编程语言

请确定此编程语言:

*Main> [ ((a,b,c),(d,e)) | 
    a <- [1..7], 
    b <- [2..8], 
    c <- [3..9], 
    d <- [1..8], 
    e <- [2..9], 
    a < b, 
    b < c, 
    d < e, 
    List.intersect [d,e] [a,b,c] == [], 
    a+b+c == 23, 
    d+e == 10 ]

输出:

[((6,8,9),(3,7))]

我发现代码在 this blog comment .