builtins.rs 9.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247
  1. use crate::ast::*;
  2. use crate::interp::*;
  3. use crate::errors::MatzoError;
  4. fn arity_error(func: &str, expected: usize, actual: &[ExprRef]) -> Result<Value, MatzoError> {
  5. let msg = format!("`{}`: expected {} arguments, got {}", func, expected, actual.len());
  6. if actual.is_empty() {
  7. Err(MatzoError::new(Span::empty(), msg))
  8. } else {
  9. let span = Span {
  10. start: actual[0].span.start,
  11. end: actual[actual.len()-1].span.end,
  12. };
  13. Err(MatzoError::new(span, msg))
  14. }
  15. }
  16. /// The list of builtins provided at startup.
  17. pub fn builtins() -> Vec<BuiltinFunc> {
  18. vec![
  19. BuiltinFunc {
  20. name: "rep",
  21. callback: Box::new(
  22. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  23. if let [rep, expr] = exprs {
  24. let mut buf = String::new();
  25. let num = state.eval(*rep, env)?.as_num(&state.ast.borrow())?;
  26. for _ in 0..num {
  27. buf.push_str(state.eval(*expr, env)?.as_str(&state.ast.borrow())?);
  28. }
  29. Ok(Value::Lit(Literal::Str(buf)))
  30. } else {
  31. arity_error("rep", 2, exprs)
  32. }
  33. },
  34. ),
  35. },
  36. BuiltinFunc {
  37. name: "str/upper",
  38. callback: Box::new(
  39. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  40. if let [expr] = exprs {
  41. let s = state.eval(*expr, env)?;
  42. Ok(Value::Lit(Literal::Str(
  43. s.as_str(&state.ast.borrow())?.to_uppercase(),
  44. )))
  45. } else {
  46. arity_error("str/upper", 1, exprs)
  47. }
  48. },
  49. ),
  50. },
  51. BuiltinFunc {
  52. name: "str/capitalize",
  53. callback: Box::new(
  54. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  55. if let [expr] = exprs {
  56. let s = state.eval(*expr, env)?;
  57. Ok(Value::Lit(Literal::Str(titlecase::titlecase(
  58. s.as_str(&state.ast.borrow())?,
  59. ))))
  60. } else {
  61. arity_error("str/capitalize", 1, exprs)
  62. }
  63. },
  64. ),
  65. },
  66. BuiltinFunc {
  67. name: "str/lower",
  68. callback: Box::new(
  69. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  70. if let [expr] = exprs {
  71. let s = state.eval(*expr, env)?;
  72. Ok(Value::Lit(Literal::Str(
  73. s.as_str(&state.ast.borrow())?.to_lowercase(),
  74. )))
  75. } else {
  76. arity_error("str/lower", 1, exprs)
  77. }
  78. },
  79. ),
  80. },
  81. BuiltinFunc {
  82. name: "add",
  83. callback: Box::new(
  84. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  85. if let [x, y] = exprs {
  86. let x = state.eval(*x, env)?.as_num(&state.ast.borrow())?;
  87. let y = state.eval(*y, env)?.as_num(&state.ast.borrow())?;
  88. Ok(Value::Lit(Literal::Num(x + y)))
  89. } else {
  90. arity_error("add", 2, exprs)
  91. }
  92. },
  93. ),
  94. },
  95. BuiltinFunc {
  96. name: "sub",
  97. callback: Box::new(
  98. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  99. if let [x, y] = exprs {
  100. let x = state.eval(*x, env)?.as_num(&state.ast.borrow())?;
  101. let y = state.eval(*y, env)?.as_num(&state.ast.borrow())?;
  102. Ok(Value::Lit(Literal::Num(x - y)))
  103. } else {
  104. arity_error("sub", 2, exprs)
  105. }
  106. },
  107. ),
  108. },
  109. BuiltinFunc {
  110. name: "mul",
  111. callback: Box::new(
  112. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  113. if let [x, y] = exprs {
  114. let x = state.eval(*x, env)?.as_num(&state.ast.borrow())?;
  115. let y = state.eval(*y, env)?.as_num(&state.ast.borrow())?;
  116. Ok(Value::Lit(Literal::Num(x * y)))
  117. } else {
  118. arity_error("mul", 2, exprs)
  119. }
  120. },
  121. ),
  122. },
  123. BuiltinFunc {
  124. name: "tuple/len",
  125. callback: Box::new(
  126. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  127. if let [expr] = exprs {
  128. let tup = state.eval(*expr, env)?;
  129. Ok(Value::Lit(Literal::Num(
  130. tup.as_tup(&state.ast.borrow())?.len() as i64,
  131. )))
  132. } else {
  133. arity_error("tuple/len", 1, exprs)
  134. }
  135. },
  136. ),
  137. },
  138. BuiltinFunc {
  139. name: "tuple/concat",
  140. callback: Box::new(
  141. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  142. if let [expr] = exprs {
  143. let val = state.eval(*expr, env)?;
  144. let tup = val.as_tup(&state.ast.borrow())?;
  145. let mut contents = Vec::new();
  146. for elem in tup {
  147. for th in state.hnf(elem)?.as_tup(&state.ast.borrow())? {
  148. contents.push(th.clone());
  149. }
  150. }
  151. Ok(Value::Tup(contents))
  152. } else {
  153. arity_error("tuple/concat", 1, exprs)
  154. }
  155. },
  156. ),
  157. },
  158. BuiltinFunc {
  159. name: "tuple/index",
  160. callback: Box::new(
  161. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  162. if let [tup, idx] = exprs {
  163. let tup = state.eval(*tup, env)?;
  164. let idx = state.eval(*idx, env)?;
  165. state.hnf(
  166. &tup.as_tup(&state.ast.borrow())?
  167. [idx.as_num(&state.ast.borrow())? as usize],
  168. )
  169. } else {
  170. arity_error("tuple/index", 1, exprs)
  171. }
  172. },
  173. ),
  174. },
  175. BuiltinFunc {
  176. name: "tuple/replace",
  177. callback: Box::new(
  178. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  179. if let [tup, idx, new] = exprs {
  180. let tup_val = state.eval(*tup, env)?;
  181. let tup = tup_val.as_tup(&state.ast.borrow())?;
  182. let idx = state.eval(*idx, env)?.as_num(&state.ast.borrow())?;
  183. let mut modified = Vec::with_capacity(tup.len());
  184. for i in 0..idx {
  185. modified.push(tup[i as usize].clone());
  186. }
  187. modified.push(Thunk::Expr(*new, env.clone()));
  188. for i in (idx + 1)..(tup.len() as i64) {
  189. modified.push(tup[i as usize].clone());
  190. }
  191. Ok(Value::Tup(modified))
  192. } else {
  193. arity_error("tuple/replace", 3, exprs)
  194. }
  195. },
  196. ),
  197. },
  198. BuiltinFunc {
  199. name: "tuple/fold",
  200. callback: Box::new(
  201. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  202. if let [func, init, tup] = exprs {
  203. let func = state.eval(*func, env)?;
  204. let tup = state.eval(*tup, env)?;
  205. let mut result = Thunk::Expr(*init, env.clone());
  206. for t in tup.as_tup(&state.ast.borrow())? {
  207. result = Thunk::Value(state.eval_closure(
  208. func.as_closure(&state.ast.borrow())?,
  209. vec![result, t.clone()],
  210. )?);
  211. }
  212. state.hnf(&result)
  213. } else {
  214. arity_error("tuple/fold", 3, exprs)
  215. }
  216. },
  217. ),
  218. },
  219. BuiltinFunc {
  220. name: "tuple/map",
  221. callback: Box::new(
  222. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  223. if let [func, tup] = exprs {
  224. let func = state.eval(*func, env)?;
  225. let tup = state.eval(*tup, env)?;
  226. let mut new_tup = Vec::new();
  227. let closure = func.as_closure(&state.ast.borrow())?;
  228. for t in tup.as_tup(&state.ast.borrow())? {
  229. new_tup
  230. .push(Thunk::Value(state.eval_closure(closure, vec![t.clone()])?));
  231. }
  232. Ok(Value::Tup(new_tup))
  233. } else {
  234. arity_error("tuple/map", 2, exprs)
  235. }
  236. },
  237. ),
  238. },
  239. ]
  240. }