1 (def 4).
[luhmp] /lʌmp/ noun 1. a piece or mass of solid matter without regular shape or of no particular shape: a lump of coal. 2. a protuberance or swelling: a blow that raised a lump on his head. 3. an aggregation, collection, or mass; clump: All the articles were piled in a great lump. 4. Also […]
/ˈlʌmpˌsʌkə/ noun 1. See lumpfish
- Lump uncurrying
Chin’s generalisation of uncurrying. A curried function taking several tuples as arguments can be transformed to take a single tuple containing all the components of the original tuples.
[luhm-pee] /ˈlʌm pi/ adjective, lumpier, lumpiest. 1. full of : lumpy gravy. 2. covered with , as a surface. 3. heavy or clumsy, as in movement or style; crude: a lumpy gait; a lumpy narrative. 4. (of water) rough or choppy. /ˈlʌmpɪ/ adjective lumpier, lumpiest 1. full of or having lumps 2. (esp of the […]