小编Gsp*_*van的帖子

如何将字符串"Hello"拆分为字符列表,例如,如何将字符串拆分为F sharp中的字符列表.

"Hello" ->['H';'e';'l';'l';'o']

我尝试过 Split([| |]),但它只根据你传入的参数拆分一个字符串.

我试过这个,但它仍然没有用

let splitChar (text:string) = 
    [for c in text ->c] 

let splitChar (text:string) = 
    [for c in text do yield c] 

我正在研究macbook上的android项目,最近我刚刚清空了我的回收站但是当我同步我的项目时我得到以下错误 错误:无法从**/Users/gsp/.gradle/daemon/2.10/registry读取缓存值的.bin'

****我知道这个问题之前已被问及我已经阅读了解决方案,但我找不到registry.bin文件的位置现在我的问题是 如何删除"registry.bin"文件, 因为它有有人建议****

我已经尝试在我的用户文件夹中检查" .gradle "但不在那里