如何系统地学习Lean语言？

如何系统地学习Lean语言？

我就默认你学的是Lean4了。 可以试着玩玩下面两款交互式...

查看详细
如何评价首个女性友好的编程语言HerCode?

如何评价首个女性友好的编程语言HerCode?

还是太复杂了，感觉不如Herlang ***s://gith...

查看详细
PHP现在真的已经过时了吗？

PHP现在真的已经过时了吗？

业务远比用什么程序语言重要。 我只想说，互联网上现在99%...

查看详细
python与nodejs哪个性能高？

python与nodejs哪个性能高？

迭代法＋取模计算fibs(100000000)%100000...

查看详细
女生微胖到底是种什么体验？

女生微胖到底是种什么体验？

真的体验很不好 身高169，体重122-124 由于胖的比较...

查看详细