{"id":94071,"date":"2020-04-23T19:09:20","date_gmt":"2020-04-23T11:09:20","guid":{"rendered":"http:\/\/4563.org\/?p=94071"},"modified":"2020-04-23T19:09:20","modified_gmt":"2020-04-23T11:09:20","slug":"%e6%9c%89%e4%bb%80%e4%b9%88%e9%85%8d%e7%bd%ae%e8%af%ad%e8%a8%80%e6%98%af%e5%9b%be%e7%81%b5%e5%ae%8c%e5%a4%87%e7%9a%84%e5%90%97%ef%bc%9f","status":"publish","type":"post","link":"http:\/\/4563.org\/?p=94071","title":{"rendered":"\u6709\u4ec0\u4e48\u914d\u7f6e\u8bed\u8a00\u662f\u56fe\u7075\u5b8c\u5907\u7684\u5417\uff1f"},"content":{"rendered":"<div>\n<div>\n<div>\n<h1>                  \u6709\u4ec0\u4e48\u914d\u7f6e\u8bed\u8a00\u662f\u56fe\u7075\u5b8c\u5907\u7684\u5417\uff1f               <\/h1>\n<p> <\/p>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : vevlins <\/span>  <span><i><\/i> 25<\/span> <\/div>\n<div> <\/div>\n<\/p><\/div>\n<\/p><\/div>\n<\/p><\/div>\n<div isfirst=\"1\"> <\/p>\n<p>\u91cd\u70b9\u662f\u914d\u7f6e\u8bed\u8a00\uff0c\u7c7b\u4f3c\u4e8e json \u3001yaml \u8fd9\u79cd\u7c7b\u578b\u3002<\/p>\n<\/p><\/div>\n<div> <b>\u5927\u4f6c\u6709\u8a71\u8aaa<\/b> (<span>37<\/span>)        <\/div>\n<div> <\/div>\n<\/p><\/div>\n<\/p><\/div>\n<ul>\n<li data-pid=\"1187116\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : aliipay <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             lua [:doge]                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187117\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : murmur <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             gradle \u7b97\u4e48                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187118\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : runze <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             jsonnet \u3001xml(xslt)<br \/>\u6216\u8005\u4f60\u53ef\u4ee5\u7528\u56fe\u7075\u5b8c\u5907\u7684\u8bed\u8a00\u6765\u5f53\u4f5c\u914d\u7f6e\uff0c\u6bd4\u5982 js \u3001lua                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187119\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : DGideas <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             The notion of Turing completeness does not apply to languages such as XML, HTML, JSON, YAML and S-expressions, because they are typically used to represent structured data, not describe computation. These are sometimes referred to as markup languages, or more properly as &#8220;container languages&#8221; or &#8220;data description languages&#8221;.                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187120\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : DGideas <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             \u4e0d\u8fc7\u53ef\u4ee5\u8003\u8651\u4e00\u4e0b Makefile                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187121\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : wangyzj <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             \u56fe\u7075\u5b8c\u5907<br \/>\u65b0\u77e5\u8bc6                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187122\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : gkiwi <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             \u6c42\u4e2a\u56fe\u7075\u5b8c\u5907\u7684\u4e00\u53e5\u8bdd\u6e05\u6670\u89e3\u91ca\uff0c\u603b\u611f\u89c9\u5370\u8c61\u6a21\u7cca\u3002                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187123\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : cmdOptionKana <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             \u6211\u731c\u4f60\u60f3\u8981\u7684\u4e0d\u662f\u914d\u7f6e\u8bed\u8a00\uff0c\u800c\u662f\u63d2\u4ef6\u8bed\u8a00\uff0c\u6bd4\u5982\u7528\u4e8e vim \u7684 vimscript, \u7528\u4e8e emacs \u7684 elisp \u7b49\u3002                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187124\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : cmdOptionKana <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             \u4e00\u822c\u6709\u8fd9\u79cd\u9700\u6c42\u7684\uff0clua \u662f\u4e00\u4e2a\u5f88\u597d\u7684\u9009\u62e9\uff0c\u56e0\u4e3a\u5b83\u5bb9\u6613\u5185\u5d4c\uff0c\u4f53\u79ef\u5c0f\u3002                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187125\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : Cbdy <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             groogy                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187126\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : hahaayaoyaoyao <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             @gkiwi \u6211\u7684\u7406\u89e3\u662f\u81ea\u6211\u65e0\u6027\u751f\u6b96                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187127\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : fanhed <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             \u6211\u89c9\u5f97\u4e3b\u7684\u9700\u6c42\u8fd8\u662f\u7528\u4e00\u4e2a\u9884\u5904\u7406\u6765\u89e3\u51b3\u5427, \u9884\u5904\u7406\u751f\u6210\u914d\u7f6e\u6587\u4ef6, \u7136\u540e\u518d\u88ab\u8bfb\u5165                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187128\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : ConradG <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             Json \u548c Yaml \u5c31\u662f\u56fe\u7075\u5b8c\u5907\u7684\u554a\uff0c\u4f60\u628a\u6bcf\u4e00\u9879\u770b\u6210\u4e00\u4e2a\u72b6\u6001\uff0c\u6bcf\u4e2a\u5b50\u9879\u770b\u6210\u4e0b\u4e00\u4e2a\u72b6\u6001\u4e0d\u5c31\u884c\u4e86[:doge]                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187129\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : InkStone <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             @gkiwi \u4e0d\u90a3\u4e48\u7cbe\u786e\u5730\u8bb2\uff0c\u80fd\u6a21\u62df brainfuck \u7684\u8bed\u8a00\u5c31\u662f\u56fe\u7075\u5b8c\u5907\u7684\u3002                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187130\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : otakustay <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             \u6211\u611f\u89c9 CSS \u5feb\u8981\u56fe\u7075\u5b8c\u5907\u4e86\u5462                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187131\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : DGideas <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             @gkiwi \u6211\u4eec\u79f0\u67d0\u7f16\u7a0b\u8bed\u8a00\u662f\u56fe\u7075\u5b8c\u5907\u7684\uff0c\u65e8\u5728\u8868\u793a\u5b83\u80fd\u5b8c\u6210\u7b49\u4ef7\u4e8e\u901a\u7528\u56fe\u7075\u673a\u7684\u5de5\u4f5c\uff0c\u5373\u8003\u8651\u4ee5\u4e0b\u56db\u70b9\uff1a<br \/>(a). \u5177\u6709\u80fd\u591f\u7b49\u4ef7\u4e8e\u79fb\u52a8\u56fe\u7075\u673a\u7eb8\u5e26\u7684\u80fd\u529b\uff1a\u6bd4\u5982\u7f16\u7a0b\u8bed\u8a00\u63d0\u4f9b\u7684\u91cd\u590d\u63a7\u5236\u6d41\uff0c\u5982 while \u3001if &#8230; goto \u7b49\u3002<br \/>(b). \u5177\u6709\u80fd\u591f\u7b49\u4ef7\u4e8e\u8bfb\u5199\u56fe\u7075\u673a\u7eb8\u5e26\u5185\u5bb9\u7684\u80fd\u529b\uff1a\u62e5\u6709\u53d8\u91cf\u673a\u5236\uff0c\u80fd\u591f\u8bfb\u5199\uff08\u4efb\u610f\u7684\uff09\u53d8\u91cf\uff0c\u62e5\u6709\u80fd\u591f\u201c\u5f15\u7528\u201d\u5176\u4ed6\u53d8\u91cf\u7684\u80fd\u529b\uff08\u6bd4\u5982\u5f15\u7528\u6216\u6307\u9488\uff09\u3002<br \/>(c). \u5177\u6709\u6a21\u4eff\u6709\u9650\u72b6\u6001\u673a\u7684\u80fd\u529b\uff1a\u80fd\u591f\u8868\u793a\u6709\u9650\u4e2a\u72b6\u6001\u4ee5\u53ca\u5728\u8fd9\u4e9b\u72b6\u6001\u4e4b\u95f4\u7684\u8f6c\u79fb\u548c\u52a8\u4f5c\u7b49\u884c\u4e3a\u3002<br \/>(d). \u5177\u6709\u505c\u673a\u72b6\u6001\uff1a\u7a0b\u5e8f\u5e94\u5f53\u80fd\u5728\u6709\u9650\u6b65\u9aa4\u540e\u7ed3\u675f\u8fd0\u884c\u3002<\/p>\n<p>\u672c\u56de\u7b54\u53c2\u8003\u4e86 user3067516 \u5728 Software Engineering Stack Exchange \u4e0a\u7684\u56de\u7b54\uff1a https:\/\/softwareengineering.stackexchange.com\/a\/305248\/363321                                                            <\/p><\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187132\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : btnokami <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             groovy \u3002\u3002\u3002                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187133\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : krjt <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             \u611f\u89c9\u6700\u63a5\u8fd1\u7684\u53ef\u80fd\u662f Dhall\uff1a https:\/\/dhall-lang.org\/<br \/>\u867d\u7136\u4e0d\u662f Turing-complete \u4f46\u662f\u8db3\u591f programmable \u3002                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187134\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : ljwrer <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             sass                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187135\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : gaoryrt <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             \u7136\u540e\u5e94\u8be5\u6709\u4eba\u6765\u79d1\u666e\u4e00\u4e0b\u54e5\u5fb7\u5c14\u4e0d\u5b8c\u5907\u5b9a\u7406                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187136\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : learningman <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             @gkiwi \u53ef\u4ee5\u5199\u81ea\u5df1\u7684\u7f16\u8bd1\u5668                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187137\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : DGideas <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             @learningman \u4e0d\u51c6\u786e\uff0c\u8fd9\u53eb\u81ea\u4e3e\uff08 BootStrap \uff09                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187138\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : SoloCompany <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             kotlin dsl<br \/>js                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187139\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : mightofcode <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             \u56fe\u7075\u5b8c\u5907\u7684\u4e0d\u9002\u5408\u505a\u914d\u7f6e\u8bed\u8a00                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187140\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : TangMonk <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             ruby \u7684 dsl \u7b97\u4e48                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187141\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : purensong <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             \u56fe\u7075\u5b8c\u5907\u662f\u76f8\u5bf9\u4e0d\u5b8c\u5907\u800c\u8a00\u7684\uff0c\u56fe\u7075\u5b8c\u5907\u662f\u4e00\u5207\u53ef\u8ba1\u7b97\u95ee\u9898\u90fd\u80fd\u8ba1\u7b97\uff0c\u5141\u8bb8\u65e0\u9650\u5236\u5faa\u73af\u7b49\uff0c\u800c\u4e0d\u5b8c\u5907\u662f\u9650\u5236\u5faa\u73af\u7b49\u3002\u76f8\u6bd4\u8f83\u800c\u8a00\u56fe\u7075\u5b8c\u5907\u8bed\u8a00\u662f\u7075\u6d3b\u7684\uff0c\u4f46\u5b89\u5168\u6027\u8981\u6bd4\u4e0d\u5b8c\u5907\u7684\u4f4e\u4e00\u4e9b                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187142\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : DGideas <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             @ConradG \u8fd9\u6837\u786e\u5b9e\u5b9e\u73b0\u4e86\u56fe\u7075\u673a\u7684\u72b6\u6001\u8f6c\u79fb\u8868\uff0c\u4f46\u662f\u5e76\u6ca1\u6709\u5faa\u73af\u63a7\u5236\u6d41\u7684\u6982\u5ff5<\/p>\n<p>\u53ef\u4ee5\u7528\u5176\u4ed6\u8bed\u8a00\u7684\u5b9e\u73b0\u8bfb\u53d6 JSON \u548c YAML \u6587\u4ef6\uff0c\u4f46 JSON \u548c YAML \u7b49\u914d\u7f6e\u6587\u4ef6 *\u672c\u8eab* \u5e76\u4e0d\u56fe\u7075\u5b8c\u5907\u3002                                                            <\/p><\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187143\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : ipwx <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             Python \uff08\u72d7\u5934                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187144\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : shawndev <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             ruby, groovy?                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187145\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : ConradG <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             @DGideas \u6296\u673a\u7075\u7684\u56de\u7b54\u88ab\u8ba4\u771f\u4e86\uff08[:doge]\u4fdd\u547d\uff09<br \/>\u4e0d\u8fc7\u8f83\u771f\u4e00\u4e0b\uff0c\u5982\u679c\u5df2\u7ecf\u6709\u4e86\u201c\u72b6\u6001\u8f6c\u79fb\u8868\u201d\uff0c\u90a3\u4e48\u201c\u5faa\u73af\u63a7\u5236\u6d41\u201d\u662f\u4e0d\u5fc5\u8981\u7684\u3002                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187146\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : xcstream <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             \u6709 for \u5faa\u73af\u7684\u57fa\u672c\u53ef\u4ee5                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187147\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : hst001 <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             lisp<\/p>\n<p>\u53c2\u8003\u8fd9\u7bc7\u535a\u5ba2 https:\/\/blog.codingnow.com\/2017\/07\/paradox_data_format.html                                                            <\/p><\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187148\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : Believer <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             emacs-lisp                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187149\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : secondwtq <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             \u8fd9\u4e2a\u95ee\u9898\u5f88\u6709\u610f\u601d\uff0c\u56e0\u4e3a\u6211\u524d\u4e24\u4e2a\u6708\u770b\u5230\u4e86 #18 \u63d0\u5230\u7684 Dhall \u7684\u4f5c\u8005\u7684\u4e00\u7bc7\u535a\u5ba2\uff1a<br \/>http:\/\/www.haskellforall.com\/2020\/01\/why-dhall-advertises-absence-of-turing.html<\/p>\n<p>\u53ef\u80fd\u662f\u4f5c\u8005\u8bf4\u8bdd\u592a\u5ba2\u6c14\u4e86\uff0c\u6211\u6ca1\u592a\u770b\u61c2\u4ed6\u7a76\u7adf\u8981\u8868\u8fbe\u4ec0\u4e48\u610f\u601d\u3002\u4ed6\u5217\u4e86\u4e24\u70b9\u201c\u4e3a\u4ec0\u4e48\u2018\u914d\u7f6e\u8bed\u8a00\u2019\u5e94\u8be5\u662f\u975e\u56fe\u7075\u5b8c\u5168\u7684\u201c\u7684\u539f\u56e0\uff1a\u7b2c\u4e00\u70b9\u662f\u975e\u56fe\u7075\u5b8c\u5168\u201dimply\u201c\u4e86\u4e00\u4e9b\u5b89\u5168\u7279\u6027\uff0c\u7b2c\u4e8c\u70b9\u662f\u5f88\u591a\u4eba\u8ba4\u4e3a\u914d\u7f6e\u8bed\u8a00\u5c31\u5e94\u8be5\u662f\u975e\u56fe\u7075\u5b8c\u5168\u7684\u3002<br \/>\u867d\u7136\u5c3d\u7ba1\u6211\u4ed4\u7ec6\u9605\u8bfb\u4e4b\u540e\u8ba4\u4e3a\u4f5c\u8005\u7684\u610f\u601d\u662f\u201c\u975e\u56fe\u7075\u5b89\u5168\u5bf9\u4e8e\u914d\u7f6e\u8bed\u8a00\u662f\u53ef\u6b32\u7684\u201d\uff08\u5c24\u5176\u8003\u8651\u5230\u4f5c\u8005\u81ea\u5df1\u5c31\u662f\u4e00\u4e2a\u975e\u56fe\u7075\u5b89\u5168\u7684\u914d\u7f6e\u8bed\u8a00\u7684\u4f5c\u8005\u4e4b\u540e\uff09\uff0c\u6211\u53cd\u800c\u8ba4\u4e3a\u8fd9\u7bc7\u6587\u7ae0\u6070\u597d\u80fd\u5b8c\u7f8e\u5730\u8bf4\u660e\u201c\u4e3a\u4ec0\u4e48\u975e\u56fe\u7075\u5b8c\u5168\u7684\u914d\u7f6e\u8bed\u8a00\u662f\u4e2a\u9a97\u5c40\u201d\u2014\u2014\u56e0\u4e3a\u4f5c\u8005\u5217\u4e3e\u7684\u8fd9\u4e24\u70b9\u7406\u7531\u5c31\u633a\u840c\u7684\u6ca1\u6709\u4e00\u70b9\u662f\u548c\u201c\u975e\u56fe\u7075\u5b8c\u5168\u201d\u8fd9\u4e00\u7279\u6027\u6709\u76f4\u63a5\u5173\u7cfb\u7684\uff01<\/p>\n<p>\u6211\u5148\u4eae\u6211\u7684\u5c41\u80a1\uff1a\u6211\u4e2a\u4eba\u652f\u6301\u914d\u7f6e\u8bed\u8a00\u56fe\u7075\u5b8c\u5168\uff0c\u652f\u6301\u914d\u7f6e\u8bed\u8a00\u8d8a\u505a\u8d8a\u590d\u6742\uff08\u6216\u8005\u81f3\u5c11\u662f\u6bd4\u73b0\u5728\u4e3b\u6d41\u7684\u66f4\u52a0\u590d\u6742\uff09\uff0c\u751a\u81f3\u652f\u6301\u76f4\u63a5\u4f7f\u7528\u5408\u9002\u7684\u901a\u7528\u7f16\u7a0b\u8bed\u8a00\u4f5c\u4e3a\u914d\u7f6e\u8bed\u8a00\u6765\u4f7f\u7528\u3002\u8fd9\u548c\u6211\u7684\u80cc\u666f\uff0c\u4ee5\u53ca\u7531\u6b64\u4ea7\u751f\u7684\u5bf9\u8f6f\u4ef6\u53ef\u5b9a\u5236\u6027\u7684\u8ffd\u6c42\u6709\u5173\uff0c\u89c1 https:\/\/www.v2ex.com\/t\/647806#r_8619946 https:\/\/v2ex.com\/t\/627912#r_8326554 \u7b49\u56de\u590d<\/p>\n<p>\u7136\u540e\u628a\u6587\u7ae0\u4f5c\u8005\u7684\u4e8b\u5b9e\u9648\u8ff0\u63ba\u4e0a\u6211\u81ea\u5df1\u7684\u4ef7\u503c\u5224\u65ad\u7092\u4e24\u4e0b\uff1a<br \/>\u201c\u56fe\u7075\u5b8c\u5168\u201d\u4e4b\u6240\u4ee5\u5728\u914d\u7f6e\u8bed\u8a00\u4e0a\u6210\u4e86\u4e2a\u95ee\u9898\uff0c\u4e3b\u8981\u662f\u56e0\u4e3a\u6709\u90a3\u4e48\u4e00\u62e8\u4eba\u66f4\u770b\u91cd\u914d\u7f6e\u8bed\u8a00\u7684\u201c\u5b89\u5168\u201d\u201c\u7a33\u5b9a\u201d\u548c\u201c\u53ef\u63a7\u201d\uff0c\u504f\u504f\u53c8\u662f\u8fd9\u4e48\u4e00\u62e8\u4eba\u4e2d\u6709\u90a3\u4e48\u4e00\u90e8\u5206\u4eba\uff0c\u6839\u672c\u5bf9\u201c\u56fe\u7075\u5b8c\u5168\u201d\u662f\u4ec0\u4e48\u6797\u6a8e\u4e1c\u897f\u90fd\u6ca1\u6709\u6982\u5ff5\uff0c\u7136\u540e\u7528\u201c\u975e\u56fe\u7075\u5b8c\u5168\u201d\u5f53\u4f5c\u201c\u7b80\u5355\u201d\u201c\u5b89\u5168\u201d\u7684 umbrella term \uff08\u8fd9\u8981\u90e8\u5206\u5f52\u529f\u4e8e PL \u6559\u80b2\u7684\u5931\u8d25\u548c\u5e94\u7528\u7684\u843d\u540e\uff09\uff0c\u7136\u540e\u641e\u5f97\u5f88\u591a\u4eba\u90fd\u5f00\u59cb dssq \uff08\u6bd5\u7adf\u5927\u591a\u6570\u4eba\u662f\u4e0d\u4f1a\u601d\u8003\u7684\uff09\uff0c\u5c31\u6210\u4e86\u73b0\u5728\u8fd9\u4e2a\u5fb7\u884c\u3002<\/p>\n<p>\u5728\u8fd9\u7bc7\u6587\u7ae0\u4e2d\uff0c\u4f5c\u8005\u4ee5 Ackermann Function \u4e3e\u4f8b\uff0c\u8bf4\u660e\u4e86\u201c\u975e\u56fe\u7075\u5b8c\u5168\u201d\u7684\u7279\u6027\u5e76\u4e0d\u80fd\u5e2e\u4f60\u63a7\u5236\u7a0b\u5e8f\u7684\u8fd0\u884c\u65f6\u95f4\u548c\u8d44\u6e90\u5360\u7528\uff08\u6216\u8005\u8bf4\u662f\u4e2a\u201c\u7406\u8bba\u610f\u4e49\u201d\u548c\u201c\u5b9e\u9645\u610f\u4e49\u201d\u7684\u95ee\u9898\uff0c\u518d\u5f80\u4e0b\u5c31\u8981\u626f\u5230 \u738b\u57a0 vs. \u8d75\u6d77\u5e73 \u4e86 &#8230;\uff09\uff0c\u7136\u540e\u8bf4\u201c\u975e\u56fe\u7075\u5b8c\u5168\u201d\u4e00\u822c imply \u4e86\u51e0\u4e2a\u5176\u4ed6\u7684\u7279\u6027\u6240\u4ee5\u5927\u5bb6\u559c\u6b22\u2014\u2014\u867d\u7136\u8fd9\u4e9b\u7279\u6027\u5728\u56fe\u7075\u5b8c\u5168\u7684\u8bed\u8a00\u4e2d\u4e5f\u90fd\u53ef\u4ee5\u5b9e\u73b0\u3002\u540e\u9762\u5b9e\u9645\u662f\u628a\u7c7b\u4f3c\u7684\u4e1c\u897f\u53c8\u91cd\u590d\u4e86\u4e00\u904d\uff0c\u53ea\u4e0d\u8fc7\u66f4\u5f3a\u8c03\u5927\u5bb6\u559c\u6b22\u7684\u662f\u201c\u56fe\u7075\u5b8c\u5168\u201d\u8fd9\u4e2a\u8bcd\u7684\u8272\u5f69\u800c\u4e0d\u662f\u8fd9\u4e2a\u7279\u6027\u672c\u8eab\u2014\u2014\u6362\u53e5\u8bdd\u8bf4\u5c31\u662f\u201c\u4e00\u7fa4\u6ca1\u5f00\u5316\u53ea\u4f1a\u8ddf\u98ce\u7684\u7334\u5b50\u201d\u3002\u7136\u540e\u5728\u8bc4\u8bba\u4e2d\u4f5c\u8005\u53c8\u628a\u975e\u56fe\u7075\u5b8c\u5168\u53ef\u80fd\u5e26\u6765\u7684\u9759\u6001\u5206\u6790\u65b9\u9762\u7684\u597d\u5904\u7ed9 invalidate \u4e86\u3002\u603b\u7ed3\uff1a\u975e\u56fe\u7075\u5b8c\u5168\u7684\u914d\u7f6e\u8bed\u8a00\u662f\u4e2a\u9a97\u5c40 Q.E.D.<\/p>\n<p>\u54e6\u5bf9\u4e86\u5728\u8fd9\u4e2a Reddit thread \u91cc\u9762 https:\/\/old.reddit.com\/r\/programming\/comments\/f0odmw\/why_dhall_advertises_the_absence_of\uff0c\u4f5c\u8005\uff08 u\/Tekmo \uff09\u6709\u90e8\u5206\u89e3\u91ca\u4e86\u4ed6\u7684\u52a8\u673a\uff1a&#8221;not to defend improper use of terminology&#8221; &#8230; &#8220;problem with imprecise terminology&#8221; &#8230; &#8220;it is that misuse of the term &#8216;Turing complete&#8217; is an unfortunate reality that I have to deal with when promoting the language&#8221; (Dhall)<\/p>\n<p>\u7136\u540e\u56de\u5230\u4e3b\u7684\u95ee\u9898\uff0c\u4e3b\u91cd\u70b9\u5f3a\u8c03\u4e86\u201c\u914d\u7f6e\u8bed\u8a00\u201d\uff0c\u4f46\u662f\u56de\u590d\u5df2\u7ecf\u5f88\u660e\u663e\u4e86\u2014\u2014\u6240\u8c13\u7684\u201c\u914d\u7f6e\u8bed\u8a00\u201d\u548c\u5176\u4ed6\u8bed\u8a00\u4e4b\u95f4\u5e76\u4e0d\u5b58\u5728\u660e\u663e\u7684\u5206\u754c\u7ebf\u2014\u2014INI \u53ef\u80fd\u662f\u6700\u7b80\u5355\u7684\uff0c\u518d\u5f80\u4e0a\u662f JSON\uff0c\u8fd8\u6709 UNIX \u4e00\u4e9b\u8f6f\u4ef6\u7684 config\uff0c\u7136\u540e YAML\uff0cXML\uff0cLua\uff0cLISP\uff0cPython \u3002\u8fd9\u4e2a\u5217\u8868\u91cc\u9762\uff0c\u5982 #4 \u6240\u5f15\u7528\u7684\uff0c&#8221;Data Description Language&#8221; \u548c\u56fe\u7075\u5b8c\u5907\u7684\u7f16\u7a0b\u8bed\u8a00\u4e4b\u95f4\u5f62\u6210\u4e86\u4e00\u6761\u660e\u663e\u7684\u5206\u754c\u7ebf\uff08\u867d\u7136\u8fd9\u548c\u201c\u56fe\u7075\u5b8c\u5907\u201d\u5e76\u6ca1\u6709\u4ec0\u4e48\u6797\u6a8e\u5173\u7cfb\uff0c\u53ea\u662f\u80fd\u7528\u7684\u7f16\u7a0b\u8bed\u8a00\u4e00\u822c\u90fd\u662f\u56fe\u7075\u5b8c\u5907\u7684\uff09\uff0c\u4f46\u662f\u5982\u679c\u628a Dhall \u8fd9\u79cd\u52a0\u8fdb\u53bb\uff0c\u5c31\u6210\u4e86\u4e00\u4e2a\u8fde\u7eed\u7684\u5149\u8c31\u4e86\u3002\u6240\u4ee5\u4e0d\u5982\u5c31\u628a\u8fd9\u4e2a\u6ed1\u5761\u653e\u5728\u90a3\u4e0d\u7ba1\uff0c\u8f6c\u800c\u5c1d\u8bd5\u533a\u5206\u201c\u9002\u5408\u7528\u4e8e\u914d\u7f6e\u7684\u8bed\u8a00\u201d\u548c\u201c\u4e0d\u9002\u5408\u7528\u4e8e\u914d\u7f6e\u7684\u8bed\u8a00\u201d\u2014\u2014\u5f53\u7136\u8fd9\u4e2a\u4f9d\u7136\u662f\u975e\u5e38\u4e3b\u89c2\u7684 &#8230;<\/p>\n<p>\u53e6\u4e00\u65b9\u9762\uff0c\u53ef\u4ee5\u4ece\u8bed\u8a00\u7684\u8bbe\u8ba1\u76ee\u7684\u6765\u533a\u5206\uff0c\u4f46\u662f\u5341\u5206\u4e0d\u5e78\u7684\u662f\uff0c\u5e38\u7528\u7684\u201c\u914d\u7f6e\u8bed\u8a00\u201d JSON \u548c XML \u90fd\u4e0d\u662f\u4e13\u95e8\u4e3a\u4e86\u201c\u914d\u7f6e\u201d\u8bbe\u8ba1\u7684\uff0cYAML \u66f4\u50cf\u4f46\u662f\u6211\u4e0d\u719f\u6089\u4e0d\u592a\u597d\u8bf4\uff0c\u8fd9\u4e9b\u53ea\u662f\u5728\u76f8\u5173\u573a\u666f\u4e0b\u6700\u5e38\u88ab\u4f7f\u7528\u800c\u5df2\uff08\u6216\u8005\u8bf4\u6ca1\u6709\u66f4\u597d\u7684\u66ff\u4ee3\u54c1 &#8230;\uff09\uff0c\u53ea\u6709 Dhall \u65d7\u5e1c\u9c9c\u660e\u5730\u6253\u51fa\u4e86\u201cconfiguration language\u201d &#8230;<\/p>\n<p>\u6211\u7684\u7ed3\u8bba\u662f\uff0c\u4e3b\u7684\u201c\u914d\u7f6e\u8bed\u8a00\u201d\u8fd9\u4e2a\u6982\u5ff5\uff0c\u4e5f\u662f\u4e2a\u9a97\u5c40\u3002\u56fe\u7075\u5b8c\u5168\u7684\u8bed\u8a00\u4e00\u5927\u5806\uff0c\u770b\u8c01\u987a\u773c\u7231\u7528\u5565\u7528\u5565<\/p>\n<p>\u66f4\u6709\u610f\u4e49\u7684\u8ba8\u8bba\u65b9\u5411\u4e5f\u8bb8\u662f\uff0c\u201c\u56fe\u7075\u5b8c\u5168\u7684\u914d\u7f6e\u8bed\u8a00\u201d\uff08\u6216\u8005\u8bf4\u56fe\u7075\u5b8c\u5168\u7684\uff0c\u4f60\u4e3b\u89c2\u8ba4\u4e3a\u9002\u5408\u7528\u4e8e\u914d\u7f6e\u7684\u8bed\u8a00\uff09\u201c\u5e94\u8be5\u201d\u662f\u4ec0\u4e48\u6837\u5b50\u3002\u6bd4\u5982\u9650\u5236\u6216\u7981\u6b62\u526f\u4f5c\u7528\uff0c\u5141\u8bb8\u5bf9\u9012\u5f52\u505a\u51fa\u9650\u5236\u7b49\u7b49\u3002<br \/>\u5f53\u7136\u6211\u66f4\u503e\u5411\u4e8e\u628a\u8fd9\u4e9b\u505a\u6210\u4e00\u4e2a\u901a\u7528\u7f16\u7a0b\u8bed\u8a00\u7684\u5e93 &#8230;                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187150\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : DGideas <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             @ConradG \u54c8\u54c8\u54c8\uff0c\u4f60\u8bf4\u5f97\u5bf9\uff0c\u8f6c\u79fb\u8868\u5c31\u80fd\u5b9e\u73b0\u5faa\u73af\u903b\u8f91\u4e86\uff01                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187151\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u8cc7\u6df1\u5927\u4f6c : encro <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             \u914d\u7f6e\u8bed\u8a00\u6211\u8ba4\u4e3a\u9700\u8981\u5177\u5907 2 \u4e2a\u7279\u70b9\uff1a<br \/>1\uff0c\u5bb9\u6613\u88ab\u5176\u4ed6\u8bed\u8a00\u89e3\u6790\uff1b<br \/>2\uff0c\u5bb9\u6613\u5b66\u4e60\uff0c\u4ece\u6765\u6ca1\u5b66\u4e2a\u8fd9\u4e2a\u914d\u7f6e\u7684\u4eba\uff0c\u770b\u4e00\u773c\u60f3\u5f53\u7136\u80fd\u660e\u767d\u4e00\u90e8\u5206\uff0c\u7a0d\u5fae\u770b\u4e0b\u6587\u6863\u5c31\u80fd\u638c\u63e1\u5927\u90e8\u5206\u3002<\/p>\n<p>\u4ee5\u4e0a\uff0c\u8981\u6c42\u914d\u7f6e\u8bed\u8a00\u5fc5\u987b\u7b80\u5355\u3002<br \/>\u8fd9\u4e5f\u662f ini, toml, xml, json, yaml \u80fd\u6d41\u884c\u7684\u539f\u56e0\u3002<\/p>\n<p>nginx \u7684\u914d\u7f6e\u6587\u4ef6\u5927\u6982\u80fd\u7b26\u5408\u4e3b\u8981\u6c42\uff1f<br \/>\u5177\u5907\u53d8\u91cf\u548c\u6761\u4ef6\u63a7\u5236\uff0c\u597d\u50cf\u6ca1\u6709\u5faa\u73af\uff1f                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li data-pid=\"1187152\" data-uid=\"2\">\n<div>\n<div>\n<div> <span>\u4e3b<\/span> <span>\u8cc7\u6df1\u5927\u4f6c : vevlins <\/span>  <\/div>\n<div> <i title=\"\u5f15\u7528\"><\/i>  <span>          <\/span> <\/div>\n<\/p><\/div>\n<div>                                                             \u8865\u5145\u4e00\u4e0b\u80cc\u666f\uff0c\u6211\u662f\u4e00\u4e2a\u524d\u7aef\u5de5\u7a0b\u5e08\uff0c\u7ecf\u5e38\u7ef4\u62a4\u4e00\u4e9b\u903b\u8f91\u975e\u5e38\u590d\u6742\u7684\u8868\u5355\uff0c\u5c1d\u8bd5\u8fc7\u62bd\u7ec4\u4ef6\uff0c\u4e5f\u4e86\u89e3\u8fc7 json-schema \u914d\u7f6e\u8868\u5355\uff0c\u4f46\u6839\u672c\u65e0\u6cd5\u8986\u76d6\u590d\u6742\u7684\u903b\u8f91\u3002\u6bd4\u5982\u4e00\u4e2a\u8868\u5355\u4e2d\u4f1a\u6709\u9a8c\u8bc1\uff0c\u4f1a\u6709\u8054\u52a8\uff0c\u4f1a\u6709\u8fdc\u7a0b\u6821\u9a8c\uff0c\u8fd8\u4f1a\u5728\u8054\u52a8\u540e\u66f4\u6539\u9a8c\u8bc1\u89c4\u5219\u3002\u6240\u4ee5\u6211\u4ece json-schema \u7684\u89d2\u5ea6\u51fa\u53d1\uff0c\u60f3\u95ee\u95ee\u6709\u6ca1\u6709\u5176\u4ed6\u56fe\u7075\u5b8c\u5907\u7684\u914d\u7f6e\u8bed\u8a00\u53ef\u80fd\u5b9e\u73b0\u590d\u6742\u8868\u5355\u7684\u914d\u7f6e\u3002                                                            <\/div>\n<\/p><\/div>\n<\/li>\n<li>\n","protected":false},"excerpt":{"rendered":"<p>\u6709\u4ec0\u4e48\u914d\u7f6e\u8bed\u8a00\u662f\u56fe\u7075\u5b8c\u5907\u7684\u5417\uff1f \u8cc7&hellip;<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[],"tags":[],"_links":{"self":[{"href":"http:\/\/4563.org\/index.php?rest_route=\/wp\/v2\/posts\/94071"}],"collection":[{"href":"http:\/\/4563.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/4563.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/4563.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/4563.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=94071"}],"version-history":[{"count":0,"href":"http:\/\/4563.org\/index.php?rest_route=\/wp\/v2\/posts\/94071\/revisions"}],"wp:attachment":[{"href":"http:\/\/4563.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=94071"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/4563.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=94071"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/4563.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=94071"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}