A functional language to implement the divide-and-conquer Delaunay triangulation algorithm