将多个数字列转换为值和类别列

Question

我有一个 df。

>>>df = pd.DataFrame({"a": [1,2], "b": [3, 4], "c":[5, 6], 
"irrelevant": [7, 8], "do_not_use": [9, 10]})
>>> df
    a  b  c  irrelevant  do_not_use
 0  1  3  5           7           9
 1  2  4  6           8          10

我想合并 a、b、c 列，这样我就可以得到表单

   value  type 
0    1     a
1    2     a
2    3     b 
3    4     b
4    5     c
5    6     c

我觉得这应该很容易，但如果没有大的 for 循环和系列的串联，我找不到办法做到这一点。

存档转换的最佳方式是什么？