論文の概要: Hailstorm : A Statically-Typed, Purely Functional Language for IoT Applications

• arxiv url: http://arxiv.org/abs/2105.13468v1
• Date: Thu, 27 May 2021 22:09:15 GMT
• ステータス: 処理完了
• システム内更新日: 2021-05-31 13:34:14.375558
• Title: Hailstorm : A Statically-Typed, Purely Functional Language for IoT Applications
• Title（参考訳）: Hailstorm : IoTアプリケーションのための静的型、純粋関数型言語
• Authors: Abhiroop Sarkar, Mary Sheeran
• Abstract要約: 静的型付けされた純粋関数型プログラミング言語であるHailstormを紹介します。 高次関数、テール再帰、自動メモリ管理などの機能をサポートする。 我々は、標準例を書き、GRiSP組み込みシステムボード上でサンプルを実行することで、Hailstormを評価した。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: With the growing ubiquity of Internet of Things(IoT), more complex logic is being programmed on resource-constrained IoT devices, almost exclusively using the C programming language. While C provides low-level control over memory, it lacks a number of high-level programming abstractions such as higher-order functions, polymorphism, strong static typing, memory safety, and automatic memory management. We present Hailstorm, a statically-typed, purely functional programming language that attempts to address the above problem. It is a high-level programming language with a strict typing discipline. It supports features like higher-order functions, tail-recursion, and automatic memory management, to program IoT devices in a declarative manner. Applications running on these devices tend to be heavily dominated by I/O. Hailstorm tracks side effects likeI/O in its type system using resource types. This choice allowed us to explore the design of a purely functional standalone language, in an area where it is more common to embed a functional core in an imperative shell. The language borrows the combinators of arrowized FRP, but has discrete-time semantics. The design of the full set of combinators is work in progress, driven by examples. So far, we have evaluated Hailstorm by writing standard examples from the literature (earthquake detection, a railway crossing system and various other clocked systems), and also running examples on the GRiSP embedded systems board, through generation of Erlang.
• Abstract（参考訳）: IoT(Internet of Things)の普及に伴い、リソースに制約のあるIoTデバイス上では、C言語のみを使用して、より複雑なロジックがプログラムされている。 C言語は低レベルのメモリ制御を提供するが、高階関数、多型、強い静的型付け、メモリ安全性、自動メモリ管理など、多くのハイレベルなプログラミング抽象化を欠いている。 本稿では,静的型付けされた純粋関数型プログラミング言語であるHailstormについて述べる。 厳格なタイピングの規律を持つハイレベルなプログラミング言語である。 宣言的な方法でIoTデバイスをプログラムするために、高次関数、テール再帰、自動メモリ管理などの機能をサポートする。 これらのデバイス上で動作するアプリケーションは、i/oに大きく支配される傾向がある。 hailstormは、リソースタイプを使用して型システムにおけるlikei/oの副作用を追跡する。 この選択により、命令型シェルに関数型コアを埋め込むのが一般的である領域において、純粋に機能的なスタンドアロン言語の設計を探索できるようになりました。 この言語はarrowized frpのコンビネータを借りているが、離散時間セマンティクスを持っている。 完全なコンビネータの設計は、例によって推進されて進行中である。 これまでのところ、文献(地震検出、鉄道横断システム、その他様々なクロックシステム)から標準的な例を書き、Erlangの生成を通じてGRiSP組み込みシステムボード上でも例を挙げて、Hailstormを評価してきた。

関連論文リスト

• Context-Sensitive Abstract Interpretation of Dynamic Languages [0.0]
  Javaのような静的言語とPythonやJavaScriptのような動的言語の間には、IDEツールの品質に大きなギャップがあります。 これらの言語の現代的なフレームワークやライブラリは、最高のエルゴノミクスと可読性を達成するために、その動的能力を大いに利用しています。 本稿では,プログラムの動的メタプログラミングと実行を静的に解析することで,このギャップを埋めるアルゴリズムを提案する。
  論文  参考訳（メタデータ） (2024-01-31T17:45:05Z)
