{"id":124763,"date":"2020-06-15T14:54:09","date_gmt":"2020-06-15T06:54:09","guid":{"rendered":"http:\/\/4563.org\/?p=124763"},"modified":"2020-06-15T14:54:09","modified_gmt":"2020-06-15T06:54:09","slug":"emq-x-%e5%bc%80%e6%ba%90%e4%ba%86%e9%9d%a2%e5%90%91-iot5g-%e5%b8%82%e5%9c%ba%e7%9a%84%e5%87%bd%e6%95%b0%e7%bc%96%e7%a8%8b%e8%af%ad%e8%a8%80-hamler-%ef%bc%81","status":"publish","type":"post","link":"http:\/\/4563.org\/?p=124763","title":{"rendered":"EMQ X \u5f00\u6e90\u4e86\u9762\u5411 IoT&5G \u5e02\u573a\u7684\u51fd\u6570\u7f16\u7a0b\u8bed\u8a00 Hamler \uff01"},"content":{"rendered":"
\n
\n
\n

EMQ X \u5f00\u6e90\u4e86\u9762\u5411 IoT&5G \u5e02\u573a\u7684\u51fd\u6570\u7f16\u7a0b\u8bed\u8a00 Hamler \uff01 <\/h1>\n

<\/p>\n

\n
\u8cc7\u6df1\u5927\u4f6c : Eds1995 <\/span> <\/i> 9<\/span> <\/div>\n
<\/div>\n<\/p><\/div>\n<\/p><\/div>\n<\/p><\/div>\n
<\/p>\n

\u7b80\u4ecb<\/h2>\n

Hamler( https:\/\/hamler-lang.org\/) \u662f\u4e00\u95e8\u6784\u5efa\u5728 Erlang \u865a\u62df\u673a(VM)\u4e0a\u7684 Haskell \u98ce\u683c\u7684\u5f3a\u7c7b\u578b(strongly-typed)\u7f16\u7a0b\u8bed\u8a00\uff0c\u72ec\u7279\u5730\u7ed3\u5408\u4e86\u7f16\u8bd1\u65f6\u7684\u7c7b\u578b\u68c0\u67e5\u63a8\u5bfc\uff0c\u4e0e\u5bf9\u8fd0\u884c\u65f6\u9ad8\u5e76\u53d1\u548c\u8f6f\u5b9e\u65f6\u80fd\u529b\u7684\u652f\u6301\u3002 Hamler \u7f16\u7a0b\u8bed\u8a00\u5c06\u8d4b\u4e88\u884c\u4e1a\uff0c\u5c24\u5176\u662f 5G \u3001IoT \u3001\u4e91\u8ba1\u7b97\u548c\u8fb9\u7f18\u8ba1\u7b97\u7b49\u6f5c\u529b\u9886\u57df\uff0c\u6784\u5efa\u4e0b\u4e00\u4ee3\u9ad8\u53ef\u9760\u3001\u53ef\u6269\u5c55\u3001\u5177\u5907\u8f6f\u5b9e\u65f6\u652f\u6301\u5e94\u7528\u7684\u80fd\u529b\u3002<\/p>\n

\u4e3a\u4ec0\u4e48\u53d1\u5e03 Hamler \uff1f<\/h2>\n

\u8fd1\u5341\u5e74\u6765\uff0c\u6211\u4eec\u4e00\u76f4\u5728\u5f00\u53d1\u57fa\u4e8e Erlang\/OTP \u7684\u8f6f\u4ef6\u7cfb\u7edf\uff0c\u7279\u522b\u662f\u6211\u4eec\u7684\u6838\u5fc3\u4ea7\u54c1\u53ef\u4f38\u7f29\u5206\u5e03\u5f0f\u5f00\u6e90 MQTT \u670d\u52a1\u5668 – EMQ X \u3002\u6211\u4eec\u4e00\u76f4\u8ba4\u4e3a Erlang\/OTP\uff0c\u5c24\u5176\u662f Beam \u865a\u62df\u673a\u662f\u5de5\u7a0b\u5b66\u7684\u6770\u4f5c\u3002\u5b83\u5177\u6709\u51fa\u8272\u7684\u5e76\u53d1\u6027\u3001\u5206\u5e03\u6027\u548c\u5bb9\u9519\u6027\uff0c\u662f\u5c11\u6570\u6b63\u786e\u5904\u7406\u9ad8\u5e76\u53d1\u548c\u8f6f\u5b9e\u65f6\u7684\u901a\u7528\u8bed\u8a00\u5e73\u53f0\uff0c\u662f\u6700\u9002\u5408\u5f00\u53d1 IoT \u548c 5G \u5e94\u7528\u7684\u5e73\u53f0\u4e4b\u4e00\u3002<\/p>\n

\u4ece\u591a\u5e74\u5f00\u53d1 Erlang \u7a0b\u5e8f\u7ecf\u9a8c\u6765\u770b\uff0c\u6211\u4eec\u4e00\u76f4\u671f\u5f85\u89e3\u51b3\u4e24\u4e2a\u95ee\u9898\uff1a\u7f16\u8bd1\u65f6\u7c7b\u578b\u7cfb\u7edf\u4e0e\u66f4\u53cb\u597d\u7684\u7a0b\u5e8f\u8bed\u6cd5\u3002\u7f16\u8bd1\u65f6\u5f3a\u5927\u7684\u7c7b\u578b\u7cfb\u7edf\u6709\u52a9\u4e8e\u6211\u4eec\u6784\u5efa\u66f4\u53ef\u9760\u7684\u8f6f\u4ef6\u7cfb\u7edf\uff1b\u66f4\u53cb\u597d\u7684\u8bed\u6cd5\u6709\u52a9\u4e8e\u6211\u4eec\u521b\u5efa\u4e00\u4e2a\u7e41\u8363\u7684\u5f00\u53d1\u8005\u793e\u533a\u3002<\/p>\n

\u4e3a\u6b64\u5b66\u672f\u754c\u548c\u4ea7\u4e1a\u754c\u4ed8\u51fa\u4e86\u8fd1 20 \u5e74\u7684\u52aa\u529b\u3002\u9996\u5148\u662f Philip Wadler \u6559\u6388\u548c Simon Marlow \u5728 2000 \u5e74\u524d\u540e\uff0c\u4e3a Erlang \u5f15\u5165\u4e86\u7c7b\u578b\u6807\u6ce8\u548c Dialyzer \u9759\u6001\u7c7b\u578b\u68c0\u67e5\u5de5\u5177\u3002<\/p>\n

Simon Marlow & Philip Wadler (1997): A practical subtyping system for Erlang ( http:\/\/homepages.inf.ed.ac.uk\/wadler\/papers\/erlang\/erlang.pdf)<\/p>\n

Philip Wadler (2002): The great type hope ( http:\/\/homepages.inf.ed.ac.uk\/wadler\/papers\/erlang\/erlang-slides.pdf)<\/p>\n

2008 \u5e74\u540e\uff0c\u4ea7\u4e1a\u754c\u6709\u8fd1 20 \u4e2a\u9879\u76ee\uff0c\u4e0d\u65ad\u5730\u5c1d\u8bd5\u89e3\u51b3\u7c7b\u578b\u7cfb\u7edf\u548c\u53cb\u597d\u8bed\u6cd5\u7684\u95ee\u9898\u3002elixir \u9879\u76ee\u5f15\u5165\u4e86 Ruby \u8bed\u6cd5\uff0c\u5438\u5f15\u4e86\u90e8\u5206 Ruby On Rails \u793e\u533a\u5f00\u53d1\u8005\uff0c\u5374\u6ca1\u6709\u7c7b\u578b\u7cfb\u7edf\u652f\u6301\u3002Akka \u9879\u76ee\u5728 JVM \u4e0a\u6a21\u62df\u5b9e\u73b0\u4e86 Erlang\/OTP\uff0c\u4f46\u4e27\u5931\u4e86 Erlang\/OTP \u7684\u8f6f\u5b9e\u65f6\u7279\u6027\u3002Well-Typed \u516c\u53f8\u7684 Cloud Haskell \u9879\u76ee\u8bd5\u56fe\u5728 Haskell \u4e0a\u6a21\u62df\u5b9e\u73b0 Erlang\/OTP\uff0c\u76ee\u524d\u9879\u76ee\u5df2\u7ecf\u505c\u6ede\u3002\u6b64\u5916\u8fd8\u6709 lfe \u5f15\u5165\u4e86 Lisp \u8bed\u6cd5\uff0calpaca \u3001efene \u3001elchemy \u3001gleam \u7b49\u9879\u76ee\u8bd5\u56fe\u5f15\u5165 ML \u98ce\u683c\u8bed\u6cd5\u548c\u9759\u6001\u7c7b\u578b\uff0c\u76ee\u524d\u5927\u90e8\u5206\u4ecd\u5904\u4e8e\u5f88\u65e9\u671f\u7684\u5f00\u53d1\u4e2d\u3002<\/p>\n

\u4eca\u5929\uff0cEMQ \u56e2\u961f\u505a\u51fa\u52aa\u529b\uff0c\u91c7\u7528\u65b0\u7684\u8bed\u8a00\u67b6\u6784\u8bbe\u8ba1\u65b9\u5f0f\u518d\u4e00\u6b21\u5c1d\u8bd5\u89e3\u51b3\u4e0a\u8ff0\u95ee\u9898\uff0c\u6b63\u5f0f\u5411\u4e1a\u754c\u53d1\u5e03 Hamler \u8bed\u8a00 0.1 \u7248\u672c\uff01<\/p>\n

Hamler \u8bed\u8a00\u4e3b\u8981\u7279\u6027<\/h2>\n

Hamler \u4f5c\u4e3a\u8fd0\u884c\u5728 Erlang VM \u4e0a\u7684\u7c7b Haskell \u8bed\u6cd5\u7684\u7f16\u7a0b\u8bed\u8a00\uff0c\u6838\u5fc3\u7279\u6027\u53ef\u4ee5\u6982\u62ec\u4e3a\uff1a<\/p>\n

    \n
  • \n

    \u7c7b Haskell \u548c ML \u7684\u53cb\u597d\u8bed\u6cd5<\/p>\n<\/li>\n

  • \n

    \u7f16\u8bd1\u65f6\u7684\u7c7b\u578b\u68c0\u67e5\u4e0e\u7c7b\u578b\u63a8\u5bfc<\/p>\n<\/li>\n

  • \n

    \u8fd0\u884c\u65f6\u7684\u9ad8\u5e76\u53d1\u3001\u8f6f\u5b9e\u65f6\u652f\u6301<\/p>\n<\/li>\n<\/ul>\n

    \u7ed3\u5408\u6211\u4eec\u591a\u5e74\u5bf9\u51fd\u6570\u5f0f\u7f16\u7a0b\u7684\u7406\u89e3\u4e0e\u5f00\u53d1 Erlang \u3001Haskell \u7a0b\u5e8f\u7684\u7ecf\u9a8c\uff0cHamler \u8bed\u8a00\u652f\u6301\u51fd\u6570\u7f16\u7a0b\u5927\u90e8\u5206\u4e3b\u8981\u7279\u6027\uff0c\u6211\u4eec\u76f8\u4fe1\u8fd9\u4e9b\u7279\u6027\u53ef\u4ee5\u5e2e\u52a9\u4ea7\u4e1a\u66f4\u597d\u5730\u8fce\u63a5 5G \u3001IoT \u3001\u8fb9\u7f18\u8ba1\u7b97\u4e0e\u4e91\u8ba1\u7b97\u5e26\u6765\u7684\u5f00\u53d1\u6d6a\u6f6e\uff0c\u5e76\u5438\u5f15\u66f4\u591a\u7684\u5f00\u53d1\u8005\u4f7f\u7528 Erlang VM – BEAM \u3002<\/p>\n

      \n
    • \n

      \u58f0\u660e\u5f0f\u4e0e\u51fd\u6570\u5f0f\u7f16\u7a0b<\/p>\n<\/li>\n

    • \n

      \u7c7b Haskell \u4e0e ML \u8bed\u6cd5<\/p>\n<\/li>\n

    • \n

      \u7f16\u8bd1\u65f6\u7c7b\u578b\u68c0\u67e5\u4e0e\u63a8\u5bfc<\/p>\n<\/li>\n

    • \n

      \u4ee3\u6570\u7c7b\u578b\u7cfb\u7edf\u652f\u6301(ADT)<\/p>\n<\/li>\n

    • \n

      \u51fd\u6570\u3001\u95ed\u5305\u3001\u9ad8\u9636\u51fd\u6570<\/p>\n<\/li>\n

    • \n

      Currying and partial application<\/p>\n<\/li>\n

    • \n

      Pattern matching, and Guards<\/p>\n<\/li>\n

    • \n

      List comprehension<\/p>\n<\/li>\n

    • \n

      Applicative and Monad<\/p>\n<\/li>\n

    • \n

      \u66f4\u9ad8\u7ea7\u7684\u6a21\u5757\u7cfb\u7edf<\/p>\n<\/li>\n

    • \n

      \u9ad8\u5e76\u53d1\u3001\u8f6f\u5b9e\u65f6\u652f\u6301<\/p>\n<\/li>\n<\/ul><\/div>\n

      \u5927\u4f6c\u6709\u8a71\u8aaa<\/b> (3<\/span>) <\/div>\n
      <\/div>\n<\/p><\/div>\n<\/p><\/div>\n
        \n
      • \n
        \n
        \n
        \u4e3b<\/span> \u8cc7\u6df1\u5927\u4f6c : Eds1995 <\/span> <\/div>\n
        <\/i> <\/span> <\/div>\n<\/p><\/div>\n
        \u4ee5\u4e0a\u5185\u5bb9\u4ece\u8fd9\u7bc7\u516c\u4f17\u53f7\u642c\u8fd0\u7684: https:\/\/mp.weixin.qq.com\/s\/z–mt2Nq0cUK1iZZ8Y1c7Q <\/div>\n<\/p><\/div>\n<\/li>\n
      • \n
        \n
        \n
        \u4e3b<\/span> \u8cc7\u6df1\u5927\u4f6c : Eds1995 <\/span> <\/div>\n
        <\/i> <\/span> <\/div>\n<\/p><\/div>\n
        github \u5730\u5740 https:\/\/github.com\/hamler-lang\/hamler <\/div>\n<\/p><\/div>\n<\/li>\n
      • \n
        \n
        \n
        \u4e3b<\/span> \u8cc7\u6df1\u5927\u4f6c : Eds1995 <\/span> <\/div>\n
        <\/i> <\/span> <\/div>\n<\/p><\/div>\n
        \u5c45\u7136\u4e0a github trending \u4e86 <\/div>\n<\/p><\/div>\n<\/li>\n
      • \n","protected":false},"excerpt":{"rendered":"

        EMQ X \u5f00\u6e90\u4e86\u9762\u5411 IoT&a…<\/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\/124763"}],"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=124763"}],"version-history":[{"count":0,"href":"http:\/\/4563.org\/index.php?rest_route=\/wp\/v2\/posts\/124763\/revisions"}],"wp:attachment":[{"href":"http:\/\/4563.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=124763"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/4563.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=124763"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/4563.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=124763"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}