builtins.rs 9.8 KB

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