core.rs 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452
  1. use std::fs::File;
  2. use std::io::Read;
  3. use std::rc::Rc;
  4. use std::time::{SystemTime, UNIX_EPOCH};
  5. use crate::printer::pr_seq;
  6. use crate::reader::read_str;
  7. use crate::types::MalErr::ErrMalVal;
  8. use crate::types::MalVal::{
  9. Atom, Bool, Func, Hash, Int, List, MalFunc, Nil, Str,
  10. Sym, Vector
  11. };
  12. use crate::types::{MalArgs, MalRet, MalVal, _assoc, _dissoc, atom, error, func, hash_map};
  13. use bellman::{gadgets::Assignment, groth16, Circuit, ConstraintSystem, SynthesisError};
  14. use bls12_381::Scalar;
  15. use ff::{Field, PrimeField};
  16. use sapvi::bls_extensions::BlsStringConversion;
  17. use std::ops::{AddAssign, MulAssign, SubAssign};
  18. macro_rules! fn_t_int_int {
  19. ($ret:ident, $fn:expr) => {{
  20. |a: MalArgs| match (a[0].clone(), a[1].clone()) {
  21. (Int(a0), Int(a1)) => Ok($ret($fn(a0, a1))),
  22. _ => error("expecting (int,int) args"),
  23. }
  24. }};
  25. }
  26. macro_rules! fn_is_type {
  27. ($($ps:pat),*) => {{
  28. |a:MalArgs| { Ok(Bool(match a[0] { $($ps => true,)* _ => false})) }
  29. }};
  30. ($p:pat if $e:expr) => {{
  31. |a:MalArgs| { Ok(Bool(match a[0] { $p if $e => true, _ => false})) }
  32. }};
  33. ($p:pat if $e:expr,$($ps:pat),*) => {{
  34. |a:MalArgs| { Ok(Bool(match a[0] { $p if $e => true, $($ps => true,)* _ => false})) }
  35. }};
  36. }
  37. macro_rules! fn_str {
  38. ($fn:expr) => {{
  39. |a: MalArgs| match a[0].clone() {
  40. Str(a0) => $fn(a0),
  41. _ => error("expecting (str) arg"),
  42. }
  43. }};
  44. }
  45. fn symbol(a: MalArgs) -> MalRet {
  46. match a[0] {
  47. Str(ref s) => Ok(Sym(s.to_string())),
  48. _ => error("illegal symbol call"),
  49. }
  50. }
  51. fn slurp(f: String) -> MalRet {
  52. let mut s = String::new();
  53. match File::open(f).and_then(|mut f| f.read_to_string(&mut s)) {
  54. Ok(_) => Ok(Str(s)),
  55. Err(e) => error(&e.to_string()),
  56. }
  57. }
  58. fn time_ms(_a: MalArgs) -> MalRet {
  59. let ms_e = match SystemTime::now().duration_since(UNIX_EPOCH) {
  60. Ok(d) => d,
  61. Err(e) => return error(&format!("{:?}", e)),
  62. };
  63. Ok(Int(
  64. ms_e.as_secs() as i64 * 1000 + ms_e.subsec_nanos() as i64 / 1_000_000
  65. ))
  66. }
  67. fn get(a: MalArgs) -> MalRet {
  68. match (a[0].clone(), a[1].clone()) {
  69. (Nil, _) => Ok(Nil),
  70. (Hash(ref hm, _), Str(ref s)) => match hm.get(s) {
  71. Some(mv) => Ok(mv.clone()),
  72. None => Ok(Nil),
  73. },
  74. _ => error("illegal get args"),
  75. }
  76. }
  77. fn assoc(a: MalArgs) -> MalRet {
  78. match a[0] {
  79. Hash(ref hm, _) => _assoc((**hm).clone(), a[1..].to_vec()),
  80. _ => error("assoc on non-Hash Map"),
  81. }
  82. }
  83. fn dissoc(a: MalArgs) -> MalRet {
  84. match a[0] {
  85. Hash(ref hm, _) => _dissoc((**hm).clone(), a[1..].to_vec()),
  86. _ => error("dissoc on non-Hash Map"),
  87. }
  88. }
  89. fn contains_q(a: MalArgs) -> MalRet {
  90. match (a[0].clone(), a[1].clone()) {
  91. (Hash(ref hm, _), Str(ref s)) => Ok(Bool(hm.contains_key(s))),
  92. _ => error("illegal get args"),
  93. }
  94. }
  95. fn keys(a: MalArgs) -> MalRet {
  96. match a[0] {
  97. Hash(ref hm, _) => Ok(list!(hm.keys().map(|k| { Str(k.to_string()) }).collect())),
  98. _ => error("keys requires Hash Map"),
  99. }
  100. }
  101. fn vals(a: MalArgs) -> MalRet {
  102. match a[0] {
  103. Hash(ref hm, _) => Ok(list!(hm.values().map(|v| { v.clone() }).collect())),
  104. _ => error("keys requires Hash Map"),
  105. }
  106. }
  107. fn vec(a: MalArgs) -> MalRet {
  108. match a[0] {
  109. List(ref v, _) | Vector(ref v, _) => Ok(vector!(v.to_vec())),
  110. _ => error("non-seq passed to vec"),
  111. }
  112. }
  113. fn cons(a: MalArgs) -> MalRet {
  114. match a[1].clone() {
  115. List(v, _) | Vector(v, _) => {
  116. let mut new_v = vec![a[0].clone()];
  117. new_v.extend_from_slice(&v);
  118. Ok(list!(new_v.to_vec()))
  119. }
  120. _ => error("cons expects seq as second arg"),
  121. }
  122. }
  123. fn concat(a: MalArgs) -> MalRet {
  124. let mut new_v = vec![];
  125. for seq in a.iter() {
  126. match seq {
  127. List(v, _) | Vector(v, _) => new_v.extend_from_slice(v),
  128. _ => return error("non-seq passed to concat"),
  129. }
  130. }
  131. Ok(list!(new_v.to_vec()))
  132. }
  133. fn nth(a: MalArgs) -> MalRet {
  134. match (a[0].clone(), a[1].clone()) {
  135. (List(seq, _), Int(idx)) | (Vector(seq, _), Int(idx)) => {
  136. if seq.len() <= idx as usize {
  137. return error("nth: index out of range");
  138. }
  139. Ok(seq[idx as usize].clone())
  140. }
  141. _ => error("invalid args to nth"),
  142. }
  143. }
  144. fn unpack_bits(a: MalArgs) -> MalRet {
  145. let mut result = vec![];
  146. match a[0].clone() {
  147. Str(ref s) => {
  148. let value = Scalar::from_string(s);
  149. for (_, bit) in value.to_le_bits().into_iter().cloned().enumerate() {
  150. match bit {
  151. true => result.push(Scalar::one()),
  152. false => result.push(Scalar::zero()),
  153. }
  154. }
  155. Ok(list!(result
  156. .iter()
  157. .map(|a| Str(std::string::ToString::to_string(&a)[2..].to_string()))
  158. .collect::<Vec<MalVal>>()))
  159. }
  160. _ => error("invalid args to unpack-bits"),
  161. }
  162. }
  163. fn first(a: MalArgs) -> MalRet {
  164. match a[0].clone() {
  165. List(ref seq, _) | Vector(ref seq, _) if seq.len() == 0 => Ok(Nil),
  166. List(ref seq, _) | Vector(ref seq, _) => Ok(seq[0].clone()),
  167. Nil => Ok(Nil),
  168. _ => error("invalid args to first"),
  169. }
  170. }
  171. fn rest(a: MalArgs) -> MalRet {
  172. match a[0].clone() {
  173. List(ref seq, _) | Vector(ref seq, _) => {
  174. if seq.len() > 1 {
  175. Ok(list!(seq[1..].to_vec()))
  176. } else {
  177. Ok(list![])
  178. }
  179. }
  180. Nil => Ok(list![]),
  181. _ => error("invalid args to first"),
  182. }
  183. }
  184. fn apply(a: MalArgs) -> MalRet {
  185. match a[a.len() - 1] {
  186. List(ref v, _) | Vector(ref v, _) => {
  187. let f = &a[0];
  188. let mut fargs = a[1..a.len() - 1].to_vec();
  189. fargs.extend_from_slice(&v);
  190. f.apply(fargs)
  191. }
  192. _ => error("apply called with non-seq"),
  193. }
  194. }
  195. fn map(a: MalArgs) -> MalRet {
  196. match a[1] {
  197. List(ref v, _) | Vector(ref v, _) => {
  198. let mut res = vec![];
  199. for mv in v.iter() {
  200. res.push(a[0].apply(vec![mv.clone()])?)
  201. }
  202. Ok(list!(res))
  203. }
  204. _ => error("map called with non-seq"),
  205. }
  206. }
  207. fn conj(a: MalArgs) -> MalRet {
  208. match a[0] {
  209. List(ref v, _) => {
  210. let sl = a[1..]
  211. .iter()
  212. .rev()
  213. .map(|a| a.clone())
  214. .collect::<Vec<MalVal>>();
  215. Ok(list!([&sl[..], v].concat()))
  216. }
  217. Vector(ref v, _) => Ok(vector!([v, &a[1..]].concat())),
  218. _ => error("conj: called with non-seq"),
  219. }
  220. }
  221. fn sub_scalar(a: MalArgs) -> MalRet {
  222. match (a[0].clone(), a[1].clone()) {
  223. (Str(a0), Str(a1)) => {
  224. let (mut s0, s1) = (Scalar::from_string(&a0), Scalar::from_string(&a1));
  225. s0.sub_assign(s1);
  226. Ok(Str(std::string::ToString::to_string(&s0)[2..].to_string()))
  227. }
  228. _ => error("expected (scalar, scalar"),
  229. }
  230. }
  231. fn mul_scalar(a: MalArgs) -> MalRet {
  232. match (a[0].clone(), a[1].clone()) {
  233. (Str(a0), Str(a1)) => {
  234. let (mut s0, s1) = (Scalar::from_string(&a0), Scalar::from_string(&a1));
  235. s0.mul_assign(s1);
  236. Ok(Str(std::string::ToString::to_string(&s0)[2..].to_string()))
  237. }
  238. _ => error("expected (scalar, scalar"),
  239. }
  240. }
  241. fn div_scalar(a: MalArgs) -> MalRet {
  242. match (a[0].clone(), a[1].clone()) {
  243. (Str(a0), Str(a1)) => {
  244. let (s0, s1) = (Scalar::from_string(&a0), Scalar::from_string(&a1));
  245. let ret = s1.invert().map(|other| *&s0 * other);
  246. Ok(Str(
  247. std::string::ToString::to_string(&ret.unwrap())[2..].to_string()
  248. ))
  249. }
  250. _ => error("expected (scalar, scalar)"),
  251. }
  252. }
  253. fn range(a: MalArgs) -> MalRet {
  254. let mut result = vec![];
  255. match (a[0].clone(), a[1].clone()) {
  256. (Int(a0), Int(a1)) => {
  257. for n in a0..a1 {
  258. result.push(n);
  259. };
  260. Ok(list!(result
  261. .iter()
  262. .map(|_a| Nil)
  263. .collect::<Vec<MalVal>>()))
  264. },
  265. _ => error("expected int int")
  266. }
  267. }
  268. fn alloc_input(a: MalArgs) -> MalRet {
  269. println!("{:?}", a);
  270. Ok(Nil)
  271. }
  272. fn scalar_one(a: MalArgs) -> MalRet {
  273. println!("{:?}", a);
  274. Ok(Nil)
  275. }
  276. fn alloc(a: MalArgs) -> MalRet {
  277. println!("{:?}", a);
  278. Ok(Nil)
  279. }
  280. fn cs_one(a: MalArgs) -> MalRet {
  281. println!("{:?}", a);
  282. Ok(Nil)
  283. }
  284. fn bellman_one(a: MalArgs) -> MalRet {
  285. println!("{:?}", a);
  286. Ok(Nil)
  287. }
  288. fn add_scalar(a: MalArgs) -> MalRet {
  289. match (a[0].clone(), a[1].clone()) {
  290. (Str(a0), Str(a1)) => {
  291. let (mut s0, s1) = (Scalar::from_string(&a0), Scalar::from_string(&a1));
  292. s0.add_assign(s1);
  293. Ok(Str(std::string::ToString::to_string(&s0)[2..].to_string()))
  294. }
  295. _ => error("expected (scalar, scalar"),
  296. }
  297. }
  298. fn seq(a: MalArgs) -> MalRet {
  299. match a[0] {
  300. List(ref v, _) | Vector(ref v, _) if v.len() == 0 => Ok(Nil),
  301. List(ref v, _) | Vector(ref v, _) => Ok(list!(v.to_vec())),
  302. Str(ref s) if s.len() == 0 => Ok(Nil),
  303. Str(ref s) if !a[0].keyword_q() => {
  304. Ok(list!(s.chars().map(|c| { Str(c.to_string()) }).collect()))
  305. }
  306. Nil => Ok(Nil),
  307. _ => error("seq: called with non-seq"),
  308. }
  309. }
  310. pub fn ns() -> Vec<(&'static str, MalVal)> {
  311. vec![
  312. ("=", func(|a| Ok(Bool(a[0] == a[1])))),
  313. ("throw", func(|a| Err(ErrMalVal(a[0].clone())))),
  314. ("nil?", func(fn_is_type!(Nil))),
  315. ("true?", func(fn_is_type!(Bool(true)))),
  316. ("false?", func(fn_is_type!(Bool(false)))),
  317. ("symbol", func(symbol)),
  318. ("symbol?", func(fn_is_type!(Sym(_)))),
  319. (
  320. "string?",
  321. func(fn_is_type!(Str(ref s) if !s.starts_with("\u{29e}"))),
  322. ),
  323. ("keyword", func(|a| a[0].keyword())),
  324. (
  325. "keyword?",
  326. func(fn_is_type!(Str(ref s) if s.starts_with("\u{29e}"))),
  327. ),
  328. ("number?", func(fn_is_type!(Int(_)))),
  329. (
  330. "fn?",
  331. func(fn_is_type!(MalFunc{is_macro,..} if !is_macro,Func(_,_))),
  332. ),
  333. (
  334. "macro?",
  335. func(fn_is_type!(MalFunc{is_macro,..} if is_macro)),
  336. ),
  337. ("pr-str", func(|a| Ok(Str(pr_seq(&a, true, "", "", " "))))),
  338. ("str", func(|a| Ok(Str(pr_seq(&a, false, "", "", ""))))),
  339. (
  340. "prn",
  341. func(|a| {
  342. println!("{}", pr_seq(&a, true, "", "", " "));
  343. Ok(Nil)
  344. }),
  345. ),
  346. (
  347. "println",
  348. func(|a| {
  349. println!("{}", pr_seq(&a, false, "", "", " "));
  350. Ok(Nil)
  351. }),
  352. ),
  353. ("read-string", func(fn_str!(|s| { read_str(s) }))),
  354. ("slurp", func(fn_str!(|f| { slurp(f) }))),
  355. ("<", func(fn_t_int_int!(Bool, |i, j| { i < j }))),
  356. ("<=", func(fn_t_int_int!(Bool, |i, j| { i <= j }))),
  357. (">", func(fn_t_int_int!(Bool, |i, j| { i > j }))),
  358. (">=", func(fn_t_int_int!(Bool, |i, j| { i >= j }))),
  359. ("+", func(add_scalar)),
  360. ("-", func(sub_scalar)),
  361. ("*", func(mul_scalar)),
  362. ("/", func(div_scalar)),
  363. ("time-ms", func(time_ms)),
  364. ("i+", func(fn_t_int_int!(Int, |i, j| { i + j }))),
  365. ("i-", func(fn_t_int_int!(Int, |i, j| { i - j }))),
  366. ("i*", func(fn_t_int_int!(Int, |i, j| { i * j }))),
  367. ("i/", func(fn_t_int_int!(Int, |i, j| { i / j }))),
  368. ("i<", func(fn_t_int_int!(Bool, |i, j| { i < j }))),
  369. ("i<=", func(fn_t_int_int!(Bool, |i, j| { i <= j }))),
  370. ("i>", func(fn_t_int_int!(Bool, |i, j| { i > j }))),
  371. ("i>=", func(fn_t_int_int!(Bool, |i, j| { i >= j }))),
  372. ("time-ms", func(time_ms)),
  373. ("sequential?", func(fn_is_type!(List(_, _), Vector(_, _)))),
  374. ("list", func(|a| Ok(list!(a)))),
  375. ("list?", func(fn_is_type!(List(_, _)))),
  376. ("vector", func(|a| Ok(vector!(a)))),
  377. ("vector?", func(fn_is_type!(Vector(_, _)))),
  378. ("hash-map", func(|a| hash_map(a))),
  379. ("map?", func(fn_is_type!(Hash(_, _)))),
  380. ("assoc", func(assoc)),
  381. ("dissoc", func(dissoc)),
  382. ("get", func(get)),
  383. ("contains?", func(contains_q)),
  384. ("keys", func(keys)),
  385. ("vals", func(vals)),
  386. ("vec", func(vec)),
  387. ("cons", func(cons)),
  388. ("concat", func(concat)),
  389. ("empty?", func(|a| a[0].empty_q())),
  390. ("nth", func(nth)),
  391. ("first", func(first)),
  392. ("rest", func(rest)),
  393. ("count", func(|a| a[0].count())),
  394. ("apply", func(apply)),
  395. ("map", func(map)),
  396. ("conj", func(conj)),
  397. ("seq", func(seq)),
  398. ("meta", func(|a| a[0].get_meta())),
  399. ("with-meta", func(|a| a[0].clone().with_meta(&a[1]))),
  400. ("atom", func(|a| Ok(atom(&a[0])))),
  401. ("atom?", func(fn_is_type!(Atom(_)))),
  402. ("deref", func(|a| a[0].deref())),
  403. ("reset!", func(|a| a[0].reset_bang(&a[1]))),
  404. ("swap!", func(|a| a[0].swap_bang(&a[1..].to_vec()))),
  405. ("unpack-bits", func(unpack_bits)),
  406. ("range", func(range)),
  407. ("alloc", func(alloc)),
  408. ("alloc-input", func(alloc_input)),
  409. ("scalar::one", func(scalar_one)),
  410. ("scalar", func(scalar_one)),
  411. ("cs::one", func(cs_one)),
  412. ("bellman::one", func(bellman_one)),
  413. ]
  414. }