我有以下登录脚本,我在那里使用会话.
<?php
session_start();
if(isset($_SESSION['logged_in'])){
$id = $_SESSION['id'];
header("Location: start.php?id=$id");
exit();
}
if(isset($_POST['submit'])){
$x1 = $_POST['x1'];
$x2 = $_POST['x2'];
...
$query = $db->query("SELECT * FROM table WHERE x1='".$x1."' AND x2='".$x2."'");
if($query->num_rows === 1){
$row = $query->fetch_object();
$id = $row->id;
$_SESSION['logged_in'] = true;
$_SESSION['id'] = $id;
header("Location: start.php?id=$id");
3more queries
exit();
Run Code Online (Sandbox Code Playgroud)
start.php将是:
<?php
echo $_GET['id'];
?>
Run Code Online (Sandbox Code Playgroud)
我以为$ _GET ['id']会存储在服务器上,以便显示$ _GET.fetch_object正在运行.我知道,因为它将在浏览器的"id = $ id"中以正确的方式显示.所以有人会友好,可以帮助我.谢谢!
我在项目中使用scalafmt插件,也对Intellj使用scalafmt插件以格式化我的Scala代码。通常我使用热键或运行sbt scalafmt
格式化。
sbt.version=1.0.3
addSbtPlugin("com.geirsson" % "sbt-scalafmt" % "1.3.0")
Run Code Online (Sandbox Code Playgroud)
问题: 关于如何在编译时自动使用scalafmt格式化代码的任何建议?
我应该编写一个函数来对列表理解块中的元素求和.
我们以这两个函数为例:
letSum :: [Int] -> [Int]
letSum xs = [result | x <- xs, y <- xs, let result = x + y, result > 10]
normalSum :: [Int] -> [Int]
normalSum xs = [x + y | x <- xs, y <- xs, x + y > 10]
Run Code Online (Sandbox Code Playgroud)
题:
在Haskell中,可以向类型参数添加约束。
例如:
foo :: Functor f => f a
Run Code Online (Sandbox Code Playgroud)
问题:可以否定约束吗?
我想说的f
可以是任何东西Functor
,例如。
UPD:
因此,它来自于如何映射底部嵌套的Functor的想法。假设我有一个可以存在或不存在的Functor a
地方,并且相同的规则适用于。a
Functor b
b
? 有一个 groovy 脚本,用于检查屏幕上字段值列表中的值(如果存在)。
import com.atlassian.jira.component.ComponentAccessor;
import org.apache.log4j.Logger
import org.apache.log4j.Level
import com.atlassian.jira.user.ApplicationUser;
import java.lang.Object
def groupManager = ComponentAccessor.getGroupManager();
def customFieldManager = ComponentAccessor.getCustomFieldManager();
def eManagerCF = customFieldManager.getCustomFieldObjectByName("Ek Manager")
def dedManagerCF = customFieldManager.getCustomFieldObjectByName("Ded Manager")
def depManagerCF = customFieldManager.getCustomFieldObjectByName("Dep Manager ")
String eManager = issue.getCustomFieldValue(eManagerCF)
String dedManager = issue.getCustomFieldValue(dedManagerCF)
String depManager = issue.getCustomFieldValue(depManagerCF)
if (eManager) {
eManager = eManager.trim()
}
if (dedManager) {
dedManager = dedManager.trim()
}
if (depManager) {
depManager = depManager.trim()
}
cfValues['2. Onay'] ? .value == null && cfValues['1.Adim '] …
Run Code Online (Sandbox Code Playgroud) haskell ×2
compare ×1
fetch ×1
get ×1
groovy ×1
jira ×1
optimization ×1
php ×1
polymorphism ×1
sbt ×1
sbt-plugin ×1
session ×1
string ×1
types ×1