miner (n.)

约于1300年， minen，意为“在堡垒下挖掘隧道以推翻它们”，源自于 mine（n.1）或来自古法语 miner “挖掘，开采； 消灭”，源自法语名词。从14世纪中叶开始用作“在地下挖掘”（以获取矿物、财宝等）。比喻意义上的“通过缓慢或秘密的方法破坏或摧毁”始于14世纪中叶。及物动词“通过采矿提取”始于14世纪晚期。关于“布置（爆炸）地雷”的意义，请参见 mine（v.2）。相关词汇： Mined； mining。

1630年代，来自 coal（煤）+ miner（矿工）。