壑大，姓氏未详，吴松（今上海宝山）人。陈郁（世崇父）友。度宗咸淳八年（一二七二）寓临安。事见《随隐漫录》卷三。

资料来源：历代名家文库（sinfo）· 收录编号 #4938