builtins.rs 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312
  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
  32. .eval(*rep, env)?
  33. .as_num(&state.ast.borrow(), rep.span)?;
  34. for _ in 0..num {
  35. buf.push_str(
  36. state
  37. .eval(*expr, env)?
  38. .as_str(&state.ast.borrow(), expr.span)?,
  39. );
  40. }
  41. Ok(Value::Lit(Literal::Str(buf)))
  42. } else {
  43. arity_error("rep", 2, exprs)
  44. }
  45. },
  46. ),
  47. },
  48. BuiltinFunc {
  49. name: "str/upper",
  50. callback: Box::new(
  51. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  52. if let [expr] = exprs {
  53. let s = state.eval(*expr, env)?;
  54. Ok(Value::Lit(Literal::Str(
  55. s.as_str(&state.ast.borrow(), expr.span)?.to_uppercase(),
  56. )))
  57. } else {
  58. arity_error("str/upper", 1, exprs)
  59. }
  60. },
  61. ),
  62. },
  63. BuiltinFunc {
  64. name: "str/capitalize",
  65. callback: Box::new(
  66. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  67. if let [expr] = exprs {
  68. let s = state.eval(*expr, env)?;
  69. Ok(Value::Lit(Literal::Str(titlecase::titlecase(
  70. s.as_str(&state.ast.borrow(), expr.span)?,
  71. ))))
  72. } else {
  73. arity_error("str/capitalize", 1, exprs)
  74. }
  75. },
  76. ),
  77. },
  78. BuiltinFunc {
  79. name: "str/lower",
  80. callback: Box::new(
  81. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  82. if let [expr] = exprs {
  83. let s = state.eval(*expr, env)?;
  84. Ok(Value::Lit(Literal::Str(
  85. s.as_str(&state.ast.borrow(), expr.span)?.to_lowercase(),
  86. )))
  87. } else {
  88. arity_error("str/lower", 1, exprs)
  89. }
  90. },
  91. ),
  92. },
  93. BuiltinFunc {
  94. name: "wd",
  95. callback: Box::new(
  96. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  97. let mut buf = String::new();
  98. for expr in exprs {
  99. let s = state.eval(*expr, env)?;
  100. buf.push_str(s.as_str(&state.ast.borrow(), expr.span)?);
  101. }
  102. Ok(Value::Lit(Literal::Str(buf)))
  103. },
  104. ),
  105. },
  106. BuiltinFunc {
  107. name: "se",
  108. callback: Box::new(
  109. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  110. let mut buf = String::new();
  111. let mut capitalized = false;
  112. let mut last_char = '\0';
  113. for expr in exprs.iter() {
  114. let s = state.eval(*expr, env)?;
  115. let s = s.as_str(&state.ast.borrow(), expr.span)?;
  116. if !capitalized && !s.trim().is_empty() {
  117. capitalized = true;
  118. let mut chars = s.chars();
  119. for c in chars.next().unwrap().to_uppercase() {
  120. buf.push(c);
  121. }
  122. for c in chars {
  123. buf.push(c);
  124. }
  125. } else if last_char.is_alphanumeric()
  126. && s.chars().next().map_or(false, |c| c.is_alphanumeric())
  127. {
  128. buf.push(' ');
  129. buf.push_str(s.trim());
  130. } else {
  131. buf.push_str(s.trim());
  132. }
  133. if buf.len() > 0 {
  134. last_char = buf.chars().last().unwrap();
  135. }
  136. }
  137. Ok(Value::Lit(Literal::Str(buf)))
  138. },
  139. ),
  140. },
  141. BuiltinFunc {
  142. name: "add",
  143. callback: Box::new(
  144. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  145. if let [x, y] = exprs {
  146. let x = state.eval(*x, env)?.as_num(&state.ast.borrow(), x.span)?;
  147. let y = state.eval(*y, env)?.as_num(&state.ast.borrow(), y.span)?;
  148. Ok(Value::Lit(Literal::Num(x + y)))
  149. } else {
  150. arity_error("add", 2, exprs)
  151. }
  152. },
  153. ),
  154. },
  155. BuiltinFunc {
  156. name: "sub",
  157. callback: Box::new(
  158. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  159. if let [x, y] = exprs {
  160. let x = state.eval(*x, env)?.as_num(&state.ast.borrow(), x.span)?;
  161. let y = state.eval(*y, env)?.as_num(&state.ast.borrow(), y.span)?;
  162. Ok(Value::Lit(Literal::Num(x - y)))
  163. } else {
  164. arity_error("sub", 2, exprs)
  165. }
  166. },
  167. ),
  168. },
  169. BuiltinFunc {
  170. name: "mul",
  171. callback: Box::new(
  172. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  173. if let [x, y] = exprs {
  174. let x = state.eval(*x, env)?.as_num(&state.ast.borrow(), x.span)?;
  175. let y = state.eval(*y, env)?.as_num(&state.ast.borrow(), y.span)?;
  176. Ok(Value::Lit(Literal::Num(x * y)))
  177. } else {
  178. arity_error("mul", 2, exprs)
  179. }
  180. },
  181. ),
  182. },
  183. BuiltinFunc {
  184. name: "tuple/len",
  185. callback: Box::new(
  186. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  187. if let [expr] = exprs {
  188. let tup = state.eval(*expr, env)?;
  189. Ok(Value::Lit(Literal::Num(
  190. tup.as_tup(&state.ast.borrow(), expr.span)?.len() as i64,
  191. )))
  192. } else {
  193. arity_error("tuple/len", 1, exprs)
  194. }
  195. },
  196. ),
  197. },
  198. BuiltinFunc {
  199. name: "tuple/concat",
  200. callback: Box::new(
  201. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  202. if let [expr] = exprs {
  203. let val = state.eval(*expr, env)?;
  204. let tup = val.as_tup(&state.ast.borrow(), expr.span)?;
  205. let mut contents = Vec::new();
  206. for elem in tup {
  207. for th in state
  208. .hnf(elem)?
  209. .as_tup(&state.ast.borrow(), Span::empty())?
  210. {
  211. contents.push(th.clone());
  212. }
  213. }
  214. Ok(Value::Tup(contents))
  215. } else {
  216. arity_error("tuple/concat", 1, exprs)
  217. }
  218. },
  219. ),
  220. },
  221. BuiltinFunc {
  222. name: "tuple/index",
  223. callback: Box::new(
  224. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  225. if let [tup_e, idx_e] = exprs {
  226. let tup = state.eval(*tup_e, env)?;
  227. let idx = state.eval(*idx_e, env)?;
  228. state.hnf(
  229. &tup.as_tup(&state.ast.borrow(), tup_e.span)?
  230. [idx.as_num(&state.ast.borrow(), idx_e.span)? as usize],
  231. )
  232. } else {
  233. arity_error("tuple/index", 1, exprs)
  234. }
  235. },
  236. ),
  237. },
  238. BuiltinFunc {
  239. name: "tuple/replace",
  240. callback: Box::new(
  241. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  242. if let [tup, idx, new] = exprs {
  243. let tup_val = state.eval(*tup, env)?;
  244. let tup = tup_val.as_tup(&state.ast.borrow(), tup.span)?;
  245. let idx = state
  246. .eval(*idx, env)?
  247. .as_num(&state.ast.borrow(), idx.span)?;
  248. let mut modified = Vec::with_capacity(tup.len());
  249. for i in 0..idx {
  250. modified.push(tup[i as usize].clone());
  251. }
  252. modified.push(Thunk::Expr(*new, env.clone()));
  253. for i in (idx + 1)..(tup.len() as i64) {
  254. modified.push(tup[i as usize].clone());
  255. }
  256. Ok(Value::Tup(modified))
  257. } else {
  258. arity_error("tuple/replace", 3, exprs)
  259. }
  260. },
  261. ),
  262. },
  263. BuiltinFunc {
  264. name: "tuple/fold",
  265. callback: Box::new(
  266. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  267. if let [func_e, init, tup_e] = exprs {
  268. let func = state.eval(*func_e, env)?;
  269. let tup = state.eval(*tup_e, env)?;
  270. let mut result = Thunk::Expr(*init, env.clone());
  271. for t in tup.as_tup(&state.ast.borrow(), tup_e.span)? {
  272. result = Thunk::Value(state.eval_closure(
  273. func.as_closure(&state.ast.borrow(), func_e.span)?,
  274. vec![result, t.clone()],
  275. )?);
  276. }
  277. state.hnf(&result)
  278. } else {
  279. arity_error("tuple/fold", 3, exprs)
  280. }
  281. },
  282. ),
  283. },
  284. BuiltinFunc {
  285. name: "tuple/map",
  286. callback: Box::new(
  287. |state: &State, exprs: &[ExprRef], env: &Env| -> Result<Value, MatzoError> {
  288. if let [func_e, tup_e] = exprs {
  289. let func = state.eval(*func_e, env)?;
  290. let tup = state.eval(*tup_e, env)?;
  291. let mut new_tup = Vec::new();
  292. let closure = func.as_closure(&state.ast.borrow(), func_e.span)?;
  293. for t in tup.as_tup(&state.ast.borrow(), tup_e.span)? {
  294. new_tup
  295. .push(Thunk::Value(state.eval_closure(closure, vec![t.clone()])?));
  296. }
  297. Ok(Value::Tup(new_tup))
  298. } else {
  299. arity_error("tuple/map", 2, exprs)
  300. }
  301. },
  302. ),
  303. },
  304. ]
  305. }