builtins.rs 9.9 KB

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