Question

我试图从类型化的Racket中的数据库中读取数据并将其转换为结构列表。下面的代码是完美运行的无类型版本。这是我可以做的最小的一点来证明这个问题。

a=LOAD 'mydir' USING PigStorage('','-tagPath') AS (filepath:chararray, filecontents:chararray);

该程序的打字版本如下所示：

#lang racket

(require db)

(define dbc (sqlite3-connect #:database "dmdb.sqlite3" #:mode 'read/write))

(struct player (name size str dex con base-hp current-hp base-ac attack) #:mutable)

(define get-players
  (lambda (c)
    (for/list
        ([(n s str dex con bhp chp bac attack)
            (in-query c "select * from players")])
      (player n s str dex con bhp chp bac attack))))

当我尝试在打字的Racket中编译它时，我收到一些奇怪的错误消息：

#lang type/racket
(require typed/db)

(: get-players (-> Connection (Listof player)))
(define get-players
  (lambda (c)
    (for/list
        ([(n s str dex con bhp chp bac attack)
            (in-query c "select * from players")])
      (player n s str dex con bhp chp bac attack))))

同样，只要没有输入代码，代码就能完美运行。

Answer 1

即使类型化球拍中的for语法支持多个值，您也无法在typed/racket中实际键入检查多个值的序列。但是，您可以将一系列值转换为带有in-values-sequence的列表。从那里，您可以使用define-values将列表拆分回值，或者只使用内联列表。对于您提供的功能，这看起来像：

(: get-players (-> Connection (Listof player)))
(define (get-players c)
  (for/list ([a (in-values-sequence (in-query c "select * from players"))])
    (player (list-ref a 0)
            (list-ref a 1)
            (list-ref a 2)
            (list-ref a 3)
            (list-ref a 4)
            (list-ref a 5)
            (list-ref a 6)
            (list-ref a 7)
            (list-ref a 8))))

我怀疑这可能会对你的程序性能产生影响，但我不能肯定地说是什么。如果您想创建一系列多个值，您可以向the racket mailing list上的人请求帮助，因为他们可能知道我不知道的事情。

Answer 2

在Leif Andersen的帮助下，我找到了答案。下面是我可以创建的最小代码，允许我测试我的解决方案。它涉及使用query-rows而不是in-query来提取数据，然后操纵生成的向量列表。

#lang typed/racket
(require typed/db/base typed/db/sqlite3)


; for testing - cut and paste into interactions window
(define dbc (sqlite3-connect #:database "dmdb.sqlite3" #:mode 'read/write))

(struct player ([name : String] [size : String]
                [str : Integer] [dex : Integer] [con : Integer] [base-hp : Integer]
                [current-hp : Integer]
                [base-ac : Integer] [attack : Integer]) #:mutable )

(define lv (query-rows dbc "select * from players"))

(define ll : (Listof (Listof SQL-Datum))
    (for/list ((v lv))
      (vector->list v)))

(: lv->ll (-> (Listof (Vectorof SQL-Datum)) (Listof (Listof SQL-Datum))))
(define lv->ll
  (lambda (llv)
    (for/list ((v llv))
      (vector->list v))))

(: list->player (-> (Listof SQL-Datum) player))
(define list->player
  (lambda (a)
    (player (cast (list-ref a 0) String)
            (cast (list-ref a 1) String)
            (cast (list-ref a 2) Integer)
            (cast (list-ref a 3) Integer)
            (cast (list-ref a 4) Integer)
            (cast (list-ref a 5) Integer)
            (cast (list-ref a 6) Integer)
            (cast (list-ref a 7) Integer)
            (cast (list-ref a 8) Integer))))

(: list->playerlist (-> (Listof (Listof SQL-Datum)) (Listof player)))
(define list->playerlist
  (lambda (l)
    (for/list ((p l))
      (list->player p))))

(: listvectors->playerlist (-> (Listof (Vectorof SQL-Datum)) (Listof player)))
(define listvectors->playerlist
  (lambda (l)
    (list->playerlist (lv->ll l))))

(disconnect dbc)

我知道演员阵容在某些圈子里被认为是丑陋的，但是我需要强制数据类型，并且我相信一旦程序出现在那里，没有人会搞砸数据库。如果他们搞砸了他们的数据库，我认为这是他们自己的问题。

使用查询（DB调用）for / list中的球拍类型注释

2 个答案: