input & output 2024/7/1-2024/7/7

O`reilly Learning Pickup Book

Mastering Spring Boot 3.0
https://learning.oreilly.com/library/view/mastering-spring-boot/9781803230788/
Spring Boot学習

Elastic Stack 8.x Cookbook
https://learning.oreilly.com/library/view/elastic-stack-8-x/9781837634293/
検索、分析、セキュリティ、可観測性を実現するElastic Stackのポテンシャルを最大限に引き出す

Hands-On Blockchain for Python Developers – Second Edition
https://learning.oreilly.com/library/view/hands-on-blockchain-for/9781805121367/
Vyperを使用、Pythonを使用してブロックチェーンを実際のアプリケーションに統合

D3.js in Action, Third Edition
https://learning.oreilly.com/library/view/d3-js-in-action/9781633439177/
D3.jsを使ってWebベースのデータビジュアライゼーションを作成

Policy as Code
https://learning.oreilly.com/library/view/policy-as-code/9781098139179/
Policy as Code(PaC)の理論、ベストプラクティス、セキュリティのユースケースを理解

Beginning Python: From Novice to Professional
https://learning.oreilly.com/library/view/beginning-python-from/9798868801969/
Pythonの構文と機能を基礎から理解するための入門・実践

Pickup

Eclipse Theia
https://theia-ide.org/
クラウド&デスクトップIDEとツールを最新のウェブ技術で効率的に開発・提供するための、オープンで柔軟かつ拡張可能なプラットフォーム。
Theia IDEは、Theia Platform上に構築された標準IDEです。

Vyper
https://docs.vyperlang.org/en/stable/
Vyperは、イーサリアム仮想マシン(EVM)をターゲットとしたコントラクト指向のPythonicプログラミング言語です。
ユーザーの安全性を優先し、言語設計と効率的な実行による明確なコーディングプラクティスを奨励しています。
言い換えれば、Vyperコードは安全で明確かつ効率的です!

llama.ttf
https://fuglede.github.io/llama.ttf/
「llama.ttf」は、フォントファイルでありながら、大規模言語モデル(LLM)およびその推論エンジンとしても機能します。
このフォントファイルは、Harfbuzzフォント整形エンジンを使用して言語モデルを実行し、任意のWasm対応アプリケーションでテキストを生成することができます。
ユーザーはこのフォントを他のフォントと同様にダウンロードして使用でき、特定の機能を実装するのを待つことなくテキスト生成を可能にします。
このフォントは、テキストエディターやメールクライアントなどのアプリケーションで使用でき、完全にローカルで実行されます。

Gleam
https://gleam.run/
Gleamは、型安全でスケーラブルなシステムを構築するためのプログラミング言語です。
Erlangの仮想マシン(BEAM)上で動作し、ErlangやElixirなど他のBEAM言語との親和性を持っています。
主な特徴
・型安全性: 強力な型システムを持ち、コンパイル時に多くのエラーを検出します。
・スケーラビリティ: Erlangの仮想マシン上で動作するため、高い並行性とフォールトトレランスを実現します。
・モダンな構文: 親しみやすく、現代的な構文を採用しています。
・多言語対応: ErlangやElixirなどのBEAM言語と相互運用が可能です。
・JavaScriptコンパイル: GleamコードをJavaScriptにコンパイルでき、ブラウザでも動作させることができます。

Starlark
https://github.com/bazelbuild/starlark
Starlarkは、設定言語として使用することを目的としたPythonの方言です。
主にBazelビルドシステムのために開発されましたが、他のプロジェクトでも有用な可能性があります。
1. **概要**:
– Pythonに似た動的型付け言語です。
– 高水準のデータ型、第一級関数、レキシカルスコープ、ガベージコレクションを備えています。
– 並列実行が可能で、スケーラビリティに優れています。
– 小規模でシンプルな言語で、読みやすく親しみやすい構文を持っています。
2. **主な特徴**:
– **決定論的評価**: 同じコードを2回実行すると、同じ結果が得られます。
– **密閉実行**: ファイルシステム、ネットワーク、システムクロックにアクセスできません。
– **並列評価**: モジュールを並列にロードできます。
– **シンプルさ**: 概念の数を制限し、ユーザーが素早く読み書きできるようにしています。
– **ツーリングへの焦点**: ソースコードが人間とツールの両方によって読み取り、分析、修正されることを考慮しています。
3. **使用例**:
– Bazelビルドシステムで、BUILDファイルやマクロ言語として使用されています。
– 構造化データの表現や、既存アプリケーションにスクリプト機能を追加するのに適しています。
4. **言語仕様**:
– Pythonの厳密なサブセットとなる構文を持ちます。
– ユーザー定義型、継承、リフレクション、例外処理、明示的なメモリ管理はありません。
– 再帰や無限ループを許可しない有限実行モデルを採用しています。
5. **組み込み関数と定数**:
– `None`, `True`, `False`などの基本的な値や、`len`, `abs`, `any`, `all`などの関数が提供されています。
6. **モジュールシステム**:
– `load`文を使用して他のStarlarkモジュールをロードし、値を抽出して現在のモジュールに束縛できます。

virgil
https://github.com/titzer/virgil
Virgilは、高性能で軽量なシステムを構築するために設計された、高速で軽量なシステムプログラミング言語です。
言語設計と特徴
・パラダイムの融合: 関数型とオブジェクト指向プログラミングのパラダイムを融合し、表現力とパフォーマンスを両立しています。
・静的型付け: 静的型付け言語であり、コンパイル時の型チェックを行います。
主要機能:
・クラス(オブジェクト指向プログラミング用)
・関数(小規模な機能の再利用)
・タプル(効率的な集約と多引数関数の統一的な扱い)
・型パラメータ(型に対する強力で明確な抽象化)
・代数的データ型(データ構造の容易な構築とマッチング)
コンパイルターゲット
・Linux、Darwin(macOS)用のネイティブバイナリ
・JVM用のJARファイル
・WebAssemblyモジュール
クロスコンパイルが可能で、サポートされているプラットフォーム間で相互にコンパイルできます。