ocaml - Bigarray.Array1.t type constructor -


i saw such type declartion @ here 

type int64_array =   (int64, bigarray.int32_elt, bigarray.c_layout) bigarray.array1.t

from manual, learnt ('a, 'b, 'c) bigarray.array1.t, 'a type of array element, , 'b representation kind.

why can use int32_elt represent int64?

if type usable, represent values int64 when accessed ocaml, store them internally int32 values. similar case store 8-bit values in array , represent them ints when accessed ocaml.

however, far can see can't create arrays of type. can create arrays of kinds defined in bigarray:

val float32 : (float, float32_elt) kind val float64 : (float, float64_elt) kind val complex32 : (complex.t, complex32_elt) kind val complex64 : (complex.t, complex64_elt) kind val int8_signed : (int, int8_signed_elt) kind val int8_unsigned : (int, int8_unsigned_elt) kind val int16_signed : (int, int16_signed_elt) kind val int16_unsigned : (int, int16_unsigned_elt) kind val int : (int, int_elt) kind val int32 : (int32, int32_elt) kind val int64 : (int64, int64_elt) kind val nativeint : (nativeint, nativeint_elt) kind val char : (char, int8_unsigned_elt) kind

i don't know what's going on the code link to. perhaps doing clever.


Comments

Post a Comment

Popular posts from this blog

java - Spring Data JPA: Why findOne(id) executing delete query internally? -

i have 1 application using @manytomany annotation link 2 different entities 1 parent entity. not sure if have implemented properly. when execute .findone() on parent entity's repository find it, @ first fetch data along executing delete queries internally delete record mapping table (a table jpa creates after adding @manytomany annotation.). following generated sql queries , code snippet: java class @entity @table(name = "inventory") public class inventory { @id long id; // many other properties @manytomany(fetch=fetchtype.lazy) private list<stream> streams; @manytomany(fetch=fetchtype.lazy) private list<subject> subjects; } there no other annotation i've put in stream , subject entity class link inventory class. when run app, create following tables: inventory stream subject inventory_stream inventory_subject (inventory_stream , inventory_subject, 2 tables created automatically, don't k...
Read more

python - Mongodb How to add addtional information when aggregating? -

i beginner , wrote line pipeline works, wanna add other information output, screen name , or number of tweets.i tried add under $group gave me syntax error everytime here pipeline: def make_pipeline(): # complete aggregation pipeline pipeline = [ { '$match': { "user.statuses_count": {"$gt":99 }, "user.time_zone": "brasilia" } }, { "$group": { "_id": "$user.id", "followers": { "$max": "$user.followers_count" } } }, { "$sort": { "followers": -1 } }, { "$limit" : 1 } ]; i using on example : { "_id" : objectid("5304e2e3cc9e684aa98bef97"), "text" : "first week of school on :p", "in_reply_to_status_id" : null, "retweet_count" : null, ...
Read more

java - Incorrect order of records in M-M relationship in hibernate -

Image
i have 4 records in bridge table in mysql database. using @manytomany in hibernate, accurate order of employees incorrect incorrect of projects. following required material figure out doing mistake. this source. @entity @table(name="project") public class projectbean { @id @generatedvalue @column(name="project_id") private int projectid; @column(name="title") private string projecttitle; @manytomany(mappedby="projects") private collection<employeebean> employees; public projectbean() { employees = new arraylist<employeebean>(); } //getters & setters } @entity @table(name="employee") public class employeebean { @id @generatedvalue @column(name="employee_id") private int employee_id; @column(name="first_name") private string ...
Read more