• SGLang: Efficient Execution of Structured Language Model Programs [38.7354780030876]
  本稿では,複雑な言語モデルプログラムの効率的な実行システムであるSGLangを紹介する。 Radix for KVLangや圧縮有限状態マシンなどの新しい最適化によるランタイム実行は、より高速な構造化出力デコードを実現する。 SGを6.4倍のスループットでキャッシュする実験は、様々な大規模言語マルチモーダルモデルにおける最先端の推論と比較できる。
  論文  参考訳（メタデータ） (2023-12-12T09:34:27Z)
• Language Models are Universal Embedders [48.12992614723464]
  事前学習されたトランスフォーマーデコーダは、限定的な英語データに基づいて微調整された場合、普遍的に埋め込み可能であることを示す。 我々のモデルは、最小限のトレーニングデータにより、異なる埋め込みタスクにおける競争性能を達成する。 これらの結果は、強力な統合インバータを構築するための有望な道の証となる。
  論文  参考訳（メタデータ） (2023-10-12T11:25:46Z)
• Instruct2Act: Mapping Multi-modality Instructions to Robotic Actions with Large Language Model [63.66204449776262]
  Instruct2Actは、ロボット操作タスクのシーケンシャルアクションにマルチモーダル命令をマッピングするフレームワークである。 我々のアプローチは、様々な命令のモダリティや入力タイプを調節する上で、調整可能で柔軟なものである。 我々のゼロショット法は、いくつかのタスクにおいて、最先端の学習ベースのポリシーよりも優れていた。
  論文  参考訳（メタデータ） (2023-05-18T17:59:49Z)
• PADL: Language-Directed Physics-Based Character Control [66.517142635815]
  本稿では,文字が行うべきハイレベルなタスクと低レベルなスキルを指定するために,ユーザが自然言語コマンドを発行できるようにするPADLを提案する。 我々は,シミュレーションされたヒューマノイドキャラクタを効果的に誘導し,多種多様な複雑な運動能力を実現するために,本フレームワークを適用した。
  論文  参考訳（メタデータ） (2023-01-31T18:59:22Z)
• QParallel: Explicit Parallelism for Programming Quantum Computers [62.10004571940546]
  並列量子プログラミングのための言語拡張を提案する。 QParallelは、現在の量子プログラミング言語における並列性に関する曖昧さを取り除く。 並列化によって最も利益を上げるサブルーチンを識別し,並列領域の配置にプログラマを誘導するツールを提案する。
  論文  参考訳（メタデータ） (2022-10-07T16:35:16Z)
• Pre-Trained Language Models for Interactive Decision-Making [72.77825666035203]
  目的と観測を埋め込みのシーケンスとして表現する模倣学習の枠組みを述べる。 このフレームワークは様々な環境にまたがって効果的な一般化を可能にすることを実証する。 新たなゴールや新しいシーンを含むテストタスクでは、言語モデルによる初期化ポリシーはタスク完了率を43.6%改善する。
  論文  参考訳（メタデータ） (2022-02-03T18:55:52Z)
• Leveraging Language to Learn Program Abstractions and Search Heuristics [66.28391181268645]
  LAPS(Language for Abstraction and Program Search)は、自然言語アノテーションを用いて、ライブラリとニューラルネットワークによる合成のための検索モデルの共同学習をガイドする手法である。 最先端のライブラリ学習システム(DreamCoder)に統合されると、LAPSは高品質なライブラリを生成し、検索効率と一般化を改善する。
  論文  参考訳（メタデータ） (2021-06-18T15:08:47Z)
• LazyTensor: combining eager execution with domain-specific compilers [0.0]
  LazyTensorは、定義による人間工学を犠牲にすることなく、ドメインコンパイラをターゲットとする技術である。 当初、クラウドTPUでPyTorchをサポートするために開発され、実質的に共有された実装テクニックとともに、Swiftは特定のアクセラレータに使用されている。
  論文  参考訳（メタデータ） (2021-02-26T02:22:16Z)
• SCELMo: Source Code Embeddings from Language Models [33.673421734844474]
  本稿では,言語モデルに基づくコンピュータ・プログラムにおける文脈表現の深層化について紹介する。 比較的小さなプログラムのコーパスで訓練された低次元埋め込みでさえ、バグ検出のための最先端の機械学習システムを改善することができることを示す。
  論文  参考訳（メタデータ） (2020-04-28T00:06:25Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。