project_m36_websocket_client

一个用于 Project-M36 的 Flutter 网页 WebSocket 客户端。
这也是一个将代数数据类型引入 Dart 的尝试。

Project-M36 也有一个javascript版本的 WebSocket 客户端。

入门

  1. git clone 仓库。
  2. flutter pub get
  3. flutter pub run build_runner build 来生成额外的源代码。这里使用 freezed 来表示 ADTs。
  4. flutter -d web-server (我在 nixos 中无法使用 flutter -d chrome)。

已知问题

  • DataTable 不能有灵活的行高。因此 RelationAtom 无法被 DataTable 很好地显示。目前，它只显示为缩略图。有一个 方法 可以通过修改 DataTable 的 _buildDataCell 方法来修复它，但我找不到在 nixos 中编辑 flutter 源代码的方法。

Flutter 入门

本项目是 Flutter 应用程序的起点。

如果您这是您的第一个 Flutter 项目，这里有一些入门资源

如需获取 Flutter 入门帮助，请参阅我们的
在线文档，其中提供教程，
示例、移动开发指南和完整的 API 参考。

GitHub

查看 Github