首页 \ 问答 \ lambda演算的β减少：评估顺序重要吗？(Beta reduction in lambda calculus: Order of evaluation important?)

lambda演算的β减少：评估顺序重要吗？(Beta reduction in lambda calculus: Order of evaluation important?)

 给定以下lambda表达式，其中\类似于lambda ：  
(\kf.f(\c.co)km)(\x.dox)(\le.le)
 
 如果我将(\c.co)k转换为ko是错的吗？ 我做到了，显然，这是错的。 正确的方法是首先评估外部函数，意味着(\ff(\c.co)(\x.dox)m)(\le.le)将是所需的解决方案。  
 这是真的，因为在我们的讲义中找不到任何可以表明这一点的规则吗？ 如果是，为什么我不能先评估内部函数？ 我这样做了，我的解决方案是正确的。  
 问候。 

Given the following lambda expression, where \ resembles lambda: 
(\kf.f(\c.co)km)(\x.dox)(\le.le)
 
Is it wrong if I convert (\c.co)k into ko? I did that and apparently, it was wrong. The right way to go would have been to evaluate the outer function first, meaning (\f.f(\c.co)(\x.dox)m)(\le.le) would have been the desired solution. 
Is that true, because I can't find any rule that could indicate that in our lecture notes? If yes, why can't I evaluate inner functions first? I've done it like this and my solution was correct, nonetheless. 
Regards.

原文：https://stackoverflow.com/questions/14567313

更新时间：2024-01-07 21:01

最满意答案

 PHPMailer是一个很好用的类，因为它可以检测电子邮件客户端何时不支持HTML。  
Check out this code snippet. It should help a little.

require("PHPMailer-master/PHPMailerAutoload.php");

$mail = new PHPMailer();
$mail->IsSMTP();

$mail->Host = "mail.somemailserver.com";  
$mail->SMTPAuth = false;


$mail->From = $someemail;
$mail->FromName = "Who ever";
$mail->AddAddress($email);
$mail->AddCC($anotheremail);

$mail->WordWrap = 50;



$mail->IsHTML(true);

$mail->Subject = "Some subject";

$mail->Body    = "<html>Content goes here</html>";


//if the client doesn't support html email use
$mail->AltBody = "Content";

if(!$mail->Send())
{
   echo "Message could not be sent. <p>";
   echo "Mailer Error: " . $mail->ErrorInfo;
   exit;
}
 
 通过使用$ mail-> AltBody，您可以发送纯文本电子邮件。 希望这可以帮助！ 

PHPMailer is a great class to use because it detects when the email client doesn't support HTML.  
Check out this code snippet. It should help a little.

require("PHPMailer-master/PHPMailerAutoload.php");

$mail = new PHPMailer();
$mail->IsSMTP();

$mail->Host = "mail.somemailserver.com";  
$mail->SMTPAuth = false;


$mail->From = $someemail;
$mail->FromName = "Who ever";
$mail->AddAddress($email);
$mail->AddCC($anotheremail);

$mail->WordWrap = 50;



$mail->IsHTML(true);

$mail->Subject = "Some subject";

$mail->Body    = "<html>Content goes here</html>";


//if the client doesn't support html email use
$mail->AltBody = "Content";

if(!$mail->Send())
{
   echo "Message could not be sent. <p>";
   echo "Mailer Error: " . $mail->ErrorInfo;
   exit;
}
 
By using the $mail->AltBody, you can send plain text emails. Hope this helps!

lambda演算的β减少：评估顺序重要吗？(Beta reduction in lambda calculus: Order of evaluation important?)

最满意答案

相关问答

GMail显示纯文本电子邮件，而不是HTML(GMail displays plain text email instead HTML)[2022-06-07]

HTML到纯文本（用于电子邮件）(HTML to plain text (for email))[2023-06-15]

同一电子邮件中的HTML和纯文本(HTML and plain text in same email)[2023-09-05]

纯文本到Outlook电子邮件中的HTML转换(Plain text to HTML conversion in Outlook email)[2022-12-23]

CakePHP从纯文本电子邮件中删除HTML(CakePHP remove HTML from plain text email)[2021-11-16]

纯文本电子邮件或HTML(Plain Text Email Message Or HTML)[2024-01-11]

支持电子邮件格式：纯文本或HTML？(Support email format: plain-text or HTML?)[2023-03-07]

PHP中的HTML在电子邮件中显示为纯文本(HTML inside PHP is shown as plain text in email)[2023-06-09]

发送HTML电子邮件但以纯文本形式发送，为什么？(Sending HTML email but delivered as plain text, why?)[2024-02-14]

是否需要多部分纯文本/ HTML电子邮件？(Is a multipart plain text / HTML email necessary anymore? [closed])[2022-05-22]

相关文章

最新问答