我完全不熟悉用shell script編寫代碼。 這是我的代碼: #!/bin/bash
echo -n "Output to $2 "
# set counter
count=1
# zap output file
> $2
# Loop
while [ $count -le $1 ]
do
# generate some random text
random
我寫這個函數: ||| Returns the ten largest values in the list.
top_ten : Ord a => List a -> List a
我第一次嘗試是一個pointfree實現使用功能組成: top_ten = take 10 . reverse . sort
但是這給了以下錯誤: Main.idr:3:9:When checking ri
我有一個熊貓數據幀,它看起來像這樣: time 000010 000017 000033 000034 000041 000042 \
0 672.246427 NaN NaN NaN 122.812927 367.110779 75.933125
1 672.253247 NaN NaN NaN 126.228996 372.775421 78.117798
2