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

https://www.gudaiwenxue.com/shiren/17087.